具有模板成员 - 模板模板扣除

Has template member - template template deduction

本文关键字：成员      更新时间：2023-10-16

说我有两个以下测试类：

struct TestYes {
    using type = void;
    template <typename... T>
    using test = void;
};
struct TestNo { };

我想确定他们是否具有此模板成员test。

对于成员type，

template <typename, typename = void>
struct has_type_impl {
    using type = std::false_type;
};
template <typename T>
struct has_type_impl<T, typename T::type> {
    using type = std::true_type;
};
template <typename T>
using has_type = typename has_type_impl<T>::type;

工作完美：

static_assert( has_type<TestYes>::value, ""); // OK
static_assert(!has_type<TestNo>::value, "");  // OK

但是模板成员 test的等效物：

template <typename, template <typename...> class = std::tuple>
struct has_test_impl {
    using type = std::false_type;
};
template <typename T>
struct has_test_impl<T, T::template test> {
    using type = std::true_type;
};
template <typename T>
using has_test = typename has_test_impl<T>::type;

失败

static_assert( has_test<TestYes>::value, "");

我知道我可以使用Sfinae，例如：

template <typename T>
struct has_test_impl {
private:
    using yes = std::true_type;
    using no = std::false_type;
    template <typename U, typename... Args>
    static auto foo(int) -> decltype(std::declval<typename U::template test<Args...>>(), yes());
    template <typename> static no foo(...);
public:
    using type = decltype(foo<T>(0));
};
template <typename T>
using has_test = typename has_test_impl<T>::type;

，但我想知道为什么编译器在has_test_impl的第一个定义上正确扣除了has_type_impl的部分专业化。

事先感谢您的启蒙！

template<template<class...> class...>
using void_templ = void;
template <typename, typename = void>
struct has_test_impl {
    using type = std::false_type;
};
template <typename T>
struct has_test_impl<T, void_templ<T::template test>> {
    using type = std::true_type;
};
相关文章：