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