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; }
已修复.
浙公网安备 33010602011771号