查找类型是否具有特定成员的更通用方法？

Question

我正在尝试制作一些东西来告诉我一个类型在编译时是否具有某个函数/变量。我知道发布了解决方案，但这些都需要复制粘贴或宏来进行每次不同的检查。我想知道是否有更通用的方法来做到这一点。

也许语法如下：

bool has_certain_member = has<type, member>::value;

相对于：

DEFINE_MEMBER_CHECK(member)

bool has_certain_member = CHECK_FOR_MEMBER(type);

其中 DEFINE_MEMBER_CHECK 定义了一个帮助器类型来检查该特定成员，而 CHECK_FOR_MEMBER 获取特定类型的值。

有没有办法将指向成员的指针作为模板参数传递？或者您可能会将它作为参数传递给 constexpr 函数？

Answer 1

这就是is_detected 的用途

#include<experimental/type_traits>

template<typename T>
using foo_t = decltype(std::declval<T>().foo());

template<typename T>
constexpr bool has_foo = std::experimental::is_detected_v<foo_t, T>;

并将其用作

struct Fooer { void foo() {} };
struct Barer { void bar() {} };

void test()
{
    static_assert(has_foo<Fooer>);
    static_assert(!has_foo<Barer>);
}

Live