c++ - 为什么 shared_ptr 不隐式转换为 shared_ptr？

Question

我试着介绍了一些const一些新代码的正确性(实际上是功能范例)，发现我无法传递 std::shared_ptr<A>到一个需要 std::shared_ptr<A const> 的函数.请注意，我不想放弃 constness 而是引入它，这对于原始指针是合法的。

有什么办法可以解决这个问题吗？我没有找到执行此操作的成员函数。

---

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));