如何检查模板参数是否为结构/类？

Question

对于像这样的小示例，我只想在T是struct/class时接受T并拒绝内置类型，如“int”、“char”、“bool”等。

template<typename T>
struct MyStruct
{
   T t;
};

Answer 1

您正在寻找来自<type_traits> header 的std::is_class特征。

检查T是否为非联合 class 类型。 如果T是 class 类型（但不是联合），则提供等于true的成员常量值。 否则，值等于false 。

---

例如，您可以为模板类型T进行static_assert ，如下所示：

#include <type_traits> // std::is_class

template<typename T>
struct MyStruct
{
   static_assert(std::is_class<T>::value, " T must be struct/class type!");
   T t;
};

（见演示）

---

c++20概念更新

在 C++20 中，也可以使用std::is_class提供一个概念，如下所示。

#include <type_traits> // std::is_class

template <class T> // concept
concept is_class = std::is_class<T>::value;

template<is_class T> // use the concept
struct MyStruct
{
   T t;
};

（见演示）