如何在 constexpr if-else 链中导致静态错误？

Question

在以下 C++20 函数模板中：

template<int i>
void f() {
    if constexpr (i == 1)
       g();
    else if constexpr (i == 2)
       h();
    else
       ??? // <--error
}

我们是否可以在 ??? 中写一些东西，以便 f<3>() 的调用在编译时失败？

Answer 1

问题是constexpr if can't be ill-formed for every possible specialization. [temp.res.general]/6

的丢弃语句

（强调我的）

The validity of a template may be checked prior to any instantiation.

The program is ill-formed, no diagnostic required, if:

no valid specialization can be generated for a template or a substatement of a constexpr if statement within a template and the template is not instantiated, or

您可以使用始终为 false 的依赖于类型的表达式。例如

template<int i> struct dependent_false : std::false_type {};

template<int i>
void f() {
    if constexpr (i == 1)
       g();
    else if constexpr (i == 2)
       h();
    else
       static_assert(dependent_false<i>::value, "Must be 1 or 2");
}

Answer 2

这个的标准用法是有一个依赖模板，专门用于 std::false_type，像这样：

template<int T> struct dependent_false : std::false_type {};

然后你可以做：

template<int i>
void f() {
    if constexpr (i == 1)
       g();
    else if constexpr (i == 2)
       h();
    else
       static_assert(dependent_false<i>::value, "i can only be 1 or 2"); 
}

你不能只说的原因

static_assert(false, "i can only be 1 or 2");

是语言中的一条规则，它表示 if constexpr 的分支对于每个封闭模板的可能实例都不能为假。

添加一个可以专门用于 std::true_type 的模板来绕过这个限制。

Answer 3

鉴于其他答案给出的原因，我将改写如下：

template<int i>
void f() {
    static_assert(i == 1 || i == 2, "must be 1 or 2");
    if constexpr (i == 1)
       g();
    if constexpr (i == 2)
       h();
}

这样就可以避开class模板。

Answer 4

随便写

template<int i>
void f() {
    if constexpr (i == 1)
       g();
    else {
       static_assert(i == 2);
       h();
    }
}

只需要重写最后一个条件。

如何在 constexpr if-else 链中导致静态错误？

How to cause static error in constexpr if-else chain?

c++

static-assert

constexpr

c++20

if-constexpr