为什么复制赋值运算符需要返回引用/常量引用?
在 C 中,复制赋值运算符通常返回引用或对其自身的 const 引用。这种设计选择源于性能考虑,并避免不必要的复制。
考虑以下示例:
A a1(param); A a2 = a1; A a3; a3 = a2;
假设复制赋值运算符operator=返回新对象的副本。在这种情况下,每个赋值操作都会触发临时副本的创建以及赋值后该副本的后续销毁。
A a3 = a2; // Creates a temporary copy of a2
但是,通过返回引用或 const 引用,赋值操作就变成了效率更高。数据直接从一个对象复制到另一个对象,无需创建和销毁临时副本。
A& operator=(const A& a) { /* ... */ } a3 = a2; // Copies data directly from a2 without creating a temporary copy
返回引用或 const 引用还确保操作符可以被链接。在上面的示例中,语句 a = b = c 可以正确工作,因为赋值运算符返回对调用对象的引用。
相反,如果运算符返回副本,则无法进行链接。语句 a = b = c 会产生编译错误,因为将 c 分配给 a 需要一个副本,而将 b 分配给 a 已经创建了一个副本。
因此,返回引用或 const来自复制赋值运算符的引用对于性能和多个赋值的正确链接至关重要。
以上是为什么 C 复制赋值运算符返回引用(或常量引用)?的详细内容。更多信息请关注PHP中文网其他相关文章!