为何C++局部类不允许定义模板成员？相关设计决策是什么？

你给出的代码在C23之前的标准版本中确实属于非法代码，编译器的报错符合标准要求：从C98到C++20的所有正式标准，都明确禁止定义在函数内部的局部类声明任何模板成员，包括成员函数模板、成员类模板、模板别名等。

该限制的核心设计决策 #

• 早期模板实现复杂度限制：C++最初的模板实例化模型要求模板相关定义必须在翻译单元全局可见才能完成实例化。而局部类的作用域完全被限制在所属函数内部，仅在函数体内可见，如果允许其包含模板成员，编译器的模板实例化逻辑需要额外处理函数局部作用域的名字绑定、上下文依赖，对早期的编译器实现能力来说门槛过高，也会大幅提升编译阶段的性能开销。
• 需求优先级较低：局部类的定位是函数内部封装辅助逻辑的轻量结构，绝大多数使用场景不需要模板成员能力，标准委员会早期评估认为这一需求的受众极小，不值得为其大幅提升语言和编译器的实现复杂度。
• 名字查找的规则冲突：局部类可以直接访问所属函数的局部变量、参数，C++11之后还能访问外层lambda的捕获值，如果允许局部类有模板成员，需要同时兼顾模板的两阶段名字查找规则和函数局部作用域的名字可见性规则，很容易产生规则歧义，也会提升开发者的学习和使用成本。

规则更新 #

这一限制已经在C23标准中正式移除，如果你使用支持C23特性的编译器（GCC 12+、Clang 16+、MSVC 2022 17.4及以上版本），开启-std=c++23（GCC/Clang）或/std:c++23（MSVC）编译选项后，这段代码可以正常编译运行。

内容的提问来源于stack exchange，提问作者Bonita Montero