C++派生类const成员传入基类构造器异常行为及方案咨询

咱们一步一步来拆解你的问题：

问题1：第一个示例中memorySize是否在基类构造器调用时未初始化？ #

没错，你的推测完全正确！C++的对象构造顺序是严格规定的：

1. 先调用基类的构造函数
2. 再初始化派生类的非静态成员变量
3. 最后执行派生类构造函数的函数体

在第一个示例里，memorySize是派生类的非静态const成员变量，它的初始化要等到基类构造完成后才会进行。所以当你在派生类构造器的初始化列表里调用Base(memorySize)时，memorySize还处于未定义状态（值是随机的），这就导致基类构造拿到了错误的参数，最终运行失败。

问题2：这是const的例外情况吗？有没有更规范的处理方式？ #

这绝对不是const的例外情况，只是你用错了const成员的类型而已。#define确实不推荐——它是预处理阶段的文本替换，没有类型检查，还容易引发命名冲突。我们有更规范的替代方案：

方案1：使用静态const/constexpr成员变量 #

静态成员变量属于类本身，而非某个对象，它的初始化时机远早于对象构造（编译期就确定了），完全可以安全地传递给基类构造器。

• C++11之前的写法（类内声明+类外初始化）：

class Derived: public Base {
private: 
    static const unsigned short memorySize; // 类内声明
public: 
    inline Derived() : Base(memorySize) {} 
    void DoStuff();
};

// 类外定义并初始化
const unsigned short Derived::memorySize = 100;

• C++11及以后的更简洁写法（constexpr编译期常量）：

class Derived: public Base {
private: 
    static constexpr unsigned short memorySize = 100; // 直接在类内初始化
public: 
    inline Derived() : Base(memorySize) {} 
    void DoStuff();
};

方案2：使用命名空间常量 #

把常量放在独立的命名空间里，避免和其他代码命名冲突，同样能在基类构造时安全使用：

namespace DerivedConstants {
    constexpr unsigned short memorySize = 100;
}

class Derived: public Base {
public: 
    inline Derived() : Base(DerivedConstants::memorySize) {} 
    void DoStuff();
};

这两种方案都保留了const的类型安全优势，同时解决了基类构造时的初始化顺序问题，比#define规范得多。

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