invalid initialization of non-const reference of type ‘int*&’ from a temporary of type ‘int*’

被问及以下问题：

#include<iostream> 
using namespace std; 

void func(int * &a, int b) 
{ 
    for(int i=0;i<b;i++) 
        a[i]+=i; 
} 

int main() 
{ 
    int test[10]={1,2,3,4,5,6,7,8,9,7}; 
    func(test,4); 
    cout<<"After assignment, test is "<<endl; 
        ...
} 

error: invalid initialization of non-const reference of type ‘int*&’ from a temporary of type ‘int*’

we both know: 

int  func(int *a, int b); 可以正确运行。 

 理解其初始意图，想对 int指针 当一个引用 处理。

 

 

  实际上，指针与引用没有多少差别。只是调用的时候，指针需要在调用的时候，临时转换一个指针。(we heard that) 。而引用则省去了这个步骤。

  上面代码的调用处， 可以相当于以下：

int main(void) 

{
    int y=3;
    int &x = y;
    
    int* address_y=&y;
    int* &ref_y = address_y;
    
    int array[3] ={1,2,3};
        
    int* address_array= array;
    int* &ref_address_array = address_array;
    //int* &ref = array;//error , the same effect as func(test,4);

} 

 

  error: invalid initialization of non-const reference of type ‘int*&’ from a temporary of type ‘int*’

  这个重点似乎在于 temporary 。

  而 "临时变量作为非const的引用参数传递" ，编译器不允许的。(ref 2 this) http://blog.baisi.net/?116670/viewspace-4407 

 

  但如果修改以下这个转换，则可以进行编译通过并运行。

int main() 
{ 
    int test[10]={1,2,3,4,5,6,7,8,9,10}; 
    
    int *temp = test;/***** 加一变量转换 *******/
    func(temp,4); /***** 用变量转换 *******/    

    cout<<"After assignment, test is "<<endl; 
    for(int i =0;i<10;i++) 
        printf("%d\t",test[i]);pasting
    printf("\n");
} 

两者区别，我没看出来。test, temp 都是 lvalue 。似乎加一变量 没有了“ 临时 ”的效果。

 

 ======

后续：找到原因：

quote:"是因为数组名是一个地址常量，非const引用不能引用一个常量。如果把void func(int *&a, int b)改成void func(int *const &a,int b)就可以编译通过。 "

同时解释了为何上述的 int *temp 为何可以，int * temp =test;//转换成 non-const reference , match with func( int * , int ) .

:-)