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);
}
对自动函数
,应在"中
"推导中修复.它应该查找返回
嵌套类的实例
.