std :: make_shared, std :: unique_ptr и конструкторы перемещения

Следующий код компилируется с clang 3.0 / libc ++:

#include <memory>

class Foo
{
public:
    Foo()
        : mem_(new int(10))
    {
    }
    std::unique_ptr<int> mem_;
};

int main()
{
    auto foo = std::make_shared<Foo>();
    return 0;
}

Но этот код не ( std :: string параметр добавлен):

#include <memory>
#include <string>

class Foo
{
public:
    Foo(const std::string& s)
        : mem_(new int(10))
    {
    }
    std::unique_ptr<int> mem_;
};

int main()
{
    auto foo = std::make_shared<Foo>("aaa");
    return 0;
}

Clang жалуется на использование удаленный конструктор. Для меня это не имеет смысла, поскольку std :: make_shared не должен копировать экземпляр Foo, единственное, что может вызвать вызов (удаленного) конструктора копирования std: : unique_ptr .

Но, о чудо, как только я явно определяю конструктор перемещения, он компилируется.

#include <memory>
#include <string>

class Foo
{
public:
    Foo(const std::string& s)
        : mem_(new int(10))
    {
    }
    Foo(Foo&& other)
        : mem_(std::move(other.mem_))
    {
    }
    std::unique_ptr<int> mem_;
};

int main()
{
    auto foo = std::make_shared<Foo>("aaa");
    return 0;
}

Теперь вопросы:

  1. Почему он компилируется в первом примере, но не во втором?
  2. Может ли std :: make_shared копировать / перемещать объект при его создании?
  3. Почему устраняет ли проблему добавление конструктора перемещения? Я не помню, чтобы добавление конструктора, отличного от заданного по умолчанию, должно подавлять неявный конструктор перемещения.

РЕДАКТИРОВАТЬ: Проверено, и все примеры, похоже, отлично компилируются с gcc 4.5.1 (через ideone.com), я подозреваю, что это случай ошибки clang / libc ++, но вопросы 2 и 3 все еще остаются в силе, плюс я хочу знать, какой компилятор более "правильный".

12
задан Alex B 19 December 2011 в 12:06
поделиться