2

如果我调用函数

/** Check if all Elements, possibly recursively, of $(D x) are zero. */
bool allZero(T)(in T x) @safe pure nothrow {
    import std.range: isIterable;
    static if (isIterable!T) {
        foreach (ref elt; x) {
            if (!elt.allZero) { return false; }
        }
        return true;
    } else {
        return x == 0;
    }
}

使用静态数组，D 会foreach在发布模式下自动为我展开吗？

如果不能

/** Static Iota. */
import std.typetuple: TypeTuple;
template siota(size_t from, size_t to) { alias siotaImpl!(to-1, from) siota; }
private template siotaImpl(size_t to, size_t now) {
    static if (now >= to) { alias TypeTuple!(now) siotaImpl; }
    else                  { alias TypeTuple!(now, siotaImpl!(to, now+1)) siotaImpl; }
}

用于实现展开而不是foreach？

此外，DMD 是否有一个生成汇编代码的标志，以便我自己将来可以调查 DMD 生成的代码？

更新：到目前为止，这是我的解决方案。

/** Check if all Elements, possibly recursively, of $(D x) are zero. */
bool allZero(T, bool useStatic = true)(in T x) @safe pure nothrow { // TODO: Extend to support struct's and classes's'
    static        if (useStatic && isStaticArray!T) {
        foreach (ix; siota!(0, x.length)) {
            if (!x[ix].allZero) { return false; } // make use of siota?
        }
        return true;
    } else static if (isIterable!T) {
        foreach (ref elt; x) {
            if (!elt.allZero) { return false; }
        }
        return true;
    } else {
        return x == 0;
    }
}

它看起来好吗？

4

1 回答 1

5

使用静态数组 D 会自动为我展开 foreach 吗？

不，语言不能保证。一些实现（编译器）可能会展开循环作为优化。

如果不能，我的静态 iota (siota) 实现可以用来实现这一点吗？

是的，在元组上使用 foreach 会为每个“迭代”生成代码，从而有效地展开循环。

此外，DMD 是否有一个生成汇编代码的标志，以便我自己将来可以调查 DMD 生成的代码？

不，DMD 不能发出程序集列表。您可以使用反汇编程序（例如obj2asm或IDA）或其他编译器。

于 2014-02-06T22:55:48.160 回答