станда :: unique_ptr ошибка компилятора: Члены производного класса не могут получить доступ к закрытым членам базового класса

Question

я получаю Compiler Error C2248, когда я пытаюсь скомпилировать следующий код:

#include <list> 
#include <memory> 
using namespace std; 


class data 
{ 
public: 

    static data parse() 
    { 
     data d; 
     data::parse(d); 
     return d; 
    } 

    list<std::unique_ptr<data>> l; 

private: 

    static void parse(data& node) 
    {  } 
}; 


int main() 
{ 

    return 0; 
} 

Почему? Как я могу это исправить?

Примечание: У меня нет проблем с использованием std::shared_ptr вместо std::unique_ptr.

Answer 1

Вы должны обеспечить операции перемещения для вашего типа:

data(data&& other) 
    : l(std::move(other.l)) 
{ 
} 

data& operator=(data&& other) 
{ 
    l = std::move(other.l); 
    return *this; 
} 

И, так как вы добавили пользователь объявленной конструктор, вам также потребуется пользовательский объявленный конструктор по умолчанию:

data() { } 

Я понимаю, что ваш код верный как есть, в соответствии с окончательным стандартом языка C++ 11. Visual C++ не полностью реализует окончательную спецификацию, когда операции перемещения неявно генерируются (как на Visual C++ 2012 RC). Спецификация того, когда неявные операции перемещения генерируются, несколько раз очень сильно изменилась в процессе стандартизации.

Если у вас есть тип класса C, который имеет любой элемент данных, который является подвижным, но не подлежащим копированию, Visual C++ не будет генерировать неявный конструктор перемещения или переместить оператор присваивания, а неявный конструктор копирования и оператор присваивания копии будут подавлены наличие элемента данных только для перемещения. Другими словами, если вы хотите, чтобы агрегированные типы только для перемещения, вы должны предоставить операции перемещения для агрегационного класса самостоятельно.

(По крайней мере, это мое понимание от экспериментов с компилятором.)

Answer 2

Прежде всего, VC++ автоматически не генерирует движение ctor и не переводит оператор присваивания, что означает, что вам нужно определить их самостоятельно.

Далее, когда вы возвращаете локальные переменные, компилятор сначала пытается выполнить переместить, прежде чем на самом деле перейдет обычный путь их копирования. Однако для этого ему нужно движение ctor. Поскольку он не имеет этого, он пытается обычную копию и через сгенерированную копию ctor автоматически вызывает конструктор копии std::list, который в свою очередь пытается вызвать копию ctor своего типа элемента, которая является частной в случае с std::unique_ptr.

Вам необходимо либо определить подходящее перемещение ctor, либо копию ctor, которая не вызывает копию std::unique_ptr (т. Е. Сделать глубокую копию содержимого).

Answer 3

Короткий ответ: (C++ 11) конкретные товары в list должны быть копируемой или movveable. A unique_ptr не может быть скопирован по дизайну, но он подвижный, если контролируемый тип также перемещается.

Ваш тип, data не движется, потому что вы не реализовали семантику перемещения, и компилятор не сделал этого для вас.

Реализовать перемещение семантику, и вы можете использовать unique_ptr в list:

data(ddata&&) {}; 

Согласно THHE стандарту, конструктор шаг будет генерироваться для вашего класса компилятором.Однако VS10 не поддерживает это - возможно, это проблема, с которой вы столкнулись.

Для получения дополнительной справки см мой пост на CR: Canonical Implementation of Move Semantics