引用变量延迟绑定

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

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 

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

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 

我的想法是:先要骗过编译器,调用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 

输出:

怎么会这样???.(我现在还是不理解)
通过上面的方式,可以做到延迟赋值,但是赋值很奇怪,单个可以被修改,但是所有成员的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 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 

使用者角度:
SaveTest *s = new SaveTest[2000];//只是定义变量,没有绑定
s[i].set(t[i]);//第一次具体赋值,绑定引用(站在使用者角度看)
s[i].get();//得到一个引用
内部:
每次保存的都是指针,每次使用的时候用引用.

从汇编角度,引用和指针,本是一家.
还有,上面那个问题,有兴趣的可以试一下,交流交流.