使用 enable_if 来阻止声明？ [复制]

Question

Stroustrup C++ 第 4 版第 796 页指出“如果 Enable_if 的条件评估为假，则它所在的整个函数声明将被完全忽略。”和“......我们没有声明任何东西。”。

有谁知道为什么要声明第一个f0()？我是否正确使用了enable_if？

我的目标是禁用其中一个声明。我不确定f0() 是如何具有返回类型的，因为false 版本应该缺少::type。

#include <type_traits>
using namespace std;

template<bool B, typename T>
using Enable_if = typename std::enable_if<B,T>::type;

template <class T>
class X {
    Enable_if<false, T> f0(int x) {};
    Enable_if<true, T> f0(int x) {};
};

int main(void)
{
    X<void> xx;
    return 0;
}

编译：

clang++ -std=c++11 -Wall -pedantic test197.cc && ./a.out
test197.cc:10:24: error: functions that differ only in their return type cannot
      be overloaded
    Enable_if<true, T> f0(int x) {};
    ~~~~~~~~~~~~~~~~~~ ^
test197.cc:9:25: note: previous definition is here
    Enable_if<false, T> f0(int x) {};
    ~~~~~~~~~~~~~~~~~~~ ^
1 error generated.

Answer 1

你不能使用这种方式，因为你的对象在任何情况下都会被创建，因为类没有创建或不创建的条件。然后这里Enable_if<false, T> f0(int x) {};，条件是false那么就没有类型了。请注意，模板类是在开头传递参数时实例化的，所做的只是将T 替换为void。

您可以使用的一种方法如下

#include <type_traits>
using namespace std;

template<bool B, typename T>
using Enable_if = typename std::enable_if<B,T>::type;


struct X {
    template <class T>
    Enable_if<true, T> f0(int x) {}
    template <class T>
    Enable_if<false, T> f0(int x) {}
};

int main(void)
{
    X xx;
    xx.f0<void>(4);
    return 0;
}

这里我们有两个函数模板，因此它们中的每一个都可能被实例化或不被实例化，这取决于类内部的条件。如果为真，该函数将被实例化，反之亦然。注意这里只实例化了需要的函数。