优先返回值而非const引用:小对象直接返回副本;大对象只读时用std::span<const T>或shared_ptr<const T>;getter须声明为const且命名明确区分副本与视图。

返回 const 引用还是值?先看对象大小和可拷贝性
直接返回 std::string、std::vector<int> 这类对象的副本,是最稳妥的“防篡改”方式——调用方拿到的是独立内存,怎么改都不影响类内部状态。但代价是拷贝开销。如果对象很大(比如含几 MB 数据的 std::vector<uint8_t>),又没启用 C++17 的 RVO 或移动语义,性能可能明显下降。
这时有人想返回 const std::vector<int>&,看似高效,实则危险:一旦内部存储被重新分配(如 push_back 触发扩容)、或对象本身被析构,引用立刻悬空。别信“我不会改它”,只要接口暴露了引用,就无法阻止调用方用 const_cast 强转后修改(虽然不道德,但技术上可行)。
所以判断依据很实际:
- 小对象(std::string 短字符串、std::array<double, 4>、自定义 POD 类型)→ 直接返回值
- 大对象且只读需求明确 → 返回 std::span<const T>(C++20)或 gsl::span<const T>,它不拥有数据,只提供安全视图,且不含指针生命周期隐患
- 旧标准环境(C++11/14)→ 用 std::vector<T>::data() + size() 配对返回,但必须文档注明“仅限只读访问,不可保存指针”
std::shared_ptr<const T> 适合哪些场景?
当内部数据需要被多个地方共享、且你希望控制其生命周期时,std::shared_ptr<const T> 是个折中选择。它既避免了深拷贝,又通过 const 保证了只读性,还防止了悬空(引用计数自动管理)。
但要注意:
- 不要返回 std::shared_ptr<T> 再 cast 成 const —— 这会暴露非 const 接口,破坏封装
- 如果类内部用的是裸指针或 unique_ptr,返回 shared_ptr<const T> 需要构造新智能指针,可能触发额外分配(如从 unique_ptr<T> 转换)
- 调用方若误存了原始指针(比如从 ptr.get() 拿到),依然可能绕过 const 保护
典型适用:缓存类中返回预计算结果,比如 get_cached_result() → std::shared_ptr<const HeavyResult>,既省拷贝,又明示“你不该改它”。
立即学习“C++免费学习笔记(深入)”;
getter 命名和 const 成员函数必须同步加 const
哪怕你返回的是副本,也要把 getter 声明为 const 成员函数。否则在 const 对象上调用会编译失败,违反最小权限原则。
命名上避免歧义:
- ✅ data_copy()、config_snapshot()、current_state() —— 明确暗示返回副本
- ❌ getData()、getConfig() —— 模糊,容易让人误以为是引用或指针
- ❌ get_data_ref() —— 即使你没真返回引用,名字也在诱导错误假设
另外,如果类里同时提供副本和视图两种接口,务必用不同前缀区分,比如:
- items_copy() → 返回 std::vector<Item>
- items_view() → 返回 std::span<const Item>
移动语义能省拷贝,但别忘了 const 正确性
如果返回类型支持移动(如 std::string、std::vector),C++11 以后编译器通常会自动应用移动构造,避免深拷贝。但这不改变“返回副本”的本质,也不影响 const 安全性。
关键点:
- 移动操作不改变源对象的逻辑状态(只是掏空资源),所以 const 成员函数里调用移动构造是合法的(因为移动构造函数本身不修改 *this)
- 但不要为了“看起来快”而返回 std::move(member_) —— 这会把内部成员移走,破坏对象不变性;正确做法是让返回值自然触发移动,比如 return member_;(member_ 是非 const 成员,但函数是 const,所以调用的是 const 版本的拷贝或移动构造)
- 测试时用 AddressSanitizer 检查是否意外产生悬空指针,尤其当你混合使用 data() 和临时对象时
真正容易被忽略的是:即使所有 getter 都返回副本,只要类里有非 const 成员函数能间接修改被观察的数据(比如 reset_cache() 导致后续 data_copy() 返回不同内容),外部代码仍可能因时序问题看到不一致状态。这时候需要配合 mutable 缓存 + 内部锁,或干脆接受“副本只反映某一时刻快照”这一事实。


















