引用变量延迟绑定
我们知道引用变量定义时要立刻赋值,告诉编译器他是谁的引用.如果不赋值,编译会失败.
如果引用变量是单个定义的,对他赋值还比较简单.
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();//得到一个引用
内部:
每次保存的都是指针,每次使用的时候用引用.
从汇编角度,引用和指针,本是一家.
还有,上面那个问题,有兴趣的可以试一下,交流交流.
