0
点赞
收藏
分享

微信扫一扫

d嵌套类悬空引用域外结构



import std.algorithm :, map;
import std.stdio;

struct S {
bool flag;
auto method() {
return [ 1 ].filter!(e => flag);
}
}

void main() @safe {
auto s = S(true);
writeln(s.method);

auto arr = [ s ];
writeln(arr[0].method);

auto mappedArray = arr.map!(e => e.method);
writeln(mappedArray.front);
writeln(mappedArray);
}
//期望:
[1]
[1]
[1]
[[1]]

//实际
[1]
[1]
[1]
[[]]

如下修改,可去掉:

auto method() {
auto _flag = flag;
return[1].filter!(e=>_flag);
}

更改​​flag​​​为整数值并​​打印​​​该值,表明在最后​​writeln​​​中,​​该值​​​已损坏为垃圾值.
似乎​​​λ​​​错误地关闭了结构​​临时​​​副本(​​map​​​参数作为​​局部变量​​​),执行​​λ​​​时该副本已出域.把​​.flag​​​显式复制到​​method()​​​中的局部变量,似乎会使它​​正确​​​的在​​堆上​​​分配.
即使按​​​@safe​​​标记​​main()​​​,使用​​-dip25-dip1000​​编译也无法解决该问题.

类似案例:

auto makeI(int m) @safe
{
static struct S
{
int m;
auto inner()
{
class I
{
auto get() @safe { return m; }
}
return new I;
}
}
scope s = S(m);
return s.inner();
}

void main() @safe
{
auto i = makeI(5);

function()
{
// clean stack
pragma(inline, false);
long[0x500] a = 0;
}();

assert(i.get() == 5);
}

对​​自动函数​​​,应在"​​中​​​"推导中修复.它应该查找​​返回​​​嵌套类的​​实例​​.


举报

相关推荐

0 条评论