无法将常量（结构）类型附加到数组

Question

在一个结构体中，Shape I 有一个函数：

...
import graphics.line;

struct Shape {
    Line[] lines;

    void addLine(Line l) {
        lines ~= l;
    }
}

Line 也是一个结构体，但是当我将“in Line l”作为 addLine() 的参数声明时， 编译器出现错误：

shape.d(12)：错误：无法附加类型 const(Line) 来输入 Line[]

奇怪的是我在另一个模块中有一段类似的代码，并且它有效......所以我的问题是，为什么编译器在这种情况下对此不满意？

Answer 1

基本上，这是否有效取决于您的结构具有哪些成员。 中
存储类相当于const作用域。所以，写
void addLine(in Line l) 表示 l 是 const。由于 const 是
传递性，所有 Line l 结构成员也是 const。

然而，Shape 成员 Line[]lines 不是 const。所以，你正在尝试
将 const Line l 附加到非 const 的内容。这是否是
可能取决于 struct Line l 的所有成员的类型。如果全部
line 的成员具有值（复制）语义，此附加（这是一个
分配）是可能的。如果任何一个成员具有（某些）参考语义（例如
指针被复制），这种附加不再可能。否则，你
可以将 const Line lc 放入 addLines 中，但会得到一个非常量成员
行。通过这个，您可以使用引用语义更改值，
也间接改变了原始lc的值，从而违反了
const 保证，即 D 中 const 的传递性。

示例：

class C { }

struct Line {
    int i;
    // int* p;               // if you uncomment this, addLine fails
    // C c;                  // if you uncomment this, addLine fails
}

struct Shape { 
    Line[] lines;
    void addLine(in Line l) { lines ~= l; }
}

void main() { }

编辑： BTW，另一种使其工作的方法是更改​​ Line[]lines; 到 const(Line)[]lines;。该数组仅包含 const 元素，并且可以在 addLine 中附加 const l 。