unsigned long 能表示的最大值是 $18446744073709551615$（$2^{64}-1$），所以1 << 64 会溢出。

错误代码片段：1 << n - k - 1。