何时评估 enable_if_t 表达式？

Question

这是我的代码：

template<class T, std::enable_if_t<T::value == 1> * = nullptr>
void foo(T) {
    std::cout<<"test"<<std::endl;
} // #1

template<class T, std::enable_if_t<T::value != 1> * = nullptr>
void foo(T) {} // #2

class test{
  public:
    constexpr static int value = 1;

    test() {}
};


int main() {
    test p;
    foo(p);
}

由于std::enable_if_t<T::value != 1> 要求我的value 是静态的并且constexpr，我假设它是在编译时评估的（我需要确认）。但是由于它是一个模板，它将取决于T，但我的主目录上也有这个，它们不是constexpr：

int main() {
    test p;
    foo(p);
}

输出：

test

那么此时如何评估事情（包括函数在内的初始化顺序）？因为编译器需要决定创建哪个 foo 版本。

Answer 1

一切都在编译时进行评估。当您调用foo(p) 时，编译器将进行名称查找以查找foo 和p 是什么。它会为foo 找到两个名称：

template<class T, std::enable_if_t<T::value == 1>* = nullptr>
void foo(T);

template<class T, std::enable_if_t<T::value != 1>* = nullptr>
void foo(T);

然后它将尝试执行模板替换。请注意，模板替换失败不是错误 (sfinae)。 T 被推导出为test，所以我们必须非类型模板参数。第一个类型为std::enable_if_t<T::value == 1>*。此时我们必须评估test::value 是什么。为了使替换成功，必须有一些名为value 的常量等于一。如果没有任何名称为value，或者它是一个类型，或者一个成员变量，或者不等于1，替换将失败。在这种情况下，有一个static constexprvalue是1，所以它成功了。

第二个重载模板推导失败，因为没有enable_if<false>::type。

由于只有一个可行的重载，它是最好的可行重载，我们选择它。所有这些都是在编译时完成的。

请注意，如果你有类似的东西：

struct bad_test {
    int value = 1;
};

foo(bad_test{});

这将无法编译，并出现一个错误，指出没有与 foo 匹配的函数 - 您的两个重载模板替换都将失败，因为无法在该上下文中评估 T::value。

Answer 2

模板参数始终是在编译时严格评估的编译时实体。

在您使用foo(p) 的示例中，模板参数推导出为T == test，这是在编译时完成的。一旦知道T == test，T::value 的值就称为test::value，它存在并且是一个constexpr（在编译时也知道）。