为何C++中public const不隐含static特性？与C#差异解析

这个问题问得特别到位，刚好点出了C++和C#在const成员设计上的核心差异，咱们一步步拆解：

首先先明确C#的逻辑：

• 在C#里，const关键字天生自带static属性，语言规则直接把它定义成了类级别的编译时常量，所以不管是类还是结构体的public const成员，你直接用类名.成员名就能访问，完全不需要实例化对象——这是C#语言层面的硬性规定。

接下来重点说C++的核心逻辑，这里你可能混淆了一个关键概念：

非static的const成员，是每个实例独有的！ #

你之前的认知里提到“const成员变量是针对类仅分配一次”，这其实只适用于加了static的const成员。如果没加static，哪怕它是const，本质上还是属于每个类实例的成员：

• 比如你写struct Example { const int x = 5; };，每个Example对象的内存布局里都会有一个x的位置，只是这个值在对象构造完成后就不能被修改了。
• 你代码里的const int array[] = {1,2,3};是C++11及以后支持的非static成员初始化语法，但它依然是每个实例都会拷贝一份这个数组，并不是类共享的。

那什么时候const成员会存在文本段/数据段？
只有当你给它加上static关键字后，它才变成类级别的静态成员——整个程序里只有一份实例，存储在全局静态存储区（具体是文本段还是数据段由编译器决定），这时候它才是真正的“类共享常量”。

回到你的代码例子 #

第一个无法运行的代码：

struct Example { const int array[] = {1, 2, 3}; };
void main() { std::cout << Example::array[1]; }

这里的array是非static的const成员，属于每个Example实例，所以你必须先创建一个实例才能访问它，比如改成：

struct Example { const int array[] = {1, 2, 3}; };
int main() { 
    Example e;
    std::cout << e.array[1]; 
    return 0;
}

（另外提一句：C++里main函数的返回类型必须是int，不能是void哦）

而第二个能运行的代码：

struct Example { static const int array[3]; };
const int Example::array[3] = {1, 2, 3};
void main() { std::cout << Example::array[1]; }

因为加了static，array变成了类的静态成员，全局唯一一份，所以可以直接用Example::array访问。另外C++17之后支持inline static const，可以直接在类内完成初始化，不需要类外定义：

struct Example { inline static const int array[3] = {1,2,3}; };
int main() { 
    std::cout << Example::array[1]; 
    return 0;
}

最后总结一下核心差异 #

C++和C#对const的语义设计完全不同：

• C#的const是编译时常量+静态的结合体，两个特性绑定在一起；
• C的const仅仅表示“该变量不可被修改”，而“是否是类共享的静态成员”是完全独立的另一个属性——你需要显式加static来实现类级别的共享常量，这是C语言“最小权限”和“特性分离”设计原则的体现，给开发者更细粒度的控制。

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