d参数到参数导致错误赋值

原文

@safe:
int global;

auto f(int* x, int* y)
{//xy推导为域.
    x = y;
    global++; // 确保不是从pure中推导为域
}

void g(scope int* z)
{
    f(z, z); // 通过
}

按scope显式标记x和y时,会出错:把x域赋值给生命期更长的y变量.
显然,推导域参数并不关心参数的相对生命期,这在具有析构函数时是有问题的.