c++ - 什么时候评估 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 constexpr value那是 1，所以它成功了。

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

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

请注意，如果您有类似的内容:

struct bad_test {
    int value = 1;
};

foo(bad_test{});

这将无法编译并出现错误，表明没有与 foo 匹配的函数- 你的两个重载模板替换都会失败，因为 T::value将无法在这种情况下进行评估。