C++: идиома копирования и замены, альтернативный конструктор

Question

NB: Этот вопрос следует за предыдущим, я надеюсь, что все еще можно задавать его как новый вопрос.

Я пытаюсь реализовать "правило трех с половиной" (идиома копирования и замены) для класса дерева, который выглядит следующим образом:

class Tree
{
    friend void swap(Tree &first, Tree &second); // Swap function

public:
    Tree(const double &a, const double &b, int depth); // Public constructor (derived from the default (private) constructor)
    Tree(const Tree &other); // Copy constructor
    ~Tree(); // Destructor
    Tree & operator=(Tree other); // Copy-assignement operator


private:        
    Tree(double *a, double *b, int depth, int maxDepth); // Default (private) constructor

    double *a, *b;
    int depth, maxDepth;    
    Tree *leftChild, *rightChild;
};

Я пытался следовать этому руководству. Вот как выглядит мой оператор присваивания копии:

Tree & Tree::operator=(Tree other)
{
    swap(*this, other);
    return *this;
}

Мне трудно заставить моего публичного конструктора работать. Кто-то предложил мне сделать что-то вроде:

Tree::Tree(const double &a, const double &b, int depth)
{
    double aTemp(a), bTemp(b);
    swap(*this, Tree(&aTemp, &bTemp, depth, depth));
}

Я не уверен, что эта идея работает. В любом случае я получаю следующую ошибку от компилятора:

invalid initialization of non-const reference of type 'Tree&' from an rvalue of type 'Tree'
in passing argument 2 of 'void swap(Tree&, Tree&)'

Вместо этого я попробовал следующую идею, которая, я думал, сработает:

Tree::Tree(const double &a, const double &b, int depth)
{
    double aTemp(a), bTemp(b);
    *this = Tree(&aTemp, &bTemp, depth, depth);
}

Но, похоже, это тоже не работает. Я думаю, что проблема в том, что когда я вызываю оператор копирования-назначения (*this = Tree(&aTemp, &bTemp, depth, depth)), конструктор копирования должен быть вызван (так как аргумент оператора копирования-присвоения передается по значению), но, похоже, этого не происходит. Я не понимаю почему.

Заранее спасибо за помощь!

Answer 1

неверная инициализация неконстантной ссылки типа Tree& из значения типа Tree при передаче аргумента 2 void swap (Tree&, Tree&) '

C++ не позволяет передавать анонимные объектыconst ссылка. Цель состоит в том, чтобы предотвратить случайное выбрасывание вызывающими сторонами результатов функций, которые пишут в ссылочный аргумент.

Вы могли бы вместо этого сделать:

Tree::Tree(const double &a, const double &b, int depth)
{
    double aTemp(a), bTemp(b);
    Tree temp(&aTemp, &bTemp, depth, depth);
    swap(*this, temp);
}

Но, похоже, это тоже не работает. Я думаю, что проблема в том, что когда я вызываю оператор копирования-назначения (*this = Tree(&aTemp, &bTemp, глубина, глубина)), конструктор копирования должен вызываться (поскольку аргумент оператора копирования-присвоения передается по значению), но, похоже, этого не происходит. Я не понимаю почему.

Как вы определяете, что это не работает? Компилятор может удалить копию, чтобы избежать ненужной работы. ( Вот почему ваш оператор копирования-присваивания принимает аргумент по значению.)

Кстати, если ваш компилятор поддерживает C++11, вы можете вместо этого использовать делегирующие конструкторы.