C++0x 错误：使用 std::shared_ptr 重载函数到 const 参数不明确

Question

假设我有两个不相关类A和B。我还有一个使用 boost::shared_ptr 的 Bla 类，如下所示：

class Bla {
public:
    void foo(boost::shared_ptr<const A>);
    void foo(boost::shared_ptr<const B>);
}

注意 const。这是这个问题的原始版本所缺少的重要部分。这可以编译，并且以下代码可以工作：

Bla bla;
boost::shared_ptr<A> a;
bla.foo(a);

但是，如果我在上面的示例中从使用 boost::shared_ptr 切换到使用 std::shared_ptr，则会出现编译错误那就是：

"error: call of overloaded 'foo(std::shared_ptr<A>)' is ambiguous
note: candidates are: void foo(std::shared_ptr<const A>)
                      void foo(std::shared_ptr<const B>)

你能帮我弄清楚为什么编译器无法弄清楚在 std::shared_ptr 情况下使用哪个函数，而在 boost::shared_ptr 情况下可以吗？我使用的是 Ubuntu 11.04 软件包存储库中的默认 GCC 和 Boost 版本，目前是 GCC 4.5.2 和 Boost 1.42.0。

以下是您可以尝试编译的完整代码：

#include <boost/shared_ptr.hpp>
using boost::shared_ptr;
// #include <memory>
// using std::shared_ptr;

class A {};
class B {};

class Bla {
public:
    void foo(shared_ptr<const A>) {}
    void foo(shared_ptr<const B>) {}
};

int main() {
    Bla bla;
    shared_ptr<A> a;

    bla.foo(a);

    return 0;
}

顺便说一句，这个问题促使我提出这个问题关于我是否应该使用std::shared_ptr;-)

Answer 1

shared_ptr 有一个模板单参数构造函数，这里考虑将其用于转换。这就是允许在需要 shared_ptr 时提供实际参数 shared_ptr 的原因。

由于 shared_ptr 和 shared_ptr 都有这种隐式转换，因此它是不明确的。

至少在 C++0x 中，标准要求 shared_ptr 使用一些 SFINAE 技巧来确保模板构造函数仅匹配实际可以转换的类型。

签名为（请参阅[util.smartptr.shared.const]部分）：

shared_ptr<T>::shared_ptr(const shared_ptr<T>& r) noexcept;
template<class Y> shared_ptr<T>::shared_ptr(const shared_ptr<Y>& r) noexcept;

要求：第二个构造函数不得参与重载决策，除非 Y* 可以隐式转换为 T*。

可能该库尚未更新以符合该要求。您可以尝试更新版本的 libc++。

Boost 不起作用，因为它缺少这个要求。

这是一个更简单的测试用例： http://ideone.com/v4boA （此测试用例在符合要求的编译器上将失败，如果编译成功，则意味着原始情况将被错误地报告为不明确。）

VC++ 2010 正确（对于 std::shared_ptr）。

Answer 2

以下代码可以在 GCC 4.5 和 Visual Studio 10 中正常编译。如果您说它无法在 GCC 4.5.2 中编译，那么它听起来像是您应该报告的编译器错误（但请确保它确实发生，更有可能是您创建的）某种打字错误）。

#include <memory>
class A{};
class B{};
class Bla {
public:
    void foo(std::shared_ptr<A>) {}
    void foo(std::shared_ptr<B>) {}
};

int main()
{
    Bla bla;
    std::shared_ptr<A> a;
    bla.foo(a);
}

Answer 3

您可以使用 std::static_pointer_cast 添加 const 限定：

bla.foo(std::static_pointer_cast<const A>(a));

Answer 4

http://bytes.com/topic/c /answers/832994-shared_ptr-driven-classes-ambiguity-overloaded-functions

struct yes_type { char dummy; };
struct no_type { yes_type a; yes_type b; };

template < typename From, typename To >
class is_convertible
{
    private:
        static From* dummy ( void );

        static yes_type check ( To );

        static no_type check ( ... );

    public:

        static bool const value = sizeof( check( *dummy() ) ) == sizeof( yes_type );

}; // is_convertible

在boost的shared_ptr.h中，更改构造函数签名至：

template<class Y>
shared_ptr(shared_ptr<Y> const & r,
    typename enable_if<is_convertible<Y*, T*>::value, void*>::type = 0
    ): px(r.px), pn(r.pn) // never throws
{
}