时间戳

首页 > 解决方案 > 如果 `if constexpr` 不匹配，则停止编译

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

问题描述

我有一个模板函数，它检查模板参数的类型，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如果我的 s 都不匹配，如何使代码无法编译？

标签： c++if-constexpr

解决方案

解决方案是使用static_assert.

但是我们不能简单地static_assert(false, "whatever");在else分支中做，因为由于条件不依赖于模板参数，断言可能会提前触发（当编译器第一次看到你的函数体时，即使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链条），则不需要这些。

只需将条件从ifa 移至 astatic_assert并删除if.

推荐阅读