d键尾不变应允许隐式从不变转为可变

原文
考虑:

struct Key
{
    immutable(int)[] reference;
}

struct Foo
{
    immutable(int)[Key] 哈希映;
}

void main()
{
    immutable Foo foo = Foo();
    Foo bar = foo;
}

"Key"显然是尾不变的.
所以'Foo'类似尾不变,因为不能改变'哈希映'的值,键.也不能通过头改变,因为不能在哈希映(不能引用,不能改变)时改变键头,也不能通过尾,因为键是尾不变的.
有个规则是,尾不变类型可隐式删除不变限定符,因为它们不会在暴露引用数据的进一步的可变性.比较:

immutable string a;
string b = a;

所以同样,Foo也应可转换为可变.
更简单示例:

immutable int[string] foo;
immutable(int)[string] bar = foo;

这应可以,因为如果转换它为:

immutable int[string] foo;
immutable(int)[string] bar = foo;
bar["foo"] = 5;
//不能修改`不变`的`'bar["foo"]'`表达式

可看到仍然保护了原'foo'的,所以应可隐式转换.