13用d编程值与引用类型

值类型是复制,是实体.
引用类型是钥匙.我觉得,为啥不用&表引用呢?太奇怪了.
引用变量就像钥匙,不是实体.但能够访问.
D中类是引用类型.复制一个类变量时,你得到一把钥匙.改变后面钥匙的值,前面的实体也改变了.除非你又分配了个新实体.
同样,分配关联数组时,也是一样,就像单例一样,除非你新分配一个实体,你其实复制的是一把钥匙.

    auto variable = new MyClass;
    variable.member = 1;

    auto variable2 = variable;   //还是那个
    variable2.member = 2;
    assert(variable.member == 2); //原来那个改了
//-----
 string[int] byName =
    [
        1   : "one",
        10  : "ten",
        100 : "hundred",
    ];

    string[int] byName2 = byName;//得到新钥匙

    byName2[4] = "four";//改了.

    assert(byName[4] == "four");//原来的实体也改了

只不过你复制的钥匙很强大.你可以按需修改.
切片,有两种类型,一种是钥匙,一种是实体.有的切片就是钥匙,复制得到一把钥匙后,就开始干活了.

    int[] slice1 = [ 10, 11, 12, 13, 14 ];
    int[] slice2 = [ 20, 21, 22 ];
    int[] slice3 = slice1[1 .. 3];
//干坏事的钥匙,破坏1切片
    slice3[0] = 777;
    assert(slice1 == [ 10, 777, 12, 13, 14 ]);
    slice3 = slice2[$ - 1 .. $];
//干坏事的钥匙,破坏2切片
    slice3[0] = 888;
    assert(slice2 == [ 20, 21, 888 ]);
//同样的,搞破坏.
 auto variable1 = new MyClass;
    variable1.member = 1;

    auto variable2 = new MyClass;
    variable2.member = 2;

    auto aCopy = variable1;
    aCopy.member = 3;

    aCopy = variable2;
    aCopy.member = 4;

    assert(variable1.member == 3);
    assert(variable2.member == 4);

这样:
MyClass variable;,为无效的空引用.此时还未创建这个类.是个空指针
固定长度数组是值类型,切片是引用类型(有钥匙/实体之分).

    int[3] array1 = [ 10, 20, 30 ];
    auto array2 = array1; //复制实体,
    array2[0] = 11;
    assert(array1[0] == 10);//未受影响

模块变量,全模块都能访问的全局变量.在所有函数外.
引用类型可为无效,即一把还未说明指向谁的钥匙.