C++语法|typename关键字

典型用法——模板类型参数

1. 代替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&);

2. 在模板中获取变量类型
   实例一：

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;
}