d不应为@信任推导域和中

原文
应编译,但未编译:

struct MyType
{ private @system int* _content;
  // 设计为_content永不局部数据
  @trusted pure this(return ref int i){_content = new int(i);}
  // 注意,未标记为`中域`,应返回`非域`指针
  @trusted pure scope content(){return _content;}
}

@safe void main()
{ int* outer;
  if(true)
  { int inner;
    // 故意按域推导.
    auto myVar = MyType(inner);
    // 应允许
    outer = myVar.content;
  }
}

参考
错误是,myVar域变量赋值给更长生命期的outer了.
这是正确的错误信息.outer的寿命比inner的区间长,所以置outer为inner是错误的.
如果需要编译,请从main()中删除@safe.
推导域是D的一个特性.根据是否标记域指针函数为@safe,来检查域指针.是按设计工作的.