d不能复制空到空
原文
允许复制ubyte[]到ubyte[].但禁止从ubyte[]复制到int*[],因为重新按指针解释一堆字节是不安全的.
void[]问题是,可指向也有类型别名的内存.void[]和ubyte[]可指向同一内存.void[]和int*[]同样.因此,如果允许从void[]复制到void[],则允许危险的从ubyte[]复制到int*[].
如下:
void main() @safe
{
ubyte[] some_bytes = [1, 2, 3, 4, 5, 6, 7, 8];
int*[] some_pointers = [new int];
void[] v1 = some_bytes;
void[] v2 = some_pointers;
v2[] = v1[]; /*创建无效指针*/
int x = *some_pointers[0]; /*未定义行为*/
}
浙公网安备 33010602011771号