共享指针和 const 正确性

Question

将类的 const 正确性 扩展到其指向的成员的正确方法是什么？在示例代码中，get 方法的常量版本是要创建一个std::shared_ptr，其引用计数器与内部成员m_b 相同，还是从0 重新开始计数？

class A
{
    std::shared_ptr< B > m_b;

public:

    std::shared_ptr< const B > get_b( ) const
    {
        return m_b;
    }

    std::shared_ptr< B > get_b( )
    {
        return m_b;
    }
}

Answer 1

shared_ptr 在您从另一个shared_ptr 构造时将始终保留引用计数； 不安全地使用它的唯一方法是从原始指针构造：shared_ptr<...>(my_ptr.get()) // don't do this。

您可能还对 propagate_const 包装器感兴趣，它位于 Library Fundamentals TS v2 中，因此可能很快就会在您的实现中可用。

Answer 2

可以通过use_count()进行一些测试来推断答案。

还要注意方法解析可能不是很明显：

class B {};

class A {
  std::shared_ptr<B> m_b;

public:
  A() { m_b = std::make_shared<B>(); }

  std::shared_ptr<const B> get_b() const {
    std::cout << "const" << std::endl;
    return m_b;
  }

  std::shared_ptr<B> get_b() {
    std::cout << "non const" << std::endl;
    return m_b;
  }
};

int main(int, char **) {

  A a;

  std::shared_ptr<B> b = a.get_b();

  std::cout << b.use_count() << std::endl;

  std::shared_ptr<const B> cb = a.get_b();

  std::cout << cb.use_count() << std::endl;

  const A &a_const_ref = a;

  std::shared_ptr<const B> ccb = a_const_ref.get_b();

  std::cout << ccb.use_count() << std::endl;

  return 0;
}

输出：

non const
2
non const
3
const
4