“Constexpr If”是否被认为是sfinae？

Question

编译器必须为constexpr的不同路径生成多个函数，这取决于函数的调用方式。所以也许它在使用过载分辨率。

被接受的建议没有提到“sfinae”或“过载分辨率”。
所以我很好奇这两个概念是否适用于“constexpr if”。

Answer 1

SFINAE的核心是这样的：你在C++中编写的代码触发了一个非法的东西。但是因为您将代码放在了某个位置，所以不会导致编译错误。它只会导致包含该代码的定义消失。因此，您可以使用条件测试，当true时生成合法的C++语法，而当false时则不生成（vis-a-visstd::enable_if)。

如果constexpr与sfinae无关。如果constexpr只是计算一个常量表达式，则执行一组语句或另一组语句。唯一类似于“sfinae”的部分是，在模板中使用时，条件的未执行部分中的任何语句实际上都不存在（如果不在模板中，则尽可能少地产生影响）。所以可以这样做：

template<typename T>
void Foo()
{
    if constexpr(!is_same_v<T, void>)
    {
        T t;
    }
}

如果t是void，if语句中的代码将是非法的。但是，由于存在使潜在非法代码消失的条件，因此调用foo 是合法的。

编译器在计算“constexpr if”表达式时是否使用SFINAE？

可以，但说真的，为什么会呢？它是编译器；它不必使用enable_if体操或C++模板arcana来使语句消失。它只是计算一个常量表达式，并在此基础上删除语句。

它在条件块中进行替换，但不能替换时不会出错。