为何C++03允许数据成员与类同名？

在C98到C03的标准迭代中，有一项针对类成员命名的实用调整：

struct S {
    int S;
};

这段代码在C98里属于格式错误，但在C03及后续标准中是合法的——前提是这个类没有用户声明的构造函数。C98的[class.mem]第13款严格禁止任何数据成员和类同名，而C03放宽了限制：仅当类存在用户声明的构造函数时，才保留这个禁令。

规则变更的动机 #

核心动机是简化POD类型（Plain Old Data）的定义与使用，同时移除不必要的命名限制，让代码写法更贴合直觉。

C++98的严格禁令本质是为了避免构造函数调用与成员访问的歧义：如果类有用户手写的构造函数，像S obj(S);这种代码会被解析成函数声明（返回S类型、参数为S类型的函数），而不是创建对象并初始化成员。但对于没有构造函数的POD类型，完全不存在这种歧义——因为POD只能通过聚合初始化或默认初始化，不会触发那种函数声明的解析逻辑。所以只保留对有构造函数类的限制，放开无构造函数类的限制，是精准的规则优化：既解决了实际场景的需求，又没引入新的歧义风险。

重要用例 #

1. 兼容C语言结构体 #

C语言允许结构体成员和结构体同名，比如：

struct S {
    int S;
};

这种写法在C里完全合法。C作为C的超集，放宽规则后能更好地兼容现有C代码，不用修改这类结构体定义就能直接在C里使用，降低了跨语言代码迁移的成本。

2. 直观的POD类型命名 #

对于一些简单的包装类或数据载体（比如仅包含单个成员的POD），用类名直接作为成员名更符合直觉。比如用于表示单维度坐标的类型：

struct Coord {
    int Coord; // 无需额外用`value`或`x`这类通用名，命名直接对应类型用途
};

这种命名方式让代码意图更清晰，不用为了规避命名限制而特意想冗余的成员名。

3. 模板元编程的简化 #

在模板元编程场景中，有时需要定义仅含单个成员的辅助类，允许类与成员同名能减少命名复杂度，让模板代码更简洁。比如用于传递类型关联值的元数据类：

template<int N>
struct IntConstant {
    static const int IntConstant = N;
};

虽然静态成员原本就不在C++98的禁令范围内，但规则放宽后，非静态成员也能采用类似的简洁命名，拓展了模板代码的写法灵活性。

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