d闭包环境可泄露域变量

​​原文​​​ 最新101.0版本dmd​

​可接受​

​以下代码:

int global;
int* foo(scope int* p)@safe{
    auto dg=(return scope int* q)@safe return scope{
        return p;
    };
    return dg(&global);
}

auto qux()@safe{
    int x=10;
    int* p=&x;
    int* q=foo(p);
    return q;
}

void main()@safe{
    import std.stdio;
    auto p=qux();
    version(SMASH_STACK) writeln("粉碎栈");
    writeln(*p);
}      

化简为:

int global;
int* foo(scope int* p)@safe{
    auto dg=(return scope int* q)@safe return scope{
        return p;
    };
    return dg(&global);  <== 返回p的指针
}      

这不是问题,因为​

​编译器​

​​可识别p的​

​逃逸​

​​,并在堆的​

​闭包​

​​中分配​

​p​

​​.每当​

​嵌套函数​

​​变成​

​闭包​

​​时,就​

​堆分配​

​​.

对没有转换成​​

​闭包​

​​的​

​嵌套函数​

​​,在​

​堆分配​

​​的闭包中放​

​p​

​​,并对​

​'return dg(&global);​

​产生一个错误.