Question

我遇到过这样的语法：

template<typename>
struct is_const{static const bool value = 0;};

此代码的行为如何以及如何应用？我没有在互联网上找到任何例子或解释。

我想知道缺少参数名称（例如T）。

Answer 1

这是一个主模板，它采用单个模板参数，并且静态bool成员等于0。这可能是类型特征的主要模板定义，并且在其他地方有相应的特殊化，如下所示：

template <typename T>
struct is_const<const T>
{static const bool value = 1;};

这将允许您检查类型const是否合格：

static_assert(!is_const<int>::value, "wat");
static_assert(is_const<const int>::value, "wat");

Answer 2

GROUP_CONCAT(split(thing, " "), '----') WITHIN RECORD AS thing_name,

尝试像这样的类型名称是通用的编程方式。搜索通用编程c ++。你会得到很多资源

Answer 3

在基本级别的解释中，每次使用模板时，编译器都会生成模板化结构，类，函数等的版本。

例如：

template<typename T>
struct StructName
{
    T memberVariable;
};

使用此代码时：

StructName<float> variable = StructName<float>();

编译器生成：

struct StructName
{
    float memberVariable;
};