Question

int& const aa(int & a) 和 const int& aa(int & a)的区别。

int* const aa(int * a) 和 const int* aa(int * a) 是一样的对吗？
int& const aa(int & a) 和 const int& aa(int & a) 不一样，
经过运行 int& const aa(int & a){return a;}和int& aa（int & a）{return a;}是一样的结果在下面例子里：（就是把aa函数的函数头换一下，内容不变，）
int& const aa(int & a)
{ return a;
}
int _tmain(int argc, _TCHAR* argv[])
{ int i=9;
int u=4;
cout<< (aa(i)=7)<<endl;
system("pause");
return 0;
}

我想问int& const aa(int & a) 和 const int& aa(int & a)的区别。
谢谢了，热心的大侠。谢谢了。

Answer 1

左值右值C++ 2008-02-29 17:30:11 阅读38 评论0 字号：大中小 订阅
什么情况下返回指针？什么情况下返回引用？指针和引用的效果一样么？
这里不仅涉及到引用的实现，也涉及到左值与右值的概念。因为返回值性质的不同决定了引用与指针必定不是相同的。相信你读过我写的这篇文章之后，会有一个比较清醒的认识。

左值（lvalue）和右值（rvalue）最先来源于C语言。最先在C语言中表示位于赋值运算符两侧的两个值，左边的就叫左值，右边的就叫右值。
比如：
int ii = 5; //ii是左值，5是右值
int jj = ii; //jj是左值，ii是右值
上面表明，左值肯定可以作为右值使用，但反之则不然。左值和右值的最早区别就在于能否改变。左值是可以变的，右值不能变，但是这一点在C++中已经不再成立。
在现代C++中，现在左值和右值基本上已经失去它们原本所具有的意义，对于左值表达式，通过具体名字（variant name）和引用（reference）来指定一个对象。非左值就是右值。我们来下一个定义：
左值表示程序中必须有一个特定的名字引用到这个值。
右值表示程序中没有一个特定的名字引用到这个值。
这跟它们是否可以改变，是否在栈或堆（stack or heap）中毫无关系。
1．左值
在下面的代码中：
int ii = 5;
const int jj = ii;
int a[5];
a[0] = 100;
*(a+3) = 200;
const int& max(const int& a, const int& b) //call by reference
{
return a > b ? a : b;
}
int& fun(int& a) //call by reference
{
a += 5;
return a;
}
ii，jj，a[0]，*(a+3)这些值，还有函数max的返回值比如max(ii, jj)，函数fun的返回值fun(ii)都是左值。因为它们都是被特定的名字所引用的值。
ii，jj，a[0]，*(a+3)，以及引用了max和fun的返回值的变量就是它们的名字。
注：有人会问max(8, 9)到底是左值还是右值，C++标准规定常量引用
（reference to const）可以引用到右值，所以max(8, 9)似乎应该是右值。但根据我们对左值的定义，说它是左值也对。不管它是左值，还是右值，我们都不能试图去改变它。为了与前面的概念一致，姑且认为它是左值，不可改变的常量左值。
左值有不能改变的，即被const所修饰的左值，比如上面的jj，max(ii, jj)，没有被const困住的左值当然是可以改变的。
比如下面的代码都是成立的：
ii = 600;
a[0] = 700;
fun(ii) = 800; //OK!
我们的眼睛没有问题，fun(ii) = 800;完全正确，因为它是可以改变的左值。

2．右值
没有特定名字的值是右值。
看下面的代码：
int fun1() //call by value
{
…
}
int* fun2() //call by value
{
…
}
函数fun1的返回值fun1()，函数fun2的返回值fun2()都是右值，它们的值都没有特定的名字去引用。
也许有人会奇怪，fun2()也是右值？前面说的max(a,b)不是左值吗？请看清楚，函数fun2的返回值是pointer，pointer也是call by value，而函数max的返
回值是reference，reference是call by reference。
当然字面上的（literal）值，比如5，8.23，’a’等等也都是右值。
右值最初出现的时候，一个最大的特征就是不可改变。。但时代不同了，标准也变化了。
C++中有可以改变的右值。那就是用户自定义的类（class）的构造函数生成的临时对象。
至于原因，我思考了一下，我想是这样的：我们看类（class）的数据布置结构，会发现它的每一个数据成员都是有名字的，我想编译器在编译的过程中，都会生成一个外部不所知的对这个临时对象右值的名字引用。但当需要改变这个临时对象的时候，这个名字就用上了（实际这时变成了左值，因为有了名字引用）。
比如：
class Point
{
public:
int x;
……//其他各种成员函数
};
我们现在就可以改变右值，用到了匿名的引用名字。
Point().x = 6;//改变了右值

最后说一下引用的机制。很多人都在争论引用是怎么实现的？如果你看看vc做出的反汇编代码，你会发现在机器码的层次，指针与引用的实现是相同。但是，如果你以此断定引用就是指针，那么就错了。的确，引用是靠指针实现的，但是二者有区别。我们讨论引用的问题，一定要在c++的语言层面上讨论，而不能跑到汇编代码中去看。在c++中，引用就是个别名，本身不会另外分配空间。但是在汇编层次，你会发现“引用”有自己的空间。别忘了，你已经离开了c++ 的范围，这样的讨论失去了意义。总之，我们应该明白，c++中的引用就是个别名，具体的实现方法也要取决于编译系统和优化方案。

左值和右值这两个概念我想大家都耳熟能详了，但它们究竟是什么以及如何理解它运用它，一开始大家都会感觉比较困难。所以我想写这篇总结性的文章来帮助大家理解它们。希望对大家有帮助。

首先我们需要理解左值和右值的定义：

左值指的是如果一个表达式可以引用到某一个对象，并且这个对象是一块内存空间且可以被检查和存储，那么这个表达式就可以做为一个左值。

右值指的是引用了一个存储在某个内存地址里的数据。

从上面的两个定义可以看出，左值其实要引用一个对象，而一个对象在我们的程序中又肯定有一个名字或者可以通过一个名字访问到，所以左值又可以归纳为：左值表示程序中必须有一个特定的名字引用到这个值。而右值引用的是地址里的内容，所以相反右值又可以归纳为：右值表示程序中没有一个特定的名字引用到这个值除了用地址。

好这些都是从定义上理解左值右值，那么我们再用这些定义作为我们的理论基础来总结一下哪些是左值，哪些是右值：

左值：

Expression
Lvalue

x = 42
x

*ptr = newvalue
*ptr

a++
a++

b[0] = 100
b[0]

const int m = 10
m

int& f()
The function call to f()

右值：

Expression
Rvalue

100
100

a * b
The expression of a * b

int f()
The function call to f() that does not return reference

以上这些内容都可以用定义来解释为什么这些为左值，而那些为右值。但我要特殊解释一下为什么函数的调用只能作为右值除了这个函数返回的是引用。其实这个也非常好解释，因为如果一个函数返回的值是 内建类型，那么这个返回值是没有办法通过一个名字或者表达式引用到的，同理如果一个函数返回的是一个对象，那么这个对象是一个临时的，也不可能用一个名字访问到。所以函数的调用通常只能作为右值，但如果一个函数返回引用，那么它的返回值就有意义了，因为它是另一个名字的别名，有名字了，所以它就变成了左值。

注意：左值能转化为右值，但反之不行。

好了，讲了这么多我觉得已经足够，但还要多讲一点，这点就是哪些操作符必需左值.

Operator
Requirement

& (unary)
Operand must be an lvalue.

++ --
Operand must be an lvalue. This applies to both prefix and postfix forms.

= += -= *= %= <<= >>= &= ^= |=
Left operand must be an lvalue.

Answer 2

int& const aa(int & a)中的const是不是修饰aa的？是不是aa本来是个指针常量，就是地址。用const修饰aa不可更改，就像int * const a();一样，修饰返回的指针变量不可更改，而 int const *a();（等价于const int *a()）修饰返回的指针变量所指的内容不可通过引用指针更改（即*a()=5;是错误的）。而aa本来就是个常量，（aa是个函数入口地址对吗？）用const修饰没有意义。

Answer 3

,否则会造成内存泄漏(使用的内存没有即时释放,造成内存的浪费)

而A a在右大括号执行后,会自动释放内存
如
int main()
{
A a;//定义了一个a对象
A *p=new A;//在堆上定义了一个对象,它的指针保存在p里,注意,堆上定义的对象没有名字,必须用指针保存
return 0;
}//a到这里的时候,它占用的内存就会被回收 而p,除非调用delete p; 否则内存永远不会被回收,指针p丢弃后,那块内存没被释放,无法被再次使用,造成内存浪费

追问

跟我这个问题没什么关系。

Answer 4

const int& 指的是引用所指的值是个常量，你不能改变这个值；
int& const 指的是引用本身是个常量，不过对于引用来说这个没什么意义；

追问

引用有本省吗？本身是什么？我知道指针变量有本身和它所指内容的概念，但引用定义了之后，就直接用引用代表被引用的变量啊，就是一个别名。

追答

所以我说int& const没什么意义，它就一别名，本来如果换成其他类型的，都是有意义的，比如int * const ，char * const等

追问

可是你说的我还是不懂，我承认我蠢。
int& const aa(int & a)中的const是不是修饰aa的？是不是aa本来是个指针常量，就是地址。用const修饰aa不可更改，就像int * const a();一样，修饰返回的指针变量不可更改，而 int const *a();（等价于const int *a()）修饰返回的指针变量所指的内容不可通过引用指针更改（即*a()=5;是错误的）。而aa本来就是个常量，（aa是个函数入口地址对吗？）用const修饰没有意义。