[D语言] D语言数组

先看一段代码：

void  main(){
     int [] c  =  [ 1 , 2 , 3 ];
     foreach (inout  int  i; c){
        writef( & i);
        writef( " ,  " );
    }
    writefln( "" );

    c.length  =   2 ;
     foreach (inout  int  i; c){
        writef( & i);
        writef( " ,  " );
    }
    writefln( "" );


    c.length  =   3 ;
     foreach (inout  int  i; c){
        writef( & i);
        writef( " ,  " );
    }
    writefln( "" );

    c.length  =   4 ;
     foreach (inout  int  i; c){
        writef( & i);
        writef( " ,  " );
    }
    writefln( "" );
}

它输出结果如下：

B7D19FB0, B7D19FB4, B7D19FB8,
B7D19FB0, B7D19FB4,
B7D19FB0, B7D19FB4, B7D19FB8,
B7D1CFA0, B7D1CFA4, B7D1CFA8, B7D1CFAC,

可以看到前3行地址相同，后面一行地址不同。为什么？

D语言的数组分配是内存紧凑的，当减小数组长度减小时，只需要修改切片大小而不需要重新分配。当长度变大时，也会检查原来的缓冲区是否够大，以确定是否需要重新分配空间。注意第2次操作时把长度恢复为原来大小时，并非真的恢复了原来的状态，后面长出来的元素会被初始化为默认值。

再来看一个：

void  main(){
     int [] c  =  [ 1 , 2 , 3 ];
     int [] d  =  c;

     foreach (inout  int  i; c){
        writef( & i);
        writef( " ,  " );
    }
    writefln( "" );

     foreach (inout  int  i; d){
        writef( & i);
        writef( " ,  " );
    }
    writefln( "" );

    d.length  =   2 ;

     foreach (inout  int  i; c){
        writef( & i);
        writef( " ,  " );
    }
    writefln( "" );

     foreach (inout  int  i; d){
        writef( & i);
        writef( " ,  " );
    }
    writefln( "" );

    d.length  =   4 ;

     foreach (inout  int  i; c){
        writef( & i);
        writef( " ,  " );
    }
    writefln( "" );

     foreach (inout  int  i; d){
        writef( & i);
        writef( " ,  " );
    }
    writefln( "" );
}

在执行int[] d = c;以后，d的确是和c共享了存储区。不过在改变d的长度以后，它就和c分道扬镳了。所以int[] d = c不能理解为d是一个指向c的引用，它实际上创建了一个新的数组对象，但并不拷贝数组元素，它和int[] d = c[0 .. length]是等价的，都是数组切片操作。

这个问题让我困惑不已。比如你用char[]表示一个单词，用char[][]表示一行，char[][][]表示多行。如何引用这个单词？你当然可以每次使用lines[i][j]，但如果处理步骤很多，这会不会看起来很头大？

看上去应该这样使用：

char [][][] lines;
char [][] line  =  lines[ 0 ];
line.length  =  line.length  +   1 ;
line[length  -   1 ]  =   " , " ;

可惜根据前面的结论，这将无法影响到lines。如果找不到一个引用类型指向数组，有时候使用起来还真是很麻烦。看起来把Line/Word包装成类是个勉强凑合的主意。。。