1.向上强制类型转化产生临时变量
- #include <stdio.h>
- class Base
- {
- public:
- int m_b;
- Base(){m_b = 1;}
- void Say(){
- m_b=7;
- };
- };
- class Drived:public Base
- {
- int m_d;
- };
- int main()
- {
- Derived d;
- ((Base)d).Say();
- printf("%d", d.m_b);
- return 0;
- }
我们开始都会认为在调用Say()之后,对象d的m_b成员变量会被修改为7但是结果却输出“1”,原因如下:
这段代码是将对象d的内容拷贝到临时变量中,并且只拷贝Base中有的部分,这样做
就是所谓的“Slicing”。有些书中说这一步是由拷贝构造函数完成的。概念上是这样的,
但是实际上,编译器并没有生成一个真正意义上的拷贝构造函数。
这更进一步说明C++产生了一个临时对象作为强制转换的中间结果。然后以这个临时
对象代替我们的对象d,来调用函数Say()。那么结果自然是,临时变量的m_b被改变,
而我们的d.m_b没有发生变化
这种强制类型转换就是所谓的"向上转型",upcasting。 也叫Object Slicing。这种操作应该小心使用,甚至避免
2.临时变量被存储在寄存器中
- void f1( int * &j)
- {
- int l=20;
- j=&l;
- }
- void any_function_use_local_variables()
- {
- int a,b;
- a=b=1000;
- }
- int main()
- {
- int *j;
- f1(j);
- cout <<*j <<" ";
- any_function_use_local_variables();
- cout <<*j <<" ";
- cout <<*j <<" ";
- *j = 10;
- cout << *j;
- return 0;
- }
上面的例子输出的结果为: 20 1000 4383304
我是这样理解的,如有不妥,还请各位高人指点。
int *&j可以这么理解
typedef int * PINT;
void f1(PINT & j)
{
int l=20;
j=&l;
}
所以这是一个PINT类型的引用,也就是int * 类型的引用。
因为是引用,所以最后j指向了零时变量l的地址。
零时变量,尤其是整型,编译其一般都把它放在寄存器里。
所以随着寄存器中值的变化,输出的值会不同。