C++ : 复制和交换惯用语,替代构造函数

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

提问人:Seub 提问时间:8/9/2013 最后编辑:CommunitySeub 更新时间:8/9/2013 访问量:1133

问:

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

我正在尝试为树类实现“三大半规则”(复制和交换成语),如下所示:

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)

提前感谢您的帮助!

C++ 三法则 和交换

评论


答:

1赞 jamesdlin 8/9/2013 #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, depth, depth)),应该调用复制构造函数(因为 copy-assignement 运算符的参数按 value 传递,但它 似乎这没有发生。我不明白为什么。

你如何确定它不起作用?编译器可能会省略副本以避免执行不必要的工作。(这就是为什么您的复制赋值运算符按值获取参数的原因。)

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

评论

0赞 Seub 8/9/2013
谢谢你的回答。我不熟悉复制省略,我会研究它(事实证明,像你一样使用临时变量,但使用“第二种解决方案”确实使编译器调用复制构造函数)。所以我想可能终究会起作用。我会考虑我选择哪种解决方案。至于“委托构造函数”(直到现在我才听说过),由于限定符(在*this = Tree(&aTemp, &bTemp, depth, depth);constTree(const double &a, const double &b, int depth))
0赞 jamesdlin 8/9/2013
没错,你不能在当前形式中直接使用委托构造函数,但你可以围绕它们重写你的代码。(目前还不清楚为什么要让私有构造函数接受非参数。Treeconst double*