在部分模板特化中使用 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;
    }
};