如何让ctypes Structure赋值不存在字段时抛出异常？

在给ctypes结构体的字段赋值时，若字段名拼写错误，程序不会抛出异常，但目标字段的值并未改变，极易埋下隐蔽bug：

structure.fieeld = 10  # 将field误写为fieeld，无报错但赋值无效

以下是几种可行的解决办法：

• 自定义严格结构体基类，重写__setattr__
  ctypes.Structure的__setattr__有内部逻辑，重写时需先判断属性是否为合法字段，非合法字段（且非内部下划线开头的属性）直接抛出异常：

  import ctypes
  
  class StrictStructure(ctypes.Structure):
      def __setattr__(self, name, value):
          # 检查属性是否为结构体定义的字段
          if hasattr(self, '_fields_'):
              valid_fields = {field[0] for field in self._fields_}
              if name not in valid_fields and not name.startswith('_'):
                  raise AttributeError(f"结构体{type(self).__name__}不存在字段'{name}'")
          super().__setattr__(name, value)
  
  # 测试示例
  class MyStruct(StrictStructure):
      _fields_ = [('field', ctypes.c_int)]
  
  s = MyStruct()
  s.field = 20  # 正常赋值
  print(s.field)  # 输出20
  s.fieeld = 10  # 抛出AttributeError: 结构体MyStruct不存在字段'fieeld'
  

• 利用__slots__限制可赋值属性
  通过__init_subclass__自动从_fields_提取字段名，结合ctypes内部必需的属性生成__slots__，限制结构体实例只能拥有指定属性：

  import ctypes
  
  class StrictStructure(ctypes.Structure):
      def __init_subclass__(cls):
          # 提取字段名并添加ctypes内部属性
          field_names = [field[0] for field in cls._fields_]
          cls.__slots__ = field_names + ['_b_base_', '_b_needsfree_']
  
  # 测试示例
  class MyStruct(StrictStructure):
      _fields_ = [('field', ctypes.c_int)]
  
  s = MyStruct()
  s.field = 30  # 正常赋值
  print(s.field)  # 输出30
  s.fieeld = 10  # 抛出AttributeError: 'MyStruct' object has no attribute 'fieeld'
  

• 使用静态类型检查工具提前发现错误
  借助mypy等静态类型检查工具，在编码阶段就能检测到字段名拼写错误。只需为结构体添加类型注解：

  import ctypes
  from typing import ClassVar
  
  class MyStruct(ctypes.Structure):
      _fields_: ClassVar[list[tuple[str, type]]] = [('field', ctypes.c_int)]
  
  s = MyStruct()
  s.fieeld = 10  # mypy会提示错误："MyStruct" has no attribute "fieeld"; maybe "field"?
  

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