0

我有以下代码：

#include <memory>

using namespace std;

template<typename U> class A;

template<typename U>
class B
{
    private:
        shared_ptr<const A<U>> _a;
    public:
        B (shared_ptr<const A<U>> __a) {
            _a = __a;
        }
};

template<typename U>
class A
{
    public:
        B<U> foo () const {
            return { make_shared<const A<U>> (this) };
        }
};

int
main ()
{
    A<int> a;
    B<int> b = a.foo ();

    return 0;
}

G++ 4.8.0 和 Clang 3.3svn 报告该类A没有复制或移动构造函数。例如，G++ 打印以下消息：

/home/alessio/Programmi/GCC/include/c++/4.8.0/ext/new_allocator.h:120:4: error: no      matching function for call to ‘A<int>::A(const A<int>* const)’
{ ::new((void *)__p) _Up(std::forward<_Args>(__args)...); }
  ^
/home/alessio/Programmi/GCC/include/c++/4.8.0/ext/new_allocator.h:120:4: note:  candidates are:
prova.cpp:19:7: note: constexpr A<int>::A()
 class A
       ^
prova.cpp:19:7: note:   candidate expects 0 arguments, 1 provided
prova.cpp:19:7: note: constexpr A<int>::A(const A<int>&)
prova.cpp:19:7: note:   no known conversion for argument 1 from ‘const A<int>* const’ to    ‘const A<int>&’
prova.cpp:19:7: note: constexpr A<int>::A(A<int>&&)
prova.cpp:19:7: note:   no known conversion for argument 1 from ‘const A<int>* const’ to  ‘A<int>&&’

是什么原因？

4

2 回答 2

5

你需要说：

return { make_shared<const A<U>>(*this) };
//                              ^^^
于 2013-05-08T12:49:22.127 回答
0

根据文档，make_shared构造一个给定类型 ant 的新实例，然后将其包装到 shared_ptr 中。您正在尝试构造 A 类型为 A* 的新实例。它的shared_ptr构造函数将指针作为参数，而不是make_shared.

于 2013-05-08T12:53:22.513 回答