委托构造函数必须写在成员初始化列表中,不能在函数体内;只能委托同名类的其他构造函数,且初始化列表中不得有其他初始化项。

委托构造函数的语法写法
在 C++11 中,一个构造函数可以直接调用同一个类的另一个构造函数,前提是调用必须出现在**成员初始化列表中**,且**不能同时初始化任何其他成员或基类**。这是硬性语法限制,写错位置(比如放在函数体里)会直接编译失败。
常见错误现象:error: constructor delegation only allowed in member initializer list
- 委托必须写在
: Base(args)这种初始化列表位置,不是函数体内 - 被委托的构造函数仍会执行自己的函数体(包括可能的
throw或副作用) - 委托链最多一层深:A 委托 B,B 不能再委托 C(否则编译器报错
delegating constructor must be the only member initializer)
为什么不能在构造函数体里调用另一个构造函数
因为构造函数没有返回值、不能被当成普通函数调用;在函数体内写 MyClass(1, 2) 只会创建一个临时对象并立即销毁,对当前正在构造的实例毫无影响——这既不委托,也不复用逻辑,纯属误解。
典型误用:this->MyClass(1, 2); 或 MyClass(1, 2); 都非法,前者语法错误,后者只是临时对象。
立即学习“C++免费学习笔记(深入)”;
- 构造函数名不是可调用标识符,不能加
this-> - 即使语法上允许(比如用作用域解析),它也只构造新对象,不会“重定向”当前构造流程
- 真正委托的本质是复用初始化逻辑,而非复用函数体代码
委托时成员变量的初始化顺序和可见性
被委托的构造函数负责完成所有成员的初始化(包括默认初始化、成员初始化列表中的显式初始化),委托方**不能再在自己的初始化列表中重复初始化同一成员**,否则编译报错:member initializer 'x' appears twice。
示例:
struct S {
int x;
S(int a) : x(a) {}
S() : S(42) {} // ✅ 正确:委托给 S(int)
S(double) : x(0), S(1) {} // ❌ 错误:x 被初始化两次
};
- 委托构造函数的初始化列表优先级最高,它完全接管初始化责任
- 委托方若尝试初始化任何成员(哪怕和被委托者初始化的是不同成员),只要初始化列表非空,就违反“只能有委托”规则
- 所有成员的生命周期起点仍是委托目标构造函数开始执行那一刻
委托与默认参数、重载构造函数的配合陷阱
委托不是宏替换,不展开参数;它严格按签名匹配被调用的构造函数。如果存在多个可选重载,编译器不会自动帮你选最匹配的那个——它要求调用明确无二义。
容易踩的坑:S() : S{} {} 看似想委托默认构造,但 S{} 是值初始化表达式,不是构造函数调用,语法非法。
- 必须写成
S() : S(0) {}或S() : S{} {}是错的,正确写法是S() : S() {}(自委托)但需注意无限递归 - 委托不能用于
constexpr构造函数中调用非常量表达式参数的版本(会破坏常量求值) - 继承体系中,派生类构造函数不能委托基类构造函数(那是基类初始化列表的事),只能委托本类其他构造函数


















