Why does C++ disallow anonymous structs?

在C++中，不允许使用匿名结构的主要原因是语言的设计哲学和类型安全的需求。C++强调类型明确性和作用域管理，这有助于提升代码的可维护性和减少潜在的错误。

1. 类型安全和明确性

C++作为一种强类型语言，强调类型的明确性。匿名结构的使用可能导致类型不明确，这不符合C++的设计原则。每个变量和结构在C++中都需要明确的类型定义，这有助于编译器进行类型检查，减少运行时错误。

2. 作用域和生命周期管理

C++中的作用域规则要求每个对象都有明确的生命周期和作用域，这有助于资源的有效管理。匿名结构可能导致作用域界定不清，从而使得资源管理复杂化。

3. 维护和可读性

在大型的软件项目中，代码的可维护性和可读性是非常重要的。有明确名称的结构使得代码更易于理解和维护。匿名结构可能会使代码阅读者难以理解结构的用途和含义，尤其是在结构被广泛用于不同的上下文中时。

4. 与C的兼容性

虽然C语言支持匿名结构，但C++在很多方面都增加了更严格的要求和更复杂的特性，例如类、继承、模板等。在添加这些特性时，需要确保所有特性都能在类型安全和符合C++设计哲学的框架内工作。匿名结构的引入可能会与这些特性产生冲突。

示例

考虑以下C++代码片段：

cpp
struct {
    int x;
    double y;
} position;

position.x = 10;
position.y = 20.5;

这段代码在C中是合法的，但在C++中是非法的，因为C++要求所有类型都必须有明确的定义。如果我们想在C++中实现类似的功能，我们可以这样写：

cpp
struct Position {
    int x;
    double y;
};

Position position;
position.x = 10;
position.y = 20.5;

在这个例子中，使用明确命名的Position结构，使得代码更符合C++的规范，同时也提高了代码的可读性和可维护性。

总之，C++不支持匿名结构主要是为了保持类型的明确性，提高代码质量，以及避免可能的编程错误。