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]; /*未定义行为*/
}