检查类 T 是否具有成员类型 Member 和 void_t

Question

代码如下：

template<typename, typename, typename = void>
struct has_member_type : false_type {};

template<typename T, typename Member>
struct has_member_type<T, Member, void_t<typename T::Member>> : true_type {};

struct foo { using bar = int; };

int main()
{
    std::cout << has_member_type<foo, typename foo::bar>::value;
}

我正在尝试检查 foo 是否有 bar 类型成员。如果实现没有指定类型成员的名称，它可以正常工作，但是这样名称被硬编码到实现中，这对我不起作用。

说是重复的问题并不能回答我的问题。正如我在上面的段落中所解释的，当类型被硬编码到实现中时很好，但是当我从外部指定类型时我无法让它工作（这是具体问题）。代码编译正常，但产生错误的结果。

Answer 1

您的代码不起作用，因为 typename foo::bar 只是直接解析为 int，而不是传递一些可用于 SFINAE 的构造。

一个可能的解决方案是制作一个别名模板，它会告诉您T::bar 的类型，然后将其传递给您的检查器。这就是std::experimental::is_detected 所做的。这是一个简化版本，与您已有的内容接近*：

template<typename, template <typename> class, typename = void>
struct is_detected : false_type {};

template<typename T, template <typename> class Op>
struct is_detected<T, Op, void_t<Op<T>>> : true_type {};

然后您编写要检测的别名模板：

template <typename T> using bar_t = typename T::bar;

用法如下：

is_detected <foo, bar_t>::value

*：我保留模板参数的方式与您的示例代码中的相同，以便您可以轻松比较。在更通用的上下文中，翻转它们以便您可以使运算符参数可变参数更好。它还可以让您更轻松地迁移到 std::experimental::is_detected。

Answer 2

一旦N4487 被接受，您就可以在常量表达式中使用泛型 lambda：

template <typename T, typename F>
constexpr auto test(F f) -> decltype(f(std::declval<T&>()), true) {return true;}

template <typename, typename... F>
constexpr bool test(F...) {return false;}

#define HAS_DATA(Name, ...) (test<__VA_ARGS__>([] (auto& t) -> decltype(&std::decay_t<decltype(t)>::Name) {}))
#define HAS_TYPE(Name, ...) (test<__VA_ARGS__>([] (auto& t) -> typename std::decay_t<decltype(t)>::Name {}))

Demo 与 cout。