引用限定符用于区分成员函数被左值或右值对象调用,防止资源误操作;必须在函数行为依赖调用者生命周期时使用,如release_buffer() &、get_self() &&;const与引用限定符可共存,顺序为const &或const &&;不加限定符易致意外移动或无效调用;派生类重写时若忽略限定符将静默失效。

引用限定符用于区分成员函数被左值还是右值对象调用,避免语义错误或资源误操作。 它不是可有可无的语法糖,而是在移动语义普及后必须考虑的设计约束——比如你不能让一个临时对象(右值)去调用会修改内部状态、且本该只对持久对象生效的函数。
什么时候必须用 & 或 && 限定符
当函数行为严重依赖调用者生命周期时,就必须加引用限定符:
- 想禁止右值调用某个会“掏空”自身资源的函数(如
release_buffer()),用void release_buffer() & - 想专为临时对象提供廉价转移逻辑(如返回
std::move(*this)),用MyClass&& get_self() && - 类内部有 move-only 成员(如
std::unique_ptr),且某些操作仅在对象可被移动时才安全
const 成员函数和引用限定符能共存吗
可以,而且常见。三者组合顺序固定:void foo() const & 表示“只读 + 只能被左值调用”。注意:
-
const修饰的是隐式this指针所指对象,&/&&修饰的是this指针本身的值类别 - 它们是正交的:你可以有
foo() &、foo() const &、foo() &&、foo() const &&四种重载 - 但
foo() const &&很少见——const 右值对象本身语义就模糊,编译器通常不鼓励构造这种东西
不加引用限定符会出什么问题
最典型的是“意外调用”:
立即学习“C++免费学习笔记(深入)”;
- 写了一个
get_handle()函数,内部返回std::move(m_handle),但没加&&限定 →obj.get_handle()(obj 是左值)也会触发移动,导致后续访问m_handle未定义 - 写了一个
log_state(),内部做了耗时 I/O,但没加&限定 →make_obj().log_state()(临时对象)也会执行日志,而调用者根本没机会看到输出 - 编译器不会报错,运行时行为却不可靠;这类 bug 往往只在特定调用链下暴露,调试成本高
真正容易被忽略的点是:引用限定符参与函数重载决议,但它不改变函数签名的“可见性”——比如派生类中重写基类带 && 的函数时,若忘记加上相同限定符,那它根本不会覆盖基类版本,而是新增一个重载。这不是警告,是静默失效。


















