c = a + b; 操作符重载遇到的

spibit

情况：

CNumber a, b;并且a, b已经初始化完毕。
CNumber的拷贝构造，以及操作符=和+=已经完成。

实际上，可以把 拷贝构造函数 和 操作符= 效率相当，
因为如果CNumber这个类对象同样的初始化，如果一个占用很多资源，那么另一个函数也会。

现在要计算 a + b 保存到c。
CNumber c = a + b;
或者
CNumber c;
add(a, b, c);

问题：
发现
c = a + b;
效率较差。想改进之，望高手指点。

1. 
   
2. CNumber operator+(const CNumber &a, const CNumber &b)
   
3. {
   
4.     CNumber c = a; // 拷贝构造 1
   
5.     c += b;
   
6.     return c; // 拷贝构造 2
   
7. }
   
8. 
   
9. CNumber c = a + b; // 拷贝构造 3
   
10. 
    
11. 
    

复制代码

假设我这样：

1. 
   
2. void add(const CNumber &a, const CNumber &b, CNumber &c)
   
3. {
   
4.   c = a; // 拷贝构造 1
   
5.   c += b;
   
6. }
   
7. 
   
8. 
   
9. CNumber c; // 默认构造 2
   
10. add(a, b, c);
    

复制代码

似乎add可一省去1次拷贝构造，

[ 本帖最后由 spibit 于 2007-7-26 22:15 编辑 ]

spibit

自己顶一下，
敢问有更好的方法吗？
不太喜欢因为使用方便导致性能有所下降。

converse

CNumber operator+(const CNumber &a, const CNumber &b)
{
    CNumber c = a; // 拷贝构造 1
    c += b;
    return c; // 拷贝构造 2
}

改成:
CNumber operator+(const CNumber &a, const CNumber &b)
{
    return a + b;
}

whyglinux

需要了解在编译器实现上的 RVO 以及 NRVO 的概念。用它们作关键字搜索。

RVO - Return Value Optimization
NRVO - Named Return Value Optimization

[ 本帖最后由 whyglinux 于 2007-7-26 18:37 编辑 ]

tyc611

仔细看看

zwylinux

CNumber operator+(const CNumber &a, const CNumber &b)
{
    return a + b;
}

本来就是想实现CNumber类的加号操作符重载，所以实现里边怎么能用 a + b？  a、b是CNumber类型的，他们的“＋“还没定义。

spibit

CNumber operator+(const CNumber &a, const CNumber &b)
{
    return a + b;
}

这样是自己调用自己，死循环吧？

原帖由 whyglinux 于 2007-7-26 18:34 发表
需要了解在编译器实现上的 RVO 以及 NRVO 的概念。用它们作关键字搜索。

RVO - Return Value Optimization
NRVO - Named Return Value Optimization

我知道这个代码优化。但是这里行吗？

如果用了引用
c = a + b;
c不可预计。

因为 a + b 的结果就是引用了，此引用之实体在operator+重载函数退出时已经释放了，所以c就不知道是个什么东西了，

[ 本帖最后由 spibit 于 2007-7-26 22:21 编辑 ]

converse

不好意思，刚刚没有仔细看题目，我的原意是省去创建一个临时的局部变量的过程。

假设CNumber这个类仅有一个成员变量是a，而operator+操作执行的就是a的相加，并且CNumber类中有一个构造函数可以传入初始化a参数的参数完成类对象的初始化，那么可以改些为：

CNumber operator+(const CNumber &a, const CNumber &b)
{
    return CNumber(a.a + b.a);
}

whyglinux

原帖由 spibit 于 2007-7-26 22:02 发表

我知道这个代码优化。但是这里行吗？

如果用了引用
c = a + b;
c不可预计。

因为 a + b 的结果就是引用了，此引用之实体在operator+重载函数退出时已经释放了，所以c就不知道是个什么东西了，

优化是否可行取决于看编译器是否支持 RVO 或 NRVO 的实现。

关于后面的问题，或许你应该先了解一下 RVO 和 NRVO 是怎样实现的再说。

yuxh

原帖由 converse 于 2007-7-26 23:34 发表
不好意思，刚刚没有仔细看题目，我的原意是省去创建一个临时的局部变量的过程。

假设CNumber这个类仅有一个成员变量是a，而operator+操作执行的就是a的相加，并且CNumber类中有一个构造函数可以传入初始化a参 ...

这个和原来的没啥区别的吧？也是构造一个临时变量，然后return出去

问题是：
    return c; // 拷贝构造 2
这个拷贝构造从何而来？

用operator+和add函数的效率是一样的，不过用add函数更丑陋，更难用而已。