d的弱純示例

​

​DonClugston​

​​最先發現的.假設我有帶​

​成員函數​

​​的​

​結構​

​:

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

現在,即使在​

​強純​

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

​弱純​

​​函數,即使它通過​

​參數改變狀态​

​:

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