d的弱纯示例

​

​DonClugston​

​​最先发现的.假设我有带​

​成员函数​

​​的​

​结构​

​:

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

现在,即使在​

​强纯​

​​函数中,我也可以使用​

​弱纯​

​​函数,即使它通过​

​参数改变状态​

​:

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