C++:复制和交换习惯用法，替代构造函数

C++ : copy-and-swap idiom, alternative constructor

本文关键字：构造函数 惯用法 习惯 复制 交换 C++      更新时间：2023-10-16

注意：这个问题是继上一个问题之后提出的，我希望它仍然可以作为一个新问题提出。

我正在尝试为一个树类实现"三个半大规则"（复制和交换习惯用法），它看起来像这样：

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)）时，应该调用复制构造函数（因为复制赋值运算符的参数是通过值传递的），但似乎没有发生这种情况。我不明白为什么。

提前感谢您的帮助！

"Tree&"类型的非常量引用的初始化无效来自"Tree"类型的右值在传递"void swap（Tree&，Tree&）"的参数2时

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，depth，depth），则应该调用复制构造函数（因为复制赋值运算符的参数是通过值传递的），但是这似乎没有发生。我不明白为什么。

你是怎么确定它不起作用的？编译器可能删除副本以避免做不必要的工作。（这就是为什么您的副本分配操作符按值接受参数的原因。）

顺便说一句，如果你的编译器支持C++11，你可以使用委托构造函数。

相关文章：