d的弱纯示例

DonClugston最先发现的.假设我有带成员函数的结构:

struct S { int s; pure void set(int i) { s = i; }

现在,即使在强纯函数中,我也可以使用弱纯函数,即使它通过参数改变状态:

    pure int foo(int i) {
        S s;
        s.set(i);
        ...
        return whatever;
    }

即,弱纯函数效果像示例中那样,局部化时,可以从强纯函数调用它们,而强纯函数仍保持强纯.
这是非常酷的想法,我花了一点时间才明白,但Don坚持向我解释:-)

1参考
2参考