原文
@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
变量.
显然,推导域参数
并不关心参数
的相对生命期,这在具有析构函数
时是有问题
的.