为什么这样可以精确枚举S的每个子集而不会无用枚举？

for (int s = S; s; s = (s - 1) & s)

每次去掉最前一个，不能枚举到所以子集吧。