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 @   zjh6  阅读(9)  评论(0编辑  收藏  举报  
相关博文:
阅读排行:
· 分享一个免费、快速、无限量使用的满血 DeepSeek R1 模型,支持深度思考和联网搜索!
· 基于 Docker 搭建 FRP 内网穿透开源项目(很简单哒)
· ollama系列01:轻松3步本地部署deepseek,普通电脑可用
· 25岁的心里话
· 按钮权限的设计及实现
点击右上角即可分享
微信分享提示