CadQuery中Solid.isSolid()方法失效问题分析

问题背景

在CadQuery这个强大的参数化CAD建模框架中，Solid类提供了一个isSolid()静态方法，用于判断给定对象是否为实体(Solid)类型。然而，近期发现该方法存在一个关键性bug，导致其无法正确识别实体对象。

问题现象

当用户使用以下代码创建一个简单的长方体实体并尝试判断其类型时：

import cadquery as cq
part = cq.Workplane("XY").box(1,2,3)
test = cq.Solid.isSolid(part.val())
print("isSolid = ", test)

预期输出应为True，表示该对象确实是一个实体。但实际输出却是False，表明当前实现存在缺陷。

问题根源分析

通过查看CadQuery源代码，发现问题出在Solid.isSolid()方法的实现上。当前实现如下：

def isSolid(obj: Shape) -> bool:
    if hasattr(obj, "ShapeType"):
        if obj.ShapeType == "Solid" or (
            obj.ShapeType == "Compound" and len(obj.Solids()) > 0
        ):
            return True
    return False

关键错误在于代码直接访问了ShapeType属性，而实际上应该调用ShapeType()方法。在OCCT(Open CASCADE Technology)底层实现中，ShapeType是一个方法而非属性。

解决方案

正确的实现应该改为调用ShapeType()方法：

def isSolid(obj: Shape) -> bool:
    if hasattr(obj, "ShapeType"):
        if obj.ShapeType() == "Solid" or (
            obj.ShapeType() == "Compound" and len(obj.Solids()) > 0
        ):
            return True
    return False

这一修改确保了：

1. 正确调用OCCT底层的方法而非错误地访问属性
2. 保持原有逻辑不变，即同时检查Solid类型和包含实体的Compound类型
3. 维持方法签名和返回类型不变

影响范围

此bug影响所有使用Solid.isSolid()方法进行类型检查的代码，可能导致：

• 实体类型误判
• 基于类型检查的条件逻辑错误执行
• 自动化流程中的意外行为

临时解决方案

在官方修复发布前，用户可以采用以下任一临时解决方案：

1. 直接检查ShapeType()方法：

is_solid = part.val().ShapeType() == "Solid"

2. 创建自定义的isSolid函数：

def my_is_solid(obj):
    return obj.ShapeType() == "Solid" or (
        obj.ShapeType() == "Compound" and len(obj.Solids()) > 0
    )

总结

这个bug虽然看似简单，但提醒我们在封装底层库时需要特别注意方法调用与属性访问的区别。CadQuery作为OCCT的高级封装，这类问题尤其需要注意。开发者在使用类型检查方法时，应当验证其行为是否符合预期，特别是在关键逻辑中。