C++（typename）
在C++中，typename 是一个关键字，通常用于模板编程。它主要用于以下两种场景：
1. 指定依赖于模板参数的类型
当你在模板中使用依赖于模板参数的类型时，C++ 编译器有时无法确定你是否指的是类型或变量。这是因为模板参数可能会依赖于传入的模板类型。在这种情况下，typename 可以明确指定你引用的是一个类型，而不是变量。
示例：
template <typename T>
class MyClass {
public:
typename T::value_type var; // 告诉编译器 T::value_type 是一个类型
};
在这个例子中，T::value_type 是依赖于模板参数 T 的类型。为了让编译器知道 T::value_type 是一种类型而不是变量，必须使用 typename 关键字。
2. 定义嵌套依赖类型
在模板内部声明嵌套类型时，需要使用 typename 来告诉编译器嵌套的成员是类型而不是变量。
示例：
template <typename T>
void func() {
typename T::iterator it; // 告诉编译器 T::iterator 是一个类型
}
此处 T::iterator 是依赖于模板参数 T 的嵌套类型，如果没有 typename，编译器可能会误以为它是一个静态成员或者变量。
3. 关键点：
-
何时使用
typename？
在模板中，如果你引用的某个成员类型依赖于模板参数（即，这个类型的具体形式由模板参数决定），你必须使用typename来告诉编译器这是一个类型，而不是变量。 -
为什么需要
typename？
编译器在解析模板代码时可能无法确定某个符号是类型还是变量，而 C++ 标准要求在解析类型时必须明确区分，这就是为什么我们使用typename来消除歧义。
4. 示例：
template <typename T>
class Container {
public:
void print(typename T::value_type val) {
std::cout << val << std::endl;
}
};
在这个例子中，T::value_type 是模板参数 T 的嵌套类型。通过使用 typename，我们告诉编译器 T::value_type 是一个类型，而不是变量。
5. 需要注意的地方：
- 在非模板上下文中，不能使用
typename。 - 如果模板类的嵌套类型是
typedef定义的，而不依赖于模板参数，则不需要使用typename。
总结：
typename 关键字在模板编程中用于显式声明依赖于模板参数的类型，确保编译器正确解析模板代码。这在复杂的泛型编程中非常重要，尤其是在模板类或函数中引用嵌套类型的场景。
