[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包装成类是个勉强凑合的主意。。。

评论

4 楼 sofire 2007-08-06  

看错了，的确和你说的是一致的。：）

3 楼 sofire 2007-08-06  

我得到的结果有点不一样：
B7EF6FE0, B7EF6FE4, B7EF6FE8,
B7EF6FE0, B7EF6FE4,
B7EF6FE0, B7EF6FE4, B7EF6FE8,
B7EF8FE0, B7EF8FE4, B7EF8FE8, B7EF8FEC,

B7EF6FD0, B7EF6FD4, B7EF6FD8,
B7EF6FD0, B7EF6FD4, B7EF6FD8,
B7EF6FD0, B7EF6FD4, B7EF6FD8,
B7EF6FD0, B7EF6FD4,
B7EF6FD0, B7EF6FD4, B7EF6FD8,
B7EF8FC0, B7EF8FC4, B7EF8FC8, B7EF8FCC,

在linux下用的dmd v1.015编译的。

2 楼 qiezi 2007-04-17  

这里分析的是内存分配，初始化自然是必要的，D默认会对数组进行初始化，D文档里面已经描述了这一点。

1 楼 yayv 2007-04-17  

只测试了修改长度，如果修改内容呢？

我的测试结果是，增加长度，会把增加部分进行初始化，缩短长度则不会变化。

增加长度后，与原数组地址不同，再次赋值就将数据写入了不同的地址处。