d错误推导生命期

原文
化简示例:

@safe void check()
{
    int random;

    auto createGenerator() {
        return RndValueGen(&random);
    }

    scope gen = createGenerator;
}

struct RndValueGen
{
    int* rnd;
}

如果用等效指针替换结构:

@safe void check()
{
    int random;

    auto createGenerator() {
        int* p = &random;
        return p;
    }

    scope gen = createGenerator;
}

它确实成功编译.两者都应成功编译,因为结构只是指针的包装器.
更好的测试用例,有和没有错误信息:

@safe void check2() {
    int random;

    S create1() { return S(); }

    scope S gen1 = create1;  // 无误

    S create2() { return S(&random); }

    // 更长生命期的赋值给它
    scope S gen2 = create2;
  }

  struct S { int* r; }

已修复.

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