在 C++ 中,我们可以创建一个通用的模板类,使其为一个其他的模板类实例化并生成类型。为了实现这一点,C++17 引入了 auto 关键字作为模板类型参数的语法,并使得编译器能够自动推断在编译时需要的实例化类型。
例如,考虑下面的代码:
template
class MyTemplate {
public:
MyTemplate() {
std::cout << "MyTemplate instantiated with type: " << typeid(T).name() << std::endl;
}
};
template class T>
void use_template() {
T t;
}
int main() {
use_template();
return 0;
}
在该示例中,通用的 MyTemplate 类被定义为一个模板类,然后我们在 use_template 函数中使用 auto 关键字作为模板类型参数。在运行时,该函数内部的模板参数将被实例化,并将使用 int 类型作为模板实参调用 MyTemplate。此时,程序将会输出以下结果:
MyTemplate instantiated with type: int
这里,auto 关键字所代表的是构成 MyTemplate 的类型。因此,auto 关键字在编译时将会自动推导类型,并且为此对应的函数模板生成必需的代码。
需要注意的是,在使用 auto 模板参数时,编译器必须能够推导出在该参数中使用的类型。此外,在 C++17 之前的版本中,auto 模板参数是不合法的。