用于查找参数是否为类的不同模板语法

Question

在阅读这个问题，我遇到了@Johannes的答案。

template<typename> struct void_ { typedef void type; };

template<typename T, typename = void>  // Line 1
struct is_class { static bool const value = false; };

template<typename T>
struct is_class<T, typename void_<int T::*>::type> { // Line 2
  static bool const value = true; 
};

此构造查找给定类型是否是类。让我困惑的是编写这个小元程序的新语法。谁能详细解释一下：

1. 为什么我们需要1号线？
2. 语法 作为 Line 中的 template 参数 2 ?

Answer 1

第 1 行：如果测试成功，则选择下面的部分特化。

第 2 行：int T::* 仅当 T 是类类型时才有效，因为它表示成员指针。

因此，如果它有效，则 void_::type 产生 void，并选择此部分特化来使用 value 进行实例化true。
如果 T 不是类类型，那么由于 SFINAE，这种部分特化就无法实现，并且它默认返回到 value 为 false 的通用模板。

每次您看到 T::SOMETHING 时，如果 SOMETHING 不存在，无论是类型、数据成员还是简单的指针定义，您都会启动 SFINAE。

Answer 2

1. 第 1 行用于非类的内容，例如 int、long 等...

例如：

class foo {};

if (is_class<foo>::value) // is a class
    line_2 called
else  // if not
    line 1 called

因为存在部分特化，所以第 1 行是您必须拥有的，否则您将收到错误如果传递的类型不是类（例如 char *、long、int ...）

2：int T::* 的键是“::*”，它是 C++ 中的标准运算符，

表示指针指向类的成员，可以是两者函数或数据字段，
在这种情况下，它意味着任何拥有成员或可以使用成员指针的人，这仅适用于 C++ 中的类、结构或联合，因此结果是，您将知道参数是或不是一个类。

顺便说一句，谷歌一些关键字，例如：c++ template、部分专业化和类型特征或提升类型特征

希望这对你有用:)