d域成功生成异常

原文

char inc(string s, ref int i) {
    scope(success) i++;
    return s[i];
}

void main() {
    int i;
    inc("string", i);
}

汇编代码略
它包含scope(success)语句不需要的异常处理代码,可看到异常被抓并立即重抛.
检查GDC和DMD显示它们,也包含异常处理代码,所以我假设这是由前端生成的.

前端降级为:

char inc(string s, ref int i)
{
    bool __os2 = false;
    try
    {
        try
        {
            return s[cast(ulong)i];
        }
        catch(Throwable __o3)
        {
            __os2 = true;
            throw __o3;
        }
    }
    finally
        if (!__os2)
            i++;
}

因此如果检查边界失败,跳过增量.使用-release等允许LLVM优化器去除所有EH样板文件.
'__os2'只有在没有触发异常时,才能为false.不必在此函数中发出异常处理代码,即使检查边界失败时,也是如此.
域成功要点是"退出域时使用普通控制流而不是异常处理来运行",因此在域(成功)不必发出异常处理代码.
仅对平凡代码有用.多中语句:

char inc(string s, ref int i) {
    scope(success) i++;
    if (s == null)
        return 0;
    if (s.length > 256)
        return 1;
    return s[i];
}

前端降级是有意义的.