我想确保我正确地理解了逐值传递与逐引用的关系。特别是,我正在查看对象增量++运算符的前缀/后缀版本。
假设我们有下面的类X
class X{
private:
int i;
public:
X(){i=0;}
X& operator ++ (){ ++i; return *this; } //prefix increment
X operator ++ (int unused){ //postfix increment
X ret(*this);
i++;
return ret;
}
operator int(){ return i; } //int cast
};首先,我是否正确地实现了前缀/后缀增量运算符?
第二,与前缀操作符相比,后缀操作符的内存效率如何?具体来说,在使用操作符的每个版本时,创建了多少个X对象副本?
对按引用返回与按值返回的确切情况的解释可能有助于我理解。
编辑:例如,使用以下代码..。
X a;
X b=a++;...are a和b现在化名了?
发布于 2010-07-05 17:34:24
这是一个正确的实现。通常情况下,后缀操作符的性能会更差,因为您必须在执行增量之前创建另一个副本(这就是为什么我习惯于总是使用前缀,除非需要其他东西)。
通过按引用返回,您将返回对当前对象的l值引用.编译器通常通过返回当前对象的地址来实现这一点。这意味着返回对象就像返回一个数字一样简单。
但是,使用按值返回的方法,必须执行副本.这意味着在返回期间有更多的信息要复制(而不仅仅是地址),还有一个要调用的复制构造函数。这就是你表现出色的地方。
您的实现效率与典型实现不相上下。
编辑:关于你的增编,不,它们不是别名。您已经创建了两个独立的对象。当您按值返回(以及在后缀增量运算符中创建一个新对象时),这个新对象将被放置在一个不同的内存位置。
但是,在以下代码中,a和b是别名:
int a = 0;
int& b = ++a;B是引用a的地址。
发布于 2010-07-05 18:02:46
在后缀增量中调用对象本身的前缀增量更符合惯例:
X operator++(int)
{
X copy(*this);
++*this; // call the prefix increment
return copy;
}因此,增量X对象的逻辑仅包含在前缀版本中。
发布于 2010-07-05 17:35:07
您的操作符已正确实现。
在前缀运算符中,不复制X。
在后缀操作符中,一个副本是为ret创建的,而另一个副本则是在函数返回时生成的,但是所有编译器都将删除这个副本。
https://stackoverflow.com/questions/3181211
复制相似问题