您的位置:首页 > 其它

【你不知道】表达式中的隐式类型转换、无名对象作为函数实参

2010-04-09 17:07 288 查看
代码

1 int array[] = {1,2,3,4,5};
2 #define TOTAL_ELEMENTS (sizeof(array)/sizeof(array[0]))
3
4 #include <iostream>
5 using namespace std;
6
7 class Base{
8 public:
9 explicit Base(int i=0):ival(i)
10 {
11 cout << "Class Base's constructure is called" << endl;
12 }
13 Base(const Base& b)
14 {
15 cout << "Class Base's copy constructure is called" << endl;
16 }
17 public:
18 int ival;
19 };
20
21 void fun(Base b)
22 {
23 cout << "fun is called" << endl;
24 }
25
26 Base fn1()
27 {
28 Base b;
29 return b;
30 }
31
32 Base fn2()
33 {
34 return Base();
35 }
36
37 void main()
38 {
39 int val = 5;
40 fun(Base(val));
41 Base myb;
42 fun(myb);
43 cout << endl;
44
45 int d = -1;
46 if(d < (unsigned char)1)
47 cout << "int -1 < unsigned char 1" << endl;
48 if(d < (unsigned int)1)
49 cout << "int -1 < unsigned int 1" << endl;
50
51 if(d <= TOTAL_ELEMENTS)
52 cout << "int -1 < TOTAL_ELEMENTS" << endl;
53
54 cout << endl;
55
56 fn1(); cout << endl;
57 fn2(); cout << endl;
58
59 Base b1 = fn1(); cout << endl;
60 Base b2 = fn2(); cout << endl;
61
62 getchar();
63 }

运行结果:



  注意40行,用一个无名对象作为实参,调用函数fun,但编译器用实参初始化形参的时候,并没有如用普通对象调用fun一样,调用拷贝构造函数。无名对象的初始化,也就是形参的初始化。

  这个技术还可以用于函数的return语句。如:return Student("Lucy"); 或者 Student st("Lucy"); return st; 前者好于后者。(例子fn1、fn2函数的调用)

  对于后者,st对象被创建,同时调用构造函数完成初始化,然后调用拷贝构造函数,把st拷贝到保存返回值的外部存储单元中。最后,st对象在函数结束时被销毁。对于前者,编译器可以直接把临时对象创建并初始化在外部存储单元中,省去了拷贝和析构函数的开销。

  关于比较的说明:当一个表达式的操作数类型不同,就会发生转换。数据类型一般朝着浮点精度更高、占用内存空间更长的方向转化。当int -1和unsigned char 1 比较的时候,后者隐式转换为int类型的1,所以前者小于后者,关系成立。

  当int -1 和unsigned int 1比叫大小,前者转换为unsigned int,但-1转化为unsigned int为很大很大的值。所以前者小于后者,关系不成立。这个解释同样适用于TOTAL_ELEMENTS句子,sizeof返回的是无符号整形。
内容来自用户分享和网络整理,不保证内容的准确性,如有侵权内容,可联系管理员处理 点击这里给我发消息
标签: 
相关文章推荐