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]; /*未定义行为*/
}
posted @ 2022-07-08 22:34  zjh6  阅读(14)  评论(0)    收藏  举报  来源