d通过异常逃逸是错的

原文
该问题的修复避免了通过返回值转义,但有个已知限制:即使不能通过参数/或返回值转义,仍可放纯函数参数进异常并抛出:

void f_throw(string x) @safe pure
{
    throw new Exception(x);//参数进异常,逃逸.
}

void escape_throw_20150() @safe
{
    immutable(char)[4] str;
    f_throw(str[]);
}

如函数可抛,则应禁止纯函数=>域参.

---

d作者:
因为是纯函数,编译器自动推断x参数的域,因为纯禁止在全局变量中存储,假定x不能逃逸.问题是未考虑到通过抛异常来转义.