带有 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