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