C++的引用的传递和返回兼批判

思一克

”你这种认识是制造bug的源泉“

该点引用应该远高于指针。想想所有传递都是引用的语言会是怎样的情形。

ypxing

请大家使用引用的优点，
避免它的缺点，
如果调用一个函数不想让参数改变，请先保存，在恢复
如果不知道函数原型和实现，请默认参数是会改变的

这也算个小原则吧

ypxing

原帖由 思一克 于 2007-5-16 12:12 发表
”你这种认识是制造bug的源泉“

该点引用应该远高于指针。想想所有传递都是引用的语言会是怎样的情形。

不，我说的是这种认识：
即“有一些什么原则，然后想当然的认为所有人会遵守，...."

飞灰橙

原帖由 emacsnw 于 2007-5-16 11:47 发表


这样说的话，加const就一定有用吗？函数实现的时候还可以const_cast后继续修改参数。

是的，如果加上const_cast确实可以修改原本定义成const &的参数，
事无绝对，这里依靠程序员的良心和代码规范。
c/c++世界里，很多规则都可以人为打破的，不奇怪。对于故意打破规则捣乱的人，应该严惩不怠。

coldwarm

1. 
   
2. 1）早期的一切传递都是引用的结构化语言是结构不好的。因为变量不太分局部和全局。而且不能将函数认为是输入输出的黑盒子。任何参数都会被调用者修改。
   

复制代码

所以在某些公司的编程规范里,当你的函数不修改参数时,在参数列表中要加入const修饰来显式指定参数的不可变性.

引用在c++中引入,最初是为了解决诸如下标运算符重载等问题.比如

1. 
   
2. class CharArray
   
3. {
   
4. public:
   
5.     ....
   
6.     char& operator[](int position);        //可用于表达式中的左值
   
7.     const char& operator[](int position) const;
   
8. private:
   
9.     char* _datas;
   
10. };
    

复制代码

不这么做的话,就不得不定义成员函数来完成类似功能.

另一个原因是考虑到性能,避免传值调用所引入的拷贝构造函数调用等开销.

另外,引用和其所引用对象间建立了唯一的联系.而指针并没有明确指定这种关系.

redac

原帖由 思一克 于 2007-5-16 12:00 发表
int func(int *i);
i 志向的地方可能变也可能不变，但是这是明显告诉你的，那里可能被修改。
引用就不同了，没有提供任何信息。除非你找到func本身

确实是

I/0

下面的内容摘自 TCPL 5.5 References

A reference can be used to specify a function argument so that the function can change the value of an object passed to it. For example:

1. 
   
2. void increment(int& aa)
   
3. {
   
4.         aa++;
   
5. }
   
6. 
   
7. void f()
   
8. {
   
9.         int x = 1;
   
10.         increment(x); // x = 2
    
11. }
    

复制代码

The semantics of argument passing are defined to be those of initialization, so when called, increment's argument aa became another name for x. To keep a program readable, it is often best to avoid functions that modify their arguments. Instead, you can return a value from the function explicitly or require a pointer argument:

1. 
   
2. int next(int p)
   
3. {
   
4.         return p+1;
   
5. }
   
6. 
   
7. void incr(int* p)
   
8. {
   
9.         (*p)++;
   
10. }
    
11. 
    
12. void g()
    
13. {
    
14.         int x = 1;
    
15.         increment(x); // x = 2
    
16.         x = next(x); // x = 3
    
17.         incr(&x); // x = 4
    
18. }
    

复制代码

The increment(x) notation doesn't give a clue to the reader that x's value is being modified, the way x = next(x) and incr(&x) does. Consequently "plain" reference arguments should be used only where the name of the function gives a strong hint that the reference argument is modified.

[ 本帖最后由 I/0 于 2007-5-16 13:02 编辑 ]

思一克

“A reference can be used to specify a function argument so that the function can change the value of an object passed to it. For example:

”

”To keep a program readable, it is often best to avoid functions that modify their arguments. Instead, you can return a value from the function explicitly or require a pointer argument:“

这里也是在建议，为让程序可读性高，最好避免使用引用，而代之以用函数返回数值或用指针显式地改变参数。

antonym55

原帖由 思一克 于 2007-5-16 09:16 发表
那么引用有好处吗？我个人意见，不多。除非万不得已非用不可，建议千万不要使用。
使用了，后果是让简单的程序无法读懂（不是因为引用概念复杂），尤其是分模块的情况下。

不敢苟同

楼主说的后果不是很严重嘛，因此我还是会继续使用refrence

那有不看函数原型就直接使用的？

实现同样的功能，不同的人写的函数原型就不一样，比如写个文件拷贝函数，

有人喜欢把 “源” 作为第2个参数，“目标”作为第1个参数，

也有人喜欢把 “源” 作为第1个参数，“目标”作为第2个参数.

如果用错了，只能说是有勇无谋；

另外，"后果是让简单的程序无法读懂" 这句话有点别扭，

我个人狭隘地认为，无法读懂的程序，应该不会简单

思一克

引用使得程序readable 变差，以下书中英语也是这么说的： （I/O 的引用）

”下面的内容摘自 TCPL 5.5 References“