看到大部分博客似乎都是这么写的

ull shift(ull x) {//来自 oi-wiki
  x ^= mask;
  x ^= x << 13;
  x ^= x >> 7;
  x ^= x << 17;
  x ^= mask;
  return x;
}

所以 x^=x<<13,x^=x>>7,x^=x<<17 的部分可以随便写参数吗、左移右移可以随便写吗。如果不可以有没有正确性证明的博客

/bx