C++学习/复习19--模板进阶--typename、非类型模板参数、特化、声明与定义分离编译

一、typename与class

在C++中，typename和class在模板参数中是可互换的，但在某些特定情况下，它们的用法有所不同。

• 在模板参数声明中，class和typename的作用是相同的，都可以用来指定类型参数。例如，在函数模板和类模板声明中，通常使用class关键字指定类型参数，而C++后来支持使用typename代替class关键字，这两者在表示模板参数时没有区别。

• 在模板内部的成员表示一个类型时，必须使用typename，而不能使用class。如果不使用typename，编译器会把从属嵌套的类型视为一个成员变量，可能导致编译错误。例如，当模板内部的成员表示一个类型（如标识嵌套从属类型名称）时，必须使用typename。即使表示一个模板参数的类型成员（标识嵌套从属类型名称），typename和class也没有明显差异，但在某些情况下，如嵌套从属的类出现在继承列表中时，此时不能使用typename表示类型。

• 另外，typename还有一个作用是为嵌套依赖类型提供明确的类型标识。在模板定义中，当需要引用模板参数中的类型成员时，使用typename可以明确指示编译器这些名称是类型名而非变量名或其他成员。

总的来说，虽然class和typename在模板参数声明中可以互换使用，但在模板内部的成员表示类型或嵌套依赖类型的情境下，必须使用typename。此外，typename的引入主要是为了避免在某些情况下与成员变量或成员函数名的混淆，并明确指示编译器相关的名称是类型名。

二、非类型模板参数(常量)

三、模板的特化

四、分离编译(声明与定义分离)