无符号整数上 Cython 中的 C 风格算术

Question

有没有一种简单的方法可以让左移和减法像在 C 中一样使用 Cython 处理无符号整数？

例如：

def left_shift(unsigned int x, unsigned int shift):
  return x << shift

def main():
  print left_shift(0xffffffff, 4)
  print left_shift(0xffffffff, 8)
  print left_shift(0xffffffff, 12)

我希望这会打印出相当于

的十进制数

0xfffffff0
0xffffff00
0xfffff000

这就是我得到的。

4294967280
4294967040
4294963200

但是，如果我尝试做一些更精细的事情，例如在大输入上使用 Jenkins 的哈希函数之一，我会得到：

def hash_fcn1(unsigned int key):
  key = (key ^ 0xdeadbeef) + (key << 4)
  key = key ^ (key >> 10)
  key = key + (key << 7)
  key = key ^ (key >> 13)
  return key

hash_fcn1(0xffffffff)

File "./hash_fcn_test.py", line 94, in <module>
    main()
  File "./hash_fcn_test.py", line 60, in main
    print hash_fcn1(0xffffffff)
  File "hash_fcns.pyx", line 6, in hash_fcns.hash_fcn1 (/home/medusa/.pyxbld/temp.linux-x86_64-2.7/pyrex/hash_fcns.c:854)
    key = (key ^ 0xdeadbeef) + (key << 4)
**OverflowError: value too large to convert to unsigned int**

当计算值导致负数时，也会出现类似的问题。有没有办法解决这些问题？我希望计算的行为就像它在 C 中一样。这要求太多了吗？我在网上搜索了一下，似乎通常的做法是按位和 (&) 每个结果都使用 MAX_INT，但这是非常沉重的。 p>

我可以在 Cython 编译器或其他地方设置一个标志吗？

Answer 1

我相信，cython 的算术类型取决于被操作的数字类型。我相信您的代码中的问题在这一行，key = (key ^ 0xdeadbeef) + (key << 4)。 Cython 将此行翻译为：

  __pyx_t_1 = __Pyx_PyInt_From_unsigned_int(__pyx_v_key); if (unlikely(!__pyx_t_1)) {__pyx_filename = __pyx_f[0]; __pyx_lineno = 13; __pyx_clineno = __LINE__; goto __pyx_L1_error;}
  __Pyx_GOTREF(__pyx_t_1);
  __pyx_t_2 = PyNumber_Xor(__pyx_t_1, __pyx_int_3735928559); if (unlikely(!__pyx_t_2)) {__pyx_filename = __pyx_f[0]; __pyx_lineno = 13; __pyx_clineno = __LINE__; goto __pyx_L1_error;}
  __Pyx_GOTREF(__pyx_t_2);
  __Pyx_DECREF(__pyx_t_1); __pyx_t_1 = 0;
  __pyx_t_1 = __Pyx_PyInt_From_long((__pyx_v_key << 4)); if (unlikely(!__pyx_t_1)) {__pyx_filename = __pyx_f[0]; __pyx_lineno = 13; __pyx_clineno = __LINE__; goto __pyx_L1_error;}
  __Pyx_GOTREF(__pyx_t_1);
  __pyx_t_3 = PyNumber_Add(__pyx_t_2, __pyx_t_1); if (unlikely(!__pyx_t_3)) {__pyx_filename = __pyx_f[0]; __pyx_lineno = 13; __pyx_clineno = __LINE__; goto __pyx_L1_error;}
  __Pyx_GOTREF(__pyx_t_3);
  __Pyx_DECREF(__pyx_t_2); __pyx_t_2 = 0;
  __Pyx_DECREF(__pyx_t_1); __pyx_t_1 = 0;
  __pyx_t_4 = __Pyx_PyInt_As_unsigned_int(__pyx_t_3); if (unlikely((__pyx_t_4 == (unsigned int)-1) && PyErr_Occurred())) {__pyx_filename = __pyx_f[0]; __pyx_lineno = 13; __pyx_clineno = __LINE__; goto __pyx_L1_error;}
  __Pyx_DECREF(__pyx_t_3); __pyx_t_3 = 0;
  __pyx_v_key = __pyx_t_4;

你可能想要的是这个key = (key ^ <unsigned int> 0xdeadbeef) + (key << 4)，它被翻译成：

__pyx_v_key = ((__pyx_v_key ^ ((unsigned int)0xdeadbeef)) + (__pyx_v_key << 4));

大不同吧:)。您可能会发现这里需要显式转换令人惊讶，但我认为这是有道理的。在 cython 中，一切的行为都与在 pytyhon 中的行为方式相同，除非明确告知要做一些不同的事情。此处 cython 将 0xdeadbeef 视为 python int 类型，除非您明确将其强制转换或将其分配给类型化变量。

如果您还没有使用它，我强烈建议您使用 cython -a 并查看创建的 html 文件。它根据每行可以直接转换为 c 的方式以不同的黄色阴影突出显示您的代码。它使捕捉此类微妙事物变得更加容易。