c++ - 如果 `if constexpr` 不匹配则停止编译

Question

我有一个模板函数，它使用 if constexpr 检查模板参数的类型，例如

template <typename T>
bool something(T arg) {
  if constexpr (std::is_integral_v<T>) {
    return true;
  } else {
    // What can I write here so that something<double>(0.0) does not compile?
  }

  return false;
}

如果我的 if constexpr 都不匹配，我怎样才能使代码编译失败？

Answer 1

解决方案是使用static_assert。

但我们不能简单地在 else 分支中执行 static_assert(false, "whatever");，因为条件不依赖于模板参数，断言可能会提早触发(当编译器第一次看到您的函数体时，即使 else 分支实际上从未被采用)。

static_assert 的条件必须以某种方式依赖于 T，以延迟断言检查，直到您的模板被实例化。

这是我一直在使用的:

template <auto A, typename...> auto value = A;

if constexpr (foo)
{
    ...
}
else if constexpr (bar)
{
    ...
}
else
{
    static_assert(value<false, T>, "Invalid template parameter.");
}

---

请注意，如果您只有一个 if constexpr(而不是if else if 链)，那么这些都不需要了。

只需将条件从 if 移动到 static_assert 并删除 if。