C++20中`typename`关键字的变化

在C++20中，typename关键字在许多上下文中不再需要用于消除类型歧义。这一变化是基于C++标准委员会的提案P0634R3，旨在简化模板编程。

背景

在C++17及之前的版本中，当模板中的嵌套名称（如T::type）可能被解释为类型时，必须在前面加上typename关键字，以消除编译器的歧义。例如：

template <typename T>
typename T::iterator getIterator();  // C++17及之前的写法

C++20中的变化

C++20移除了在许多上下文中使用typename的要求，编译器现在能够自动推断某些上下文中的类型。例如，以下代码在C++20中是合法的：

template <typename T>
T::iterator getIterator();  // C++20中不再需要typename

适用范围

虽然typename在许多上下文中不再需要，但在某些情况下仍然必须使用，例如在模板参数的默认值中：

template <typename T, typename = T::type>  // typename仍然需要
struct Example {};

此外，在函数参数列表中，typename也仍然是必需的：

template <typename T>
void func(typename T::type param);  // typename仍然需要

优点

这一变化使得模板代码更加简洁，减少了冗余的typename关键字，同时也降低了模板编程的复杂性。

总结

C++20通过减少typename的使用要求，进一步简化了模板编程。然而，开发者仍需注意在某些特定上下文中，typename仍然是必需的。这种改进使得C++模板编程更加直观，同时也减少了因忘记typename而导致的编译错误。