本文详解 optapy 中因 python enum.enum 类型注解引发的 java.lang.verifyerror: bad type on operand stack 错误成因，并提供可立即生效的绕过方案、最佳实践建议及完整修复示例。
在使用 OptaPy 构建飞行员排班（Pilot Rostering）系统时，开发者常会定义如 AvailabilityType 这样的枚举类来表示飞行员可用性状态（如 DESIRED、UNDESIRED、UNAVAILABLE）。然而，当该枚举被用作 @optapy.problem_fact 类（例如 Availability）的字段类型注解时，OptaPy 的 Java-Python 字节码翻译器（jpyinterpreter）会在类加载阶段触发 VerifyError —— 典型错误信息为：
java.lang.VerifyError: Bad type on operand stack Reason: Type 'org/optaplanner/jpyinterpreter/PythonLikeObject' is not assignable to 'org/optaplanner/jpyinterpreter/types/PythonLikeType'
该错误本质是 OptaPy 当前版本（≤1.10.x）对 enum.Enum 的静态编译支持存在缺陷：其字节码生成器在处理带 enum.Enum 类型注解的 problem fact 类时，错误地将枚举值当作 PythonLikeObject 推入操作数栈，但后续指令期望的是更具体的 PythonLikeType 子类型，导致 JVM 验证失败。
✅ 立即生效的修复方案：移除枚举类型注解
最直接、安全且兼容性最强的解决方式是移除 Availability 类中对 AvailabilityType 的类型提示，改用运行时赋值 + 显式文档说明：
# ❌ 错误写法（触发 VerifyError）
@optapy.problem_fact
class Availability:
pilot: Pilot # ✅ 允许（Pilot 是 problem_fact）
date: datetime.date # ✅ 允许（datetime.date 是基础类型）
availability_type: AvailabilityType # ⚠️ 导致崩溃！移除此行类型注解
def __init__(self, pilot=None, date=None, availability_type=None):
self.pilot = pilot
self.date = date
self.availability_type = availability_type # 值仍可正常传入# ✅ 正确写法（绕过编译器限制）
@optapy.problem_fact
class Availability:
# 移除 availability_type 的类型注解
pilot: Pilot
date: datetime.date
# availability_type: AvailabilityType ← 删除此行
def __init__(self, pilot=None, date=None, availability_type=None):
self.pilot = pilot
self.date = date
self.availability_type = availability_type # 实际值不受影响
def __str__(self):
return f'Availability(pilot={self.pilot}, date={self.date}, availability_type={self.availability_type})'? 原理说明：移除类型注解后，AvailabilityType 不再被 jpyinterpreter 在类定义阶段强制翻译为 Java 类；而是在求解过程中（如约束流访问 availability_type 字段时），OptaPy 会以“动态 Python 对象指针”方式处理该字段——这种延迟解析机制天然规避了静态翻译的类型校验冲突。
⚠️ 注意事项与增强实践
- 枚举定义本身无需修改：AvailabilityType(enum.Enum) 可保持原样，仅需避免在 @problem_fact / @planning_entity 类中作为字段类型注解。
-
约束流中仍可安全使用枚举值：在 ConstraintProvider 中访问 availability.availability_type 是完全可行的，例如：
def define_constraints(constraint_factory: ConstraintFactory): return [ constraint_factory.forEach(Availability) .filter(lambda a: a.availability_type == AvailabilityType.UNAVAILABLE) .penalize("Unavailable pilot assigned", HardSoftScore.ONE_HARD) ] -
推荐添加运行时类型检查（可选）：提升代码健壮性：
def __init__(self, pilot=None, date=None, availability_type=None): self.pilot = pilot self.date = date if availability_type is not None and not isinstance(availability_type, AvailabilityType): raise TypeError(f"availability_type must be AvailabilityType, got {type(availability_type)}") self.availability_type = availability_type - 避免在 @planning_solution 字段中使用枚举注解：同理，PilotSchedule 中若存在类似 status: ScheduleStatus 注解，也应移除。
? 总结
| 问题根源 | OptaPy 编译器对 enum.Enum 类型注解的静态翻译存在类型栈不匹配 Bug（GitHub #146） |
|---|---|
| 根本解法 | 升级至 OptaPy ≥1.11.0（待发布，已合并修复 PR） |
| 当前推荐方案 | 移除 problem fact/entity 类中所有 enum.Enum 字段的类型注解，保留运行时赋值逻辑 |
| 不影响功能 | 枚举值的序列化、约束计算、求解结果完整性均不受影响 |
遵循上述方案，您即可立即解除 VerifyError，顺利推进飞行员排班模型开发。同时建议关注 OptaPy GitHub Releases 获取官方修复版本更新。
