为什么不将shared_ptr <A>隐式转换为shared_ptr <A const>？

Question

我试图向const一些新代码介绍一些正确性(实际上是函数范例),并发现我无法将std::shared_ptr<A>一个函数传递给期望的函数std::shared_ptr<A const>.请注意,我不想抛弃 const而是引入它,这对于原始指针是合法的.

有办法解决这个问题吗？我没有找到成员函数来执行此操作.

---

g ++ 4.6.1发出的确切错误是:

error: no matching function for call to ‘foo(std::shared_ptr<A>)’
note: candidate is:
note: template<class T> std::shared_ptr<_Tp> foo(std::shared_ptr<const _Tp>)

Answer 1

您的案例中的问题不是来自/可能的转换std::shared_ptr,而是与类型推断如何适用于模板函数更相关.

当编译器尝试将函数调用与模板匹配时,它只接受完全匹配,即根本没有类型转换.在这种情况下,你的功能需要std::shared_ptr<const T>,调用者有一个std::shared_ptr<U>地方U是不是const.由于匹配不准确,它将丢弃模板并选择下一个重载候选项.

简单的解决方法是:完全避免类型推断并提供模板参数:

std::shared_ptr<A> p;
foo<A>(p);             // will use the templated shared_ptr conversion

或者自己执行转换:

foo(std::shared_ptr<const A>(p));