boost scoped_ptr的C++多态性

Question

为什么下面的代码不允许调用foo(ptr)？

#include <boost/scoped_ptr.hpp>
struct A {
    virtual ~A() {}
};

struct B: public A {};

void foo(boost::scoped_ptr<A>& a) {}

void goo(A& a) {}
int main() {
    boost::scoped_ptr<B> ptr(new B);
    foo(ptr);
    B b;
    goo(b);
}

我们传递引用的相应表单按预期工作。我们不应该用boost scoped_ptr做多态性吗？

boost 1.49的g++为我提供了：

error: invalid initialization of reference of type ‘boost::scoped_ptr<A>&’ from expression of type ‘boost::scoped_ptr<B>’

Answer 1

这是因为出于某种原因，foo通过引用来获取作用域指针。这是完全不必要的，也是调用失败的原因。存在从scoped_ptr<B>到scoped_ptr<A>的转换，但不是从scoped_ptr<B>&到scoped_ptr<A>&的转换。

您应该将它作为引用传递给const。

void foo(boost::scoped_ptr<A> const & a) {}

顺便说一句，这不是智能指针本身的“问题”。以下代码失败的原因与您的相同。

void foo(A*& p) {}
int main()
{
    B* p = new B;
    foo(p); //FAIL
}

为了解决这个问题，你必须通过值来传递指针，或者，如果你是完全错误的，通过引用const来传递指针

 void foo (A * const & p); // <-- a perv wrote this