在部分模板特化中使用 decltype

Question

具有以下模板和专业化：

template<typename T, typename = void>
struct A {
    void operator()() {
        std::cout << "primary" << std::endl;
    }
};

template<typename T>
struct A<T, decltype(T().f())> {
    void operator()() {
        std::cout << "specialization" << std::endl;
    }
};

这样使用：

struct X {
    bool f() { return false; }
};

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

当人们期望选择部分专业化时，主模板已解析。但是，当改为：

template<typename T>
struct A<T, typename std::enable_if<std::is_object<decltype(T().f())>::value>::type> {
    void operator()() {
        std::cout << "specialization" << std::endl;
    }
};

选择专业。为什么在原始示例中没有选择专业化？

Answer 1

您已实例化：

A<X>

利用默认模板参数变为：

A<X,void>

但是，您的专长是：

template<typename T>
struct A<T, decltype(T().f())>

其中，对于模板参数 X 变为：

struct A<X, decltype(X().f())>

即：

struct A<X, bool>

所以，你的专精不是正确的选择，因为A<X,bool>不专精A<X,void>。

如果您希望您的专业化适用于所有格式良好的 T().f() 实例，您可以使用 C++17 的 std::void_t

std::void_t 将对传递给它的任何格式良好的模板参数求值为 void。

template<typename T>
struct A<T, std::void_t<decltype(T().f())>> {
    void operator()() {
        std::cout << "specialization" << std::endl;
    }
};

在部分模板特化中使用 decltype

Using decltype in partial template specialization

c++

templates

sfinae

template-specialization