模板<typename> - 它是如何工作的？

template<typename> - how does it work?

本文关键字：工作 何工作 typename lt gt 模板      更新时间：2023-10-16

我遇到过这样的语法：

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

此代码将如何运行以及如何应用？我在互联网上找不到任何例子或解释。

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

这是一个

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

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");

template <typename T>
class SampleClass
{
public:
    T values [2];
    SampleClass(T first, T second)
    {
       values[0]=first; 
       values[1]=second;
    }
};

尝试 类似此类型名称的内容是通用的编程方式。 搜索通用编程 C++。你会得到很多资源

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

例如：

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

使用此代码时：

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

编译器生成：

struct StructName
{
    float memberVariable;
};

您可以在此处阅读有关此内容的更多信息：https://en.wikipedia.org/wiki/Template_metaprogramming

相关文章：