Divide¶ 用途¶ 对两个值执行除法。 关键输入 / 输出¶ 输入:a, b (numeric)。 输出:数值结果。 成功 / 失败语义¶ 对有效数值输入成功。 除数为零或类型无效时失败。 重要限制¶ 数值类型的域检查由具体类型决定。 源码链接¶ Source code