如何在DML编译时检测对象是否为数组？

可以实现，但不能直接复用现有的SIM_is_xxx系列运行时方法——这类方法的设计目标是在程序运行时通过对象的实际内存布局、类型信息做判断，完全不涉及编译阶段的静态分析逻辑。

要在DML编译阶段完成数组检测，核心要依赖编译器的静态类型分析能力，具体可以从这几个方向入手：

• 解析DML代码生成的抽象语法树（AST），定位到目标对象的类型声明节点，直接判断该节点是否属于数组类型的语法范畴（比如带有[]标记、或是编译器内置的数组类型标识符）
• 如果涉及泛型、类型别名或动态类型推导场景，需要结合编译器的类型绑定逻辑，追踪目标对象的最终静态类型是否为数组
• 若DML编译器支持自定义扩展，可以编写编译期插件，在编译过程中对指定代码节点做校验，一旦发现非数组对象的违规使用，直接抛出编译错误终止构建

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