详解C++引用变量时那些你不知道的东西

引用变量延迟绑定

我们知道引用变量定义时要立刻赋值,告诉编译器他是谁的引用.如果不赋值,编译会失败.

如果引用变量是单个定义的,对他赋值还比较简单.

struct test_T
{
	int data;
	//...其他成员
	test_T(int _data = 0) :data(_data){}
};

struct SaveTest
{
	test_T & ref;
	//...其他成员
	SaveTest(test_T & _ref) :ref(_ref){}
};

int main(void)
{
	test_T *t   = new test_T[2];
	SaveTest *s = new SaveTest[2]{t[0], t[1]};

	for (int i = 0; i < 2; i++){
		t[i].data = i + 1;
	}

	for (int i = 0; i < 2; i++){
		printf("%d ", s[i].ref.data);
	}

	return 0;
}

如果数组很大.就不方便了.不方便用{}一个一个赋值了.

struct test_T
{
	int data;
	//...其他成员
	test_T(int _data = 0) :data(_data){}
};

struct SaveTest
{
	test_T & ref;
	//...其他成员
	SaveTest(test_T & _ref) :ref(_ref){}
};

int main(void)
{
	test_T *t   = new test_T[2000];
	SaveTest *s = new SaveTest[2000];//没有用{},编译直接报错

	for (int i = 0; i < 2000; i++){
		t[i].data = i + 1;
	}

	for (int i = 0; i < 20; i++){
		printf("%d ", s[i].ref.data);
	}

	return 0;
}

我的想法是:先要骗过编译器,调用SaveTest构造函数的时候先赋个默认值,真正的我们用的对象

引用,后面再慢慢赋值给它.

struct test_T
{
	int data;
	//...其他成员
	test_T(int _data = 0) :data(_data){}
};
//******************************增加全局唯一默认值
test_T default_test(-1);
//******************************
struct SaveTest
{
	test_T & ref;
	//...其他成员               修改构造函数
	SaveTest(test_T & _ref = default_test) :ref(_ref){}
};

int main(void)
{
	test_T *t   = new test_T[2000];
	SaveTest *s = new SaveTest[2000];//编译ok

	for (int i = 0; i < 10; i++){
		t[i].data = i + 1;
		s[i].ref = t[i];//重新赋值
	}

	for (int i = 0; i < 10; i++){
		printf("%d ", s[i].ref.data);
	}

	return 0;
}

输出:

怎么会这样???.(我现在还是不理解)

通过上面的方式,可以做到延迟赋值,但是赋值很奇怪,单个可以被修改,但是所有成员的ref都会一起被更改,真是秀儿~.

行,那就只能换个思路了.引用不能延迟赋值,指针类型可以吧,我用指针类型.

struct test_T
{
	int data;
	//...其他成员
	test_T(int _data = 0) :data(_data){}
};
//******************************全局唯一默认值
test_T default_test(-1);
//******************************
struct SaveTest
{
	test_T * ref;
	//...其他成员
	SaveTest(test_T * _ref = nullptr) :ref(_ref){}
};

int main(void)
{
	test_T *t   = new test_T[2000];
	SaveTest *s = new SaveTest[2000];//编译ok

	for (int i = 0; i < 10; i++){
		t[i].data = i + 1;
		s[i].ref = &t[i];//重新赋值
	}

	for (int i = 0; i < 10; i++){
		printf("%d ", s[i].ref->data);
	}

	return 0;
}

哼~,可以了吧.

等一下,等一下,跑题了,虽然这样做可以,但是不是用的引用实现的啊.

练剑的最高境界就是无剑胜有剑,达到人剑合一,剑既是我,我既是剑.

是时候,让指针跟引用合二为一啦.

struct test_T
{
	int data;
	//...其他成员
	test_T(int _data = 0) :data(_data){}
};

union MyUnion
{
	test_T * ptr;
	test_T & ref;
	MyUnion(){}
};
struct SaveTest
{
	MyUnion u;
	//...其他成员
	SaveTest(test_T& _ref){
		u.ptr = &_ref;
	}

	void set(test_T& _ref){
		u.ptr = &_ref;
	}
	test_T& get(){
		return u.ref;
	}
};

int main(void)
{
	test_T *t   = new test_T[2000];
	SaveTest *s = new SaveTest[2000];//编译ok

	for (int i = 0; i < 10; i++){
		t[i].data = i + 1;
		s[i].set(t[i]);//重新赋值
	}

	for (int i = 0; i < 10; i++){
		printf("%d ", s[i].get().data);
	}

	return 0;
}

使用者角度:

SaveTest *s = new SaveTest[2000];//只是定义变量,没有绑定
s[i].set(t[i]);//第一次具体赋值,绑定引用(站在使用者角度看)
s[i].get();//得到一个引用

内部:

每次保存的都是指针,每次使用的时候用引用.

从汇编角度,引用和指针,本是一家.

到此这篇关于详解C++引用变量时那些你不知道的东西的文章就介绍到这了,更多相关C++引用变量内容请搜索我们以前的文章或继续浏览下面的相关文章希望大家以后多多支持我们！