C++ 引用的一点点猜想

没事逛了下bbs，发现了下面一个有意思的问题：

问题：

int *p = new int;
*p;
请问*p 返回的是int 的一个引用吧？

猛一看，感觉是的，于是写了段代码验证一下。

#include <iostream>
using namespace std;

int main()
{
	int &p = *(new int(1));
	cout << p << endl;

	delete &p;

	int *b = new int(3);

	cout << p << endl;
	return 0;
}

输出结果如下：

cyw@debian:~/test$ ./a.out
1
3

再看如下代码：

#include <iostream>
using namespace std;

int main()
{
	int *p = new int(1);
	cout << *p << endl;

	delete p;

	int *b = new int(3);

	cout << *p << endl;
	return 0;
}

输出结果:

cyw@debian:~/tools/test$ ./a.out 
1
3

由此可见，p始终是第一次在堆上new出来的那个int大小的内存的引用。

所以最上面的那个问题，×p可以看作是一个引用。

 

又记：

经过近日思索，感觉以上说法有些欠妥。

不妥之处在于引用的初始化，引用在生存期开始时初始化，并且没有空引用的概念，在整个引用的生存期内，引用本身是不可以变的。

但是×p不一样，首先p是可以改变的。想办法将p具有常量性，将如下代码进行更改：

int *p = new int(1);

改为：

int * const p = new int(1);

这时p在初始化后是不能改变。此时感觉×p离引用更近了一点。再从另一个角度来考虑，引用在它的生存期内一直指向它初始化时所指之物。那么看一下×p符不符合这个概念。

假如我把第二段代码修改一下：

#include <iostream>
using namespace std;

int main()
{
	int *p = new int(1);
	cout << *p << endl;

	delete p;

	char *b = new char(3);

	if ((long)p == (long)b)
		cout << "equal" << endl;

	cout << *p << endl;
	return 0;
}

输出结果为：

cyw@debian:~/tools/test$ ./a.out 
1
equal
3

此时×p指向的东西被默默的替换为char。此刻就会出现混乱。对b的操作结果和对p的操作结果有可能是不同的。

#include <iostream>
using namespace std;

int main()
{
	int *p = new int(1);
	cout << *p << endl;

	delete p;

	char *b = new char(-3);

	if ((long)p == (long)b)
		cout << "equal" << endl;

	cout << *p << endl;
	return 0;
}

输出结果为：

cyw@debian:~/tools/test$ ./a.out 
1
equal
253