如何检测类型类型别名？

Question

我可以使用以下模板检查来检测成员：

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 中可能吗？如何？

Answer 1

您可以使用与数据成员检测相同的方法来完成此操作。不使用数据成员，只需使用成员类型和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; }) {

}

实例