为何允许同名普通函数与函数模板共存，却禁止同名普通类与类模板？

这是个直击C++设计细节的好问题，核心差异在于名字解析的规则和调用/使用上下文的信息丰富度，咱们结合你的代码示例来拆解：

一、函数与函数模板：重载决议帮你区分 #

先看你的函数代码：

template<typename T> void func(); // 编译无问题
void func(); 
int main() { }

C++允许这种共存，本质是因为函数调用有明确的重载决议机制：

• 当你调用func()时，编译器会匹配无参数的普通函数；
• 当你调用func<int>()或者func(42)时，编译器会实例化模板版本的func<T>。

函数的调用上下文（参数类型、数量、显式模板参数）给了编译器足够的信息，去判断应该选择普通函数还是模板实例。这种设计也很实用：你可以写一个通用的模板函数处理大多数情况，再针对特定类型写一个优化的普通函数重载（比如针对std::string的func做特殊处理），编译器会自动帮你选最合适的版本。

二、类与类模板：名字解析的歧义无法解决 #

再看类的代码：

template<typename T> class A {}; 
// class A {}; // 取消注释后编译失败
int main() { }

一旦取消注释普通类A，编译器就会报错，原因在于类的使用上下文无法消除名字歧义：

• 当你写A obj;时，编译器根本不知道你指的是普通类A，还是需要指定模板参数的模板类A（比如A<int>）；
• C++的名字查找规则中，同一个作用域里的类型名（普通类）和模板名（类模板）会直接冲突——模板名本身不是一个类型，必须加上模板参数才是类型，而普通类是直接可用的类型，两者同名会让编译器无法解析A到底代表什么。

如果需要给类模板提供“默认”的非模板版本，C++的设计思路是用模板特化，而不是声明同名普通类。比如你可以写：

template<typename T> class A {};
// 针对void的特化，模拟"普通类"的效果
template<> class A<void> { /* 自定义实现 */ };

这样当你用A<void>时，就会使用特化版本，既避免了名字冲突，又达到了类似的效果。

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