c++ - 如何理解这段经典的宏定义？

#define POW(c) (1 << (c))  //2^c
#define MASK(c) (((unsigned long) -1) / POW(POW(c)) + 1)) //以2^c位为单位分组，相间的全0和全1
// MASK(0) = 55555555(h) = 01010101010101010101010101010101(b)
// MASK(1) = 33333333(h) = 00110011001100110011001100110011(b)
// MASK(2) = 0f0f0f0f(h) = 00001111000011110000111100001111(b)
// MASK(3) = 00ff00ff(h) = 00000000111111110000000011111111(b)
// MASK(4) = 0000ffff(h) = 00000000000000001111111111111111(b)

这是“求二进制中数位1的个数”( see: http://www.cnblogs.com/kaikai/archive/2006/02/15/330901.html)平行算法中经典的宏定义，POW 、 (unsigned long) -1) 和 算法思想 都可以理解，但是 (((unsigned long) -1) / POW(POW(c)) + 1)) 产生的“以2^c位为单位分组，相间的全0和全1”该如何理解呢？(一个全1的无符号数字除以2的2的幂的幂加1，为什么会产生这样相间的二进制结果呢？)

找了一些资料都只有对算法的解释没有对这个宏定义的解释，希望大神解答！~

Thank you!