欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页  >  IT编程

深入理解C语言的指针*和引用&

程序员文章站 2022-05-28 20:12:53
首先是一道关于类型转换的面试题,要求给出float变量强制转换成int型和int &输出的结果。 [cpp] int test()  {  &nb...

首先是一道关于类型转换的面试题,要求给出float变量强制转换成int型和int &输出的结果。

[cpp] int test() 

    float a = 1.0f; 
    cout<<"value of (int)a is "<<(int)a<<endl; 
    cout<<"value of &a is "<<&a<<endl; 
    cout<<"value of (int &)a is "<<(int &)a<<endl; 
    cout<<boolalpha<<((int)a == (int &)a)<<endl; 
    return 0; 

int test()
{
 float a = 1.0f;
 cout<<"value of (int)a is "<<(int)a<<endl;
 cout<<"value of &a is "<<&a<<endl;
 cout<<"value of (int &)a is "<<(int &)a<<endl;
 cout<<boolalpha<<((int)a == (int &)a)<<endl;
 return 0;
}
以前经常用到强制转换(int)variable,对于上例,就是把float型的值1.0作为int型输出1,但是如何理解(int &)variable,为什么输出会是一个大整数1065353216呢?这里需要区分&的两个作用:取地址和引用。以下是参考csdn的详细解释。
(int)a实际上是以浮点数a为参数构造了一个整型数,该整数的值是1,(int&)a则是告诉编译器将a当作整数看(并没有做任何实质上的转换)。因为1以整数形式存放和以浮点形式存放其内存数据是不一样的,因此两者不等。对float b = 0.0f;的两种转换意义同上,但是0的整数形式和浮点形式其内存数据是一样的,因此在这种特殊情形下,两者相等(仅仅在数值意义上)。
注意,程序的输出会显示   (int&)a=1065353216,这个值是怎么来的呢?前面已经说了,1以浮点数形式存放在内存中,按ieee754规定,其内容为0x0000803f(已考虑字节反序)。这也就是a这个变量所占据的内存单元的值。当(int&)a出现时,它相当于告诉它的上下文:“把这块地址当做整数看待!不要管它原来是什么。”这样,内容0x0000803f按整数解释,其值正好就是1065353216(十进制数)。
通过查看汇编代码可以证实“(int)a相当于重新构造了一个值等于a的整型数”之说,而(int&)的作用则仅仅是表达了一个类型信息,意义在于为cout<<及==选择正确的重载版本。

我们再看变量中使用指针*和引用&的例子,&作为引用主要是用在变量的声明,也就是将此变量作为一个别名,两变量内存地址完全相同。下面是对int *a, int &b, int * &c, int & *d的实验和简单说明。

[cpp] int test() 

    int i = 10; 
    int *a = &i;    /* a是一个指针,指向i的地址, &取地址 */ 
    cout<<"value of a is "<<a<<endl;  /* i的地址 */ 
    int &b = i;     /* b是引用,和i指向同一地址,可视为i的别名 */ 
    cout<<"value of b is "<<b<<endl;  /* i的内容,10 */ 
    cout<<"value of &b is "<<&b<<endl;    /* i的地址 */ 
    int * &c = a;   /* c是引用,引用的类型是指针(和a相同) */ 
    cout<<"value of c is "<<c<<endl;  /* c是a的别名 */ 
    /* int & *d = b;    d是一个指针,但引用不是实体,所以是错误的 */ 
    return 0; 
} 


摘自  nevasun的专栏