文章目录
- 典型用法——模板类型参数
- 更多用法(加粗的是重点)
典型用法——模板类型参数
- 代替class关键字
在作为模板类型参数时,class与typename可以互换
tmplate <typename T> T foo (T* p)
{
T tmp = *p; //tmp的类型将是指针p指向的类型
//...
return tmp;
}
tmplate <typename T, class U> calc (const T&, const U&);
- 在模板中获取变量类型
实例一:
1 template <class T>
2 void foo() {
3 typename T::iterator * iter; // typename用于告诉编译器,T::iterator是一个类型而不是一个变量;否则编译器可能认为它是一个乘法操作
4 }
5
6 struct ContainsAType {
7 struct iterator;
8 };
9
10 foo<ContainsAType>();
实例二:
在 C++ 模板编程中,当使用依赖于模板参数的类型时,必须在这些类型前明确指定 typename 关键字。这是因为,在模板实例化之前,编译器无法确定 Container::iterator 是一个类型还是一个静态成员变量或其他成员。使用 typename 明确告诉编译器 Container::iterator 是一个类型。
template<typename Container>
void showContainer(Container &con) {
//Container::iterator it = con.begin(); 报错
typename Container::iterator it = con.begin(); // 添加 typename
for (; it != con.end(); ++it) {
cout << *it << " ";
}
cout << endl;
}
更多用法(加粗的是重点)
这里来源于https://zh.cppreference.com/w/cpp/keyword/typename的描述
- 在模板声明的模板形参列表中,typename 可用作 class 的代替品,以声明类型模板形参和模板模板形参 (C++17 起)。
// 类型模板形参
template<typename T>
class MyClass {
// 类型模板形参 T 在这里使用
};
// 模板模板形参
template<template<typename> class Template>
class MyTemplateClass {
// 模板模板形参 Template 在这里使用
};
- 在模板的声明或定义内,typename 可用于声明某个待决的有限定名是类型。与在模板中获取变量类型一致
template<typename T>
void someFunction() {
// 声明待决的有限定名是类型
typename T::SomeType variable;
// 这里编译器知道 T::SomeType 是一个类型,因此需要使用 typename 关键字
}
- 在模板的声明或定义内, (C++11 前)typename 可在非待决的有限定类型名之前使用。此情况下它没有效果。
template<typename T>
void someFunction() {
// C++11 前,typename 可以在非待决的有限定类型名之前使用,但没有效果
typename int::SomeType variable;
// 这里的 typename 没有实际效果,因为 int 不是有限定名
}
- 在类型要求的要求中。(C++20 起)
#include <iostream>
#include <concepts>
// 定义一个 concept,要求类型 T 必须是整数类型
template<typename T>
concept Integral = std::is_integral_v<T>;
// 使用 Integral concept 作为模板参数的约束
template<Integral T>
void printInteger(T value) {
std::cout << value << std::endl;
}
int main() {
printInteger(42); // 合法调用,整数类型符合 Integral concept 的要求
printInteger(3.14); // 编译时错误,浮点数类型不符合 Integral concept 的要求
return 0;
}