Несколько static_assert, которые зависят от того же значения

Question

Я фильтрую кортеж во время компиляции, я хочу вывести собственное сообщение об ошибке, если кортеж пуст или если кортеж содержит более одного элемента.

static_assert кажется слишком сложным, потому что мне нужно использовать логическую логику.

static_assert(size != 0 || size >= 1, "Empty"); 
static_assert(size == 1 || size == 0, "More than 1"); 

Я не думаю, что что-то подобное возможно?

static_if(size == 0) compile_err("Empty"); 
static_if(size > 1) compile_err("More than 1"); 

Нужна ли более новая версия C++ альтернативой static_assert?

Answer 1

static_assert допускает логическую логику. То, что он не позволяет, вызывает функции (не constexpr). Поэтому нет причин, по которым вы не можете использовать эту логику в своем коде.

static_assert(sizeof(Args...) != 0, "Empty"); 
static_assert(sizeof(Args...) < 2, "More than 1");