DonClugston
最先发现的.假设我有带成员函数
的结构
:
struct S { int s; pure void set(int i) { s = i; }
现在,即使在强纯
函数中,我也可以使用弱纯
函数,即使它通过参数改变状态
:
int foo(int i) {
S s;
s.set(i);
...
return whatever;
}
即,弱纯
函数效果像示例
中那样,局部化
时,可以从强纯
函数调用它们,而强纯
函数仍保持强纯
.
这是非常酷
的想法,我花了一点时间
才明白,但Don
坚持向我解释:-)
1参考2参考