c++陷阱之临时变量

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的地址。

零时变量，尤其是整型，编译其一般都把它放在寄存器里。

所以随着寄存器中值的变化，输出的值会不同。

 

本文来自CSDN博客，转载请标明出处：http://blog.csdn.net/jia_xiaoxin/archive/2008/11/09/3262175.aspx