c++ - 依赖于相同值的多个 static_assert

Question

我在编译时过滤一个元组，如果元组为空或者元组包含多个元素，我想输出一条自定义错误消息。

static_assert 似乎有点太复杂了，因为我需要使用 bool 逻辑。

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 允许 bool 逻辑。它不允许调用 (non-constexpr) 函数。因此，您没有理由不能在代码中使用该逻辑。

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