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

1 个答案: