我可以使用以下模板检查来检测成员:
template <typename T, typename = void>
struct hasMember : std::false_type {};
template <typename T>
struct hasMember<T, decltype((void)T::member, void())> : std::true_type {};
例如。 用于:
class Test{
public:
int member;
using sometype = size_t;
}
我可以做:
if constexpr(hasMember<Test>)
{
//do something
}
现在假设我需要一个ConstExpr if，它告诉我类是否有using定义。 即。 可以检测某个类（例如test)具有某种类型的using定义的东西。 即。 类似于
if constexpr(hasSomeType<Test>)
{
//do something
}
这在C++17中可能吗？ 怎么做？
您可以使用与数据成员检测相同的方法来完成此操作。 不使用数据成员，只需使用成员类型和void_t:
template <typename T, typename = void>
struct hasSomeType : std::false_type {};
template <typename T>
struct hasSomeType<T, std::void_t<typename T::member_type>> : std::true_type {};
或者，您可以使用检测习惯用法:
template<typename T>
using member_type_t = typename T::member_type;
您可以使用decltype将任何表达式放在那里。
然后，使用别名执行检测:
if constexpr (is_detected<member_type_t, Test>) {
// ...
}
当然，在C++20中，所有这些都变成了一行:
// requires a type
if constexpr (requires(Test) { typename Test::member_type; }) {
}
// requires a member
if constexpr (requires(Test t) { t.member; }) {
}
活生生的例子
