使用ctypes.Structure位字段无法正确设置值，求解决方法

问题背景 #

我在C语言中定义了带位字段的结构体，初始化后输出f1=1、f2=15、f3=-1、f4=-1，结构体大小为4字节，对应字节数据为b'\x01\x0f\x00\xe0'。但在Python 3.8.10和3.9.9中，用ctypes.Structure实现相同结构时，无论手动设置还是通过from_buffer_copy传入字节数据，f3和f4始终为0，无法得到预期的-1值。

经确认这是CPython已知的位字段符号处理bug，对应issue #59324、#97588，目前有PR #97702待合并修复，但当前版本需要临时解决方案。

临时解决方法 #

方法1：手动处理符号扩展 #

直接利用补码规则，在读取和赋值时手动完成符号位的扩展与转换：

import ctypes

class Demo(ctypes.Structure):
    _fields_ = [
        ("f1", ctypes.c_uint, 1),
        ("f2", ctypes.c_uint, 4),
        ("f3", ctypes.c_int, 7),
        ("f4", ctypes.c_int, 20)
    ]

def get_signed_value(raw_value, bit_width):
    mask = (1 << bit_width) - 1
    # 检查最高位是否为1，若是则计算补码对应的负数
    if raw_value & (1 << (bit_width - 1)):
        return raw_value - (1 << bit_width)
    return raw_value

def set_signed_value(signed_value, bit_width):
    mask = (1 << bit_width) - 1
    # 将有符号值转换为无符号位模式
    return signed_value & mask

# 手动赋值示例
demo = Demo()
demo.f1 = 1
demo.f2 = 15
demo.f3 = set_signed_value(-1, 7)
demo.f4 = set_signed_value(-1, 20)

# 读取时处理符号
print(f"f1={demo.f1}")
print(f"f2={demo.f2}")
print(f"f3={get_signed_value(demo.f3, 7)}")
print(f"f4={get_signed_value(demo.f4, 20)}")

# 从字节数据加载并处理
data = b'\x01\x0f\x00\xe0'
demo_from_buf = Demo.from_buffer_copy(data)
print(f"f3 from buf={get_signed_value(demo_from_buf.f3, 7)}")
print(f"f4 from buf={get_signed_value(demo_from_buf.f4, 20)}")

方法2：替换为无符号位字段，手动转换类型 #

将带符号位字段改为无符号类型，通过内置类型转换完成有符号值的读取：

import ctypes

class Demo(ctypes.Structure):
    _fields_ = [
        ("f1", ctypes.c_uint, 1),
        ("f2", ctypes.c_uint, 4),
        ("f3", ctypes.c_uint, 7),  # 改为无符号类型
        ("f4", ctypes.c_uint, 20)  # 改为无符号类型
    ]

# 赋值时直接传入对应位宽的全1无符号值（对应-1的补码）
demo = Demo()
demo.f1 = 1
demo.f2 = 15
demo.f3 = 0x7F  # 7位全1
demo.f4 = 0xFFFFF  # 20位全1

# 读取时转换为有符号值
print(f"f3={ctypes.c_int8(demo.f3).value}" if demo.f3 & 0x40 else demo.f3)
print(f"f4={ctypes.c_int32(demo.f4).value}" if demo.f4 & 0x80000 else demo.f4)

说明 #

• 两种方法均为临时绕过bug的方案，待PR #97702合并并推送正式版本后，可直接使用带符号位字段的正常赋值与读取。
• 转换时需注意位宽对应的补码范围：比如7位有符号位字段范围为-64_{63，20位范围为-524288}524287，确保值在对应区间内。

内容的提问来源于stack exchange，提问作者deltaWeeb