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。

您可能也对{Funtmentals TS v2中的propagate_const包装器感兴趣，因此很快就会在您的实现中提供。

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

共享指针和const正确性

2 个答案: