成员为std::vector<std::unique_ptr<T>>时,Getter能否返回std::span<T*>?
1. Getter的写法与返回类型
你的当前实现方向是对的,而且可以进一步简化。在C++20及以上版本中,用range view封装底层实现是标准操作,并不算复杂。如果觉得lambda啰嗦,直接用成员函数指针替代会更简洁:
public: [[nodiscard]] std::ranges::view auto get_foos() const { return foos_ | std::views::transform(&std::unique_ptr<Foo>::get); } private: std::vector<std::unique_ptr<Foo>> foos_;
如果你希望返回类型更明确,也可以显式指定std::ranges::transform_view,不过用auto推导已经足够清晰且符合现代C++风格。
如果需要兼容C++17及更早版本,可选方案是返回std::vector<const Foo*>(但会产生拷贝开销),或者自定义迭代器包装类,但后者代码量会比range view大很多。
2. 能否返回std::span<T*>?
不行。std::span要求底层是连续的同类型序列,但你的vector<std::unique_ptr<Foo>>存储的是unique_ptr<Foo>对象,而非Foo*指针,两者内存布局完全不同,无法直接转换。如果强行维护一个并行的原始指针vector,会增加维护成本,反而违背封装原则。
3. 你的vector是否应该存储智能指针?
这取决于你的所有权需求:
- 如果你的类独占这些
Foo对象的生命周期(负责创建、销毁),那么std::vector<std::unique_ptr<Foo>>是合理选择,unique_ptr明确表达了独占所有权的语义。 - 如果
Foo对象需要共享所有权,或者所有权不在当前类中,可以考虑std::vector<std::shared_ptr<Foo>>或直接存储原始指针(但要严格保证生命周期安全)。 - 如果
Foo不需要多态、对象体积不大且可以直接嵌入容器,直接用std::vector<Foo>会更简单——此时Getter只需返回std::span<const Foo>或const std::vector<Foo>&,完全不需要转换操作。
4. 现代C++中每个Getter都需要这么复杂的transform吗?
当然不是。这种转换只在底层存储是智能指针容器,且需要隐藏所有权/实现细节时才需要。如果底层是普通对象容器,Getter可以直接返回std::span或容器的const引用,非常简洁。
而且C++20的range view是惰性求值的,不会产生额外内存拷贝,性能几乎和直接遍历原始容器一致,这种“复杂”只是语法层面的,实际开销可以忽略。
如果需要给调用者提供更受限的访问(比如仅允许随机访问),也可以自定义一个轻量包装类:
class FooView { public: explicit FooView(const std::vector<std::unique_ptr<Foo>>& foos) : foos_(foos) {} [[nodiscard]] size_t size() const { return foos_.size(); } [[nodiscard]] const Foo* operator[](size_t idx) const { return foos_[idx].get(); } auto begin() const { return std::views::transform(foos_, &std::unique_ptr<Foo>::get).begin(); } auto end() const { return std::views::transform(foos_, &std::unique_ptr<Foo>::get).end(); } private: const std::vector<std::unique_ptr<Foo>>& foos_; }; // 类中的Getter: [[nodiscard]] FooView get_foos() const { return FooView(foos_); }
不过这种方式不如直接返回range view简洁,除非你有特殊的接口限制需求。
内容的提问来源于stack exchange,提问作者Jupiter

