无论@safe与否,从不变转为可变不好.
如果接受可变参数,但函数内不会修改它的,如C中函数,此时,丢弃常/不变不是未定义行为.仅当丢弃常/不变后又修改它们,才是未定义行为.
要尽量避免转换类型.
编译器允许不用.dup从不变转为可变,

int i;
i = "Hello";

就像上面一样.

() @相信我{ char[] palindrome = cast(char[])"回文串";  } ();

今天,你必须像上面这样:

() @trusted{ char[] palindrome = cast(char[])"回文串";  } ();

应该支持丢弃不变,比如对接常参数,
如果是@safe,则转换更冗长,来给个理由.
转换不变,还可支持垃集.转换就像说,我懂得起,莫叫唤.一般要避免cast.