☰ OCaml 工具第 13 章 批量编译 (ocamlc)
本章介绍 OCaml 批量编译器 ocamlc ocamlrun
1 编译器概述ocamlc
链接阶段的输出是一个包含编译后的字节码的文件，该字节码可以由 OCaml 字节码解释器执行：名为 ocamlrun a.out
ocamlrun a.out arg 1 arg 2 … arg n 执行包含在 a.out arg 1 到 arg n 15 章。）
在大多数系统上，链接阶段生成的文件可以直接运行，如下所示：
./a.out arg 1 arg 2 … arg n 生成的文件具有可执行位，并且能够自行启动字节码解释器。
编译器能够在其内部阶段输出一些信息。如果传递了选项 -bin-annot .cmt .cmti -bin-annot
这些 .cmt .cmti
2 选项ocamlc -pack -a -c -output-obj -output-complete-obj
-a 使用命令行上给定的对象文件（.cmo .cma -o 如果传递了 -custom -cclib -ccopt .cma -custom -cclib -ccopt -noautolink
-absname 强制错误消息显示文件名的绝对路径。 -no-absname 不要尝试在错误消息中显示绝对文件名。 -annot 从 OCaml 4.11 开始已弃用。请改用 -bin-annot -args filename 从 filename 中读取附加的以换行符结尾的命令行参数。 -args0 filename 从 filename 中读取附加的以空字符结尾的命令行参数。 -bin-annot 以二进制格式转储有关编译的详细信息（类型、绑定、尾递归调用等）。文件 src .ml src .mli src .cmt src .cmti *.cmt *.cmti -bin-annot -annot -c 仅编译。抑制编译的链接阶段。源代码文件将被转换为编译后的文件，但不会生成可执行文件。此选项对于单独编译模块很有用。 -cc ccomp 在“自定义运行时”模式下链接时使用 ccomp 作为 C 链接器（请参见 -custom .c g++ clang++ -cc c++ -cclib -l libname 在“自定义运行时”模式下链接时，将 -l libname 选项传递给 C 链接器（请参见 -custom -ccopt option 将给定的选项传递给 C 编译器和链接器。例如，在“自定义运行时”模式下链接时，-ccopt -L dir 会导致 C 链接器在目录 dir 中搜索 C 库。（请参见 -custom -cmi-file filename 使用给定的接口文件对 ML 源文件进行类型检查以进行编译。当未指定此选项时，编译器会查找与正在编译的实现具有相同基本名称且位于同一目录中的 .mli 文件。如果找到这样的文件，编译器会在包含的目录中查找对应的 .cmi 文件，如果找不到则报告错误。 -color mode 启用或禁用编译器消息（尤其是警告和错误）中的颜色。支持以下模式
auto 使用启发式方法仅在输出支持颜色时启用颜色（与 ANSI 兼容的 tty 终端）； always 无条件启用颜色； never 禁用颜色输出。 如果未提供 -color OCAML_COLOR
如果未提供 -color OCAML_COLOR NO_COLOR TERM dumb
-error-style mode 控制错误消息和警告的打印方式。支持以下模式
short 仅打印错误及其位置； contextual 类似于 short contextual 如果未提供 -error-style OCAML_ERROR_STYLE
-compat-32 检查生成的字节码可执行文件是否可以在 32 位平台上运行，如果不能则发出错误信号。这在 64 位机器上编译字节码时非常有用。 -config 打印 ocamlc -config-var var 打印 -config -custom 以“自定义运行时”模式链接。在默认链接模式下，链接器会生成旨在与共享运行时系统 ocamlrun ocamlrun 22 章中所述的用户定义 C 函数静态链接 OCaml 代码。Unix: 绝不要对 ocamlc -custom strip Unix: 安全警告：绝不要对 ocamlc -custom -depend ocamldep-args 计算依赖项，就像 ocamldep ocamldep -dllib -l libname 安排在程序启动时由运行时系统 ocamlrun dll libname .so dll libname .dll -dllpath dir 将目录 dir 添加到共享 C 库的运行时搜索路径。在链接时，共享库将在标准搜索路径（与 -I -dllpath dir 存储在生成的执行文件中，ocamlrun 15.3 节中所述使用它。 -for-pack module-path 生成一个可以稍后作为使用 -pack .cmo ocamlc -for-pack P -c A.ml a..cmo ocamlc -pack -o P.cmo a.cmo -for-pack -g 在编译和链接时添加调试信息。为了能够使用 ocamldebug 20 章），以及在程序因未捕获的异常终止时生成堆栈回溯（参见第 15.2 节），需要此选项。 -no-g 不记录调试信息（默认）。 -i 在编译实现 (.ml .cmo .cmi .mli .mli -I directory 将给定目录添加到用于搜索编译后的接口文件 (.cmi .cmo .cma -cclib -lxxx -I -nostdlib 如果给定目录以 + -I +unix unix
-H directory 与 -I -I -impl filename 将文件 filename 编译为实现文件，即使其扩展名不是 .ml -intf filename 将文件 filename 编译为接口文件，即使其扩展名不是 .mli -intf-suffix string 将以 string 结尾的文件名识别为接口文件（而不是默认的 .mli -labels 在类型中不忽略标签，标签可以在应用程序中使用，并且带标签的参数可以以任何顺序给出。这是默认设置。 -linkall 强制链接库中包含的所有模块。如果未给出此标志，则不链接未引用的模块。在构建库（选项 -a -linkall -c -linkall -make-runtime 构建一个自定义运行时系统（在选项 -o ocamlc -use-runtime runtime-name 选项生成的字节码可执行文件。有关更多信息，请参见第 22.1.6 节。 -match-context-rows 设置模式匹配编译期间优化使用的上下文行数。默认值为 32。较低的值会导致编译速度更快，但代码优化程度更低。这个高级选项旨在用于模式匹配密集型程序导致编译时间显着增加的情况。 -no-alias-deps 不记录模块别名的依赖项。有关更多信息，请参见第 12.8 节。 -no-app-funct 禁用函子的应用行为。使用此选项，每个函子应用都会在其结果中生成新的类型，并且将同一个函子应用到同一个参数两次会导致两个不兼容的结构。 -noassert 不编译断言检查。请注意，特殊形式 assert false -noautolink 在链接 .cma -custom -cclib -ccopt -noautolink -nolabels 忽略类型中非可选的标签。标签不能在应用程序中使用，并且参数顺序变得严格。 -nostdlib 在搜索编译接口文件 (.cmi .cmo .cma -cclib -lxxx -I -o 输出文件 指定要生成的输出文件的名称。对于可执行文件，默认输出名称是 Unix 下的 a.out camlprog.exe -a -pack -output-obj -output-complete-obj -c -opaque 当本机编译器编译实现时，默认情况下它会生成一个 .cmx .cmx .cmx 自 4.04 起可用的 -opaque .mli -opaque .cmi .cmx .ml -opaque .cmx
使用此选项可能会降低生成的代码质量，但它会减少编译时间，无论是在干净的构建中还是在增量构建中。实际上，使用本机编译器，当编译单元的实现发生变化时，所有依赖它的单元可能都需要重新编译——因为跨模块信息可能已更改。如果实现发生变化的编译单元是在使用 -opaque
-open 模块 在处理接口或实现文件之前打开给定的模块。如果给出了多个 -open open! Module1 ;; ... open! ModuleN ;; -output-obj 使链接器生成 C object 文件而不是字节码可执行文件。这在将 OCaml 代码包装为 C 库时很有用，可以从任何 C 程序调用。请参阅第 22 章，第 22.7.5 节。必须使用 -o .c .so .dll -output-complete-exe 通过链接包含字节码程序的 C object 文件、OCaml 运行时系统以及传递给 ocamlc -custom ocamldebug strip -output-complete-obj 与 -output-obj -pack 构建一个字节码 object 文件 (.cmo .cmi .cmo -o .cmo ocamlc -pack -o p.cmo a.cmo b.cmo c.cmo
生成编译文件 p.cmo p.cmi A B C a.cmo b.cmo c.cmo P.A P.B P.C -pp 命令 使编译器将给定的 命令 作为每个源文件的预处理器调用。命令 的输出被重定向到一个中间文件，该文件被编译。如果没有编译错误，中间文件随后会被删除。 -ppx 命令 在解析之后，通过预处理器 命令 传递抽象语法树。模块 Ast_mapper 30 章中描述： Ast_mapper ）实现了预处理器的外部接口。 -principal 在类型检查期间检查信息路径，以确保所有类型都是以主要方式推导的。在使用带标签的参数和/或多态方法时，需要此标志才能确保编译器的未来版本能够正确推断类型，即使内部算法发生变化。在 -principal -rectypes 在类型检查期间允许任意递归类型。默认情况下，只支持递归类型，其中递归通过对象类型进行。请注意，在使用此标志创建接口后，必须为所有依赖项再次使用它。 -runtime-variant 后缀 将 后缀 字符串添加到程序使用的运行时库的名称中。目前，只支持一个这样的后缀：d -with-debug-runtime -safe-string 强制 string bytes -safer-matching 不要使用类型信息来优化模式匹配。这允许即使模式匹配被错误地假定为是穷举的，也能检测到匹配失败。这只会影响 GADT 和多态变体编译。 -short-paths 当类型在多个模块路径下可见时，在推断接口以及错误和警告消息中打印类型名称时使用最短的路径。以下划线 _ __ -stop-after 通过 在给定的编译阶段后停止编译。当前支持的阶段为：parsing typing -strict-sequence 强制每个序列的左侧部分具有 unit 类型。 -strict-formats 拒绝在旧版格式实现中被接受的无效格式。您应该使用此标志来检测和修复此类无效格式，因为它们将被未来的 OCaml 版本拒绝。 -unboxed-types 当类型是可拆箱的（即只有一个参数的记录或只有一个参数的构造函数的具体数据类型）时，它将被拆箱，除非用 [@@ocaml.boxed] -no-unboxed-types 当类型是可拆箱的时，它将被装箱，除非用 [@@ocaml.unboxed] -unsafe 关闭数组和字符串访问的边界检查（v.(i) s.[i] -unsafe -unsafe Division_by_zero -unsafe-string 识别 string bytes -use-runtime 运行时名称 生成一个字节码可执行文件，该文件可以在自定义运行时系统 运行时名称 上执行，该系统之前使用 ocamlc -make-runtime 运行时名称 构建。有关更多信息，请参见第 22.1.6 节。 -v 打印编译器的版本号和标准库目录的位置，然后退出。 -verbose 在执行所有外部命令之前打印它们，特别是以 -custom -version -vnum 以简短形式打印编译器的版本号（例如 3.11.0 -w warning-list 启用、禁用或将参数 warning-list 指定的警告标记为致命。每个警告可以启用 或禁用 ，并且每个警告可以致命 或非致命 。如果禁用警告，则不会显示它，也不会以任何方式影响编译（即使它是致命的）。如果启用警告，则编译器会在源代码触发它时正常显示它。如果它被启用并且是致命的，则编译器还会在显示它后停止并显示错误。warning-list 参数是一系列警告说明符，它们之间没有分隔符。警告说明符是以下之一
+ num 启用警告编号 num 。 - num 禁用警告编号 num 。 @ num 启用并标记为致命警告编号 num 。 + num1 ..num2 启用给定范围内的警告。 - num1 ..num2 禁用给定范围内的警告。 @ num1 ..num2 启用并标记为给定范围内的致命警告。 + letter 启用与 letter 相对应的警告集。该字母可以是大写或小写。 - letter 禁用与 letter 相对应的警告集。该字母可以是大写或小写。 @ letter 启用并标记为与 letter 相对应的致命警告集。该字母可以是大写或小写。 uppercase-letter 启用与 uppercase-letter 相对应的警告集。 lowercase-letter 禁用与 lowercase-letter 相对应的警告集。 或者，warning-list 可以使用其助记符名称（见下文）指定单个警告，如下所示
+ name 启用警告 name 。 - name 禁用警告 name 。 @ name 启用并标记为致命警告 name 。 目前未定义的警告编号、字母和名称将被忽略。警告如下（每个编号后的名称指定该警告的助记符）。
1 comment-start 可疑的注释开始标记。 2 comment-not-end 可疑的注释结束标记。 3 已弃用，是 "deprecated" 警告的同义词。 4 fragile-match 脆弱的模式匹配：即使向匹配的变体类型之一添加了其他构造函数，匹配也将保持完整。 5 ignored-partial-application 部分应用函数：结果具有函数类型并被忽略的表达式。 6 labels-omitted 函数应用中省略的标签。 7 method-override 方法被重写。 8 partial-match 部分匹配：模式匹配中缺少的 case。 9 missing-record-field-pattern 记录模式中缺少字段。 10 non-unit-statement 序列左侧的表达式不具有类型 unit 11 redundant-case 模式匹配中多余的 case（未使用的匹配 case）。 12 redundant-subpat 模式匹配中多余的子模式。 13 instance-variable-override 实例变量被重写。 14 illegal-backslash 字符串常量中非法的反斜杠转义。 15 implicit-public-methods 私有方法隐式地变为公共方法。 16 unerasable-optional-argument 不可擦除的可选参数。 17 undeclared-virtual-method 未声明的虚方法。 18 not-principal 非主要类型。 19 non-principal-labels 没有主要性的类型。 20 ignored-extra-argument 未使用的函数参数。 21 nonreturning-statement 非返回值语句。 22 preprocessor 预处理器警告。 23 useless-record-with 无用的记录 with 24 bad-module-name 错误的模块名称：源文件名不是有效的 OCaml 模块名称。 25 忽略：现在是警告 8 的一部分。 26 unused-var 可疑的未使用变量：未使用变量，它使用 let as _ 27 unused-var-strict 无害的未使用变量：未使用变量，它不使用 let as _ 28 wildcard-arg-to-constant-constr 作为常量构造函数参数给出的通配符模式。 29 eol-in-string 字符串常量中未转义的换行符（不可移植的代码）。 30 duplicate-definitions 两个相互递归类型中定义了两个具有相同名称的标签或构造函数。 31 module-linked-twice 同一个可执行文件中两次链接同一个模块。 I gnored：现在是一个硬错误（从 5.1 开始）。 32 unused-value-declaration 未使用的值声明。（从 4.00 开始） 33 unused-open 未使用的 open 语句。（从 4.00 开始） 34 unused-type-declaration 未使用的类型声明。（从 4.00 开始） 35 unused-for-index 未使用的 for 循环索引。（从 4.00 开始） 36 unused-ancestor 未使用的祖先变量。（从 4.00 开始） 37 unused-constructor 未使用的构造函数。（从 4.00 开始） 38 unused-extension 未使用的扩展构造函数。（从 4.00 开始） 39 unused-rec-flag 未使用的 rec 标志。（从 4.00 开始） 40 name-out-of-scope 在作用域之外使用的构造函数或标签名称。（从 4.01 开始） 41 ambiguous-name 模棱两可的构造函数或标签名称。（从 4.01 开始） 42 disambiguated-name 消歧的构造函数或标签名称（兼容性警告）。（从 4.01 开始） 43 nonoptional-label 非可选标签用作可选标签。（从 4.01 开始） 44 open-shadow-identifier open 语句隐藏了已定义的标识符。（从 4.01 开始） 45 open-shadow-label-constructor open 语句隐藏了已定义的标签或构造函数。（从 4.01 开始） 46 bad-env-variable 环境变量中的错误。（从 4.01 开始） 47 attribute-payload 非法的属性有效负载。（从 4.02 开始） 48 eliminated-optional-arguments 隐式消除可选参数。（从 4.02 开始） 49 no-cmi-file 查找模块别名时缺少 cmi 文件。（从 4.02 开始） 50 unexpected-docstring 意外的文档注释。（从 4.03 开始） 51 wrong-tailcall-expectation 用不正确的 @tailcall 属性注释的函数调用。（从 4.03 开始） 52 fragile-literal-pattern 13.5.3 ) 脆弱的常量模式。（从 4.03 开始） 53 misplaced-attribute 属性不能出现在此上下文中。（从 4.03 开始） 54 duplicated-attribute 属性在一个表达式上使用多次。（从 4.03 开始） 55 inlining-impossible 内联不可能。（从 4.03 开始） 56 unreachable-case 模式匹配中无法到达的 case（基于类型信息）。（从 4.03 开始） 57 ambiguous-var-in-pattern-guard 13.5.4 ) 保护下的模棱两可的或模式变量。（从 4.03 开始） 58 no-cmx-file 缺少 cmx 文件。（从 4.03 开始） 59 flambda-assignment-to-non-mutable-value 对非可变值的赋值。（从 4.03 开始） 60 unused-module 未使用的模块声明。（从 4.04 开始） 61 unboxable-type-in-prim-decl 基本类型声明中的不可拆箱类型。（从 4.04 开始） 62 constraint-on-gadt GADT 类型声明上的类型约束。（从 4.06 开始） 63 erroneous-printed-signature 错误的打印签名。（从 4.08 开始） 64 unsafe-array-syntax-without-parsing -unsafe 与返回语法树的预处理器一起使用。（从 4.08 开始） 65 redefining-unit 定义新的 '()' 构造函数的类型声明。（从 4.08 开始） 66 unused-open-bang 未使用的 open! 语句。（从 4.08 开始） 67 unused-functor-parameter 未使用的函子参数。（从 4.10 开始） 68 match-on-mutable-state-prevent-uncurry 取决于可变状态的模式匹配阻止其余参数被展开。（从 4.12 开始） 69 unused-field 未使用的记录字段。（自 4.13 起） 70 missing-mli 缺少接口文件。（自 4.13 起） 71 unused-tmc-attribute 未使用的 @tail_mod_cons 属性。（自 4.14 起） 72 tmc-breaks-tailcall @tail_mod_cons 转换将尾递归调用变成了非尾递归调用。（自 4.14 起） 73 generative-application-expects-unit 生成式函子被应用于空结构（struct end）而不是 ()。（自 5.1 起） A 所有警告 C 警告 1、2。 D 警告 3 的别名。 E 警告 4 的别名。 F 警告 5 的别名。 K 警告 32、33、34、35、36、37、38、39。 L 警告 6 的别名。 M 警告 7 的别名。 P 警告 8 的别名。 R 警告 9 的别名。 S 警告 10 的别名。 U 警告 11、12。 V 警告 13 的别名。 X 警告 14、15、16、17、18、19、20、21、22、23、24、30。 Y 警告 26 的别名。 Z 警告 27 的别名。 默认设置为 -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 ocamlc -help
-warn-error warning-list 将参数 warning-list 中指定的警告标记为致命错误。当发出这些警告中的一个时，编译器将停止并报错。 warning-list 与 -w + - @ 注意：不建议在生产代码中将警告集（即字母）用作 -warn-error
默认设置为 -warn-error -a
-warn-help 显示所有可用警告编号的描述。 -where 打印标准库的位置，然后退出。 -with-runtime 在生成的程序中包含运行时系统。这是默认设置。 -without-runtime 编译器不会在生成的程序中包含运行时系统（也不包含对它的引用）；它必须单独提供。 - file 将 file 作为文件名处理，即使它以破折号 (- -help --help 显示简短的用法摘要并退出。 上下文 CLI 控制命令行选项的上下文控制
编译器命令行可以通过以下机制“从外部”进行修改。这些是实验性的，可能会发生变化。它们应该只用于实验和开发工作，而不是在发布的包中使用。
OCAMLPARAM 一组参数，将在命令行参数之前或之后插入。参数在 name=value _ a=x,_,b=y a=x b=y :|; , ocaml_compiler_internal_params 文件名到参数列表的映射，这些参数将添加到命令行（和 OCAMLPARAM 3 模块和文件系统本节简要说明与编译单元对应的模块名称和包含其编译接口和编译实现的文件名称之间的关系。
编译器总是通过获取源文件（.ml .mli .ml .mli mylib/misc.ml Misc Misc. name 名字下引用 mylib/misc.ml open Misc name 。
编译器生成的 .cmi .cmo .cmi .cmo
当编译器遇到对自由模块标识符 Mod Mod.cmi mod.cmi .cmi .cmi -I .cmi
另一方面，编译后的字节码文件（.cmo .cmo .cmo
4 常用错误本节描述和解释最常见的错误消息。
找不到文件 filename 在当前目录或搜索路径的目录中都找不到指定的文件。 filename 是一个编译接口文件（.cmi .cmo filename 格式为 mod .cmi mod 中标识符的文件，但您尚未为模块 mod 编译接口。解决方法：先编译 mod .mli mod .ml mod .cmi 如果 filename 格式为 mod .cmo mod .ml
如果您的程序跨越多个目录，则此错误也可能出现，因为您没有指定要查找的目录。解决方法：在命令行中添加正确的 -I
编译接口 filename 已损坏 当编译器尝试读取结构错误的编译接口文件（.cmi .cmi .cmi .cmi 此表达式类型为 t 1 ，但被用作类型 t 2 这是程序中最常见的类型错误。类型 t 1 是表达式（错误消息中显示的程序部分）推断出的类型，通过查看表达式本身得出。类型 t 2 是表达式上下文期望的类型；它是通过查看表达式值在程序其余部分中的使用方法来推断的。如果两种类型 t 1 和 t 2 不兼容，则会产生上述错误。在某些情况下，很难理解为什么两种类型 t 1 和 t 2 不兼容。例如，编译器可能会报告“类型为 foo foo foo
type foo = A | B
let f = function A -> 0 | B -> 1
type foo = C | D
f C
这会导致错误消息“表达式 C foo foo
此表达式的类型 t 包含无法泛化的类型变量 类型变量 ('a 'b t 中可以处于两种状态之一：泛化（这意味着类型 t 对变量的所有可能实例化都是有效的）和非泛化（这意味着类型 t 仅对变量的一个实例化有效）。在 let let name = expr 中，类型检查器通常会尽可能地泛化 expr 类型的类型变量。但是，这会导致与多态可变数据结构结合的不健全性（类型良好的程序可能会崩溃）。为了避免这种情况，泛化仅在绑定表达式 expr 属于“语法值”类别时才在 let expr 是函数调用），可能会创建多态可变，因此对于出现在类型协变分支或非协变分支中的所有变量，泛化都被关闭。例如，如果非值的类型是 'a list list 'a list -> 'a list -> 'a ref ref 类型中非泛化的类型变量在给定结构或编译单元（.ml .cmi name ，其类型包含非泛化的类型变量时，编译器会发出一个错误。有两种方法可以解决此错误
添加类型约束或 .mli name 提供单态类型（没有类型变量）。例如，而不是写 let sort_int_list = List.sort Stdlib.compare
(* inferred type 'a list -> 'a list, with 'a not generalized *)
写 let sort_int_list = (List.sort Stdlib.compare : int list -> int list);;
如果您真的需要 name 具有多态类型，请通过添加一个额外的参数将它的定义表达式变成一个函数。例如，而不是写 let map_length = List.map Array.length
(* inferred type 'a array list -> int list, with 'a not generalized *)
写 let map_length lv = List.map Array.length lv
引用未定义的全局 mod 此错误出现在尝试链接一组不完整或排序不正确的文件时。您可能忘记在命令行中为名为 mod 的编译单元提供实现（通常，名为 mod .cmo .ml .cmo mod 的模块提供实现，但它在命令行中的位置太晚：mod 的实现必须在引用 mod 的所有字节码对象文件之前。修复：更改命令行中 .ml .cmo 当然，如果您在模块之间有相互递归的函数，您将始终遇到此错误。也就是说，函数 Mod1.f Mod2.g Mod2.g Mod1.f
将 f g 用另一个函数参数化一个函数。也就是说，而不是拥有mod1.ml: let f x = ... Mod2.g ...
mod2.ml: let g y = ... Mod1.f ...
定义mod1.ml: let f g x = ... g ...
mod2.ml: let rec g y = ... Mod1.f g ...
并在链接 mod1.cmo mod2.cmo 使用引用来保存其中一个函数，如mod1.ml: let forward_g =
ref((fun x -> failwith "forward_g") : <type>)
let f x = ... !forward_g ...
mod2.ml: let g y = ... Mod1.f ...
let _ = Mod1.forward_g := g
外部函数 f 不可用 此错误出现在尝试链接调用用 C 编写的外部函数的代码时。正如第 22 章所解释的那样，此类代码必须与实现所需 f C 函数的 C 库链接。如果所述 C 库不是共享库（DLL），则代码必须在“自定义运行时”模式下链接。修复：将所需的 C 库添加到命令行，并可能添加 -custom 5 警告参考本节详细描述和解释了一些警告
5.1 警告 6：函数调用中省略的标签OCaml 支持 labels-omitted
let f ~x ~y = x + y
let test = f 2 3
> let test = f 2 3
> ^
> Warning 6 [labels-omitted]: labels x, y were omitted in the application of this function.
这种对 labels-omitted
警告 6 在使用标签省略应用时发出警告，以阻止其使用。当标签被引入时，此警告默认情况下未启用，因此用户会使用标签省略应用，通常不会注意到。
随着时间的推移，启用此警告以避免参数顺序错误已成为习惯做法。自 OCaml 4.13 以来，此警告默认情况下已启用。不再推荐使用标签省略应用，但希望保留这种过渡风格的用户可以明确地禁用该警告。
5.2 警告 9：记录模式中缺少的字段在对记录进行模式匹配时，只匹配记录的几个字段可能很有用。省略字段可以通过隐式或显式地以 ; _
type 'a point = {x : 'a; y : 'a}
let dx { x } = x (* implicit field elision: trigger warning 9 *)
let dy { y; _ } = y (* explicit field elision: do not trigger warning 9 *)
5.3 警告 52：脆弱的常量模式一些构造函数，例如异常构造函数 Failure Invalid_argument string
这些文本消息通常在时间上不稳定：构建这些构造函数的调用站点可能会在将来的版本中细化消息以使其更明确等。因此，匹配消息的精确值是危险的。例如，在 OCaml 4.02 之前，Array.iter2
Invalid_argument "arrays must have the same length"
自 4.03 以来，它会引发更有用的消息
Invalid_argument "Array.iter2: arrays must have the same length"
但这意味着任何形式的代码
try ...
with Invalid_argument "arrays must have the same length" -> ...
现在已损坏，并且可能遭受未捕获的异常。
警告 52 用于阻止用户一开始就编写这种脆弱的代码。它不会在每次匹配文字字符串时都出现，而仅在库作者在未来版本中可能更改构造函数参数值的情况下出现，方法是使用属性 ocaml.warn_on_literal_pattern 12.12.1 ）
type t = | Foo of string [@ocaml.warn_on_literal_pattern] | Bar of string let no_warning = function | Bar "specific value" -> 0 | _ -> 1 let warning = function | Foo "specific value" -> 0 | _ -> 1
警告 52 [脆弱文字模式]：代码不应依赖于此构造函数参数的实际值。它们仅供参考，将来版本可能会更改。（请参阅手册部分 13.5.3）
特别是，所有带字符串参数的内置异常都设置了此属性：Invalid_argument Failure Sys_error
此外，具有包含字符串的结构化参数的内置异常也设置了该属性：Assert_failure Match_failure
如果您的代码引发了此警告，您不应 更改测试特定字符串的方式以避免警告（例如，在右侧使用字符串相等而不是文字模式），因为您的代码将仍然很脆弱。您应该通过匹配所有可能的值来扩大模式的范围。
let warning = function
| Foo _ -> 0
| _ -> 1
这可能需要一些注意：如果受检者可能会返回相同模式的几种不同情况，或者引发同一异常的不同实例，您可能需要修改您的代码以将这些几种情况分开。
例如，
try (int_of_string count_str, bool_of_string choice_str) with
| Failure "int_of_string" -> (0, true)
| Failure "bool_of_string" -> (-1, false)
应该改写成更原子化的测试。例如，使用第 11.6 节中记录的 exception
match int_of_string count_str with
| exception (Failure _) -> (0, true)
| count ->
begin match bool_of_string choice_str with
| exception (Failure _) -> (-1, false)
| choice -> (count, choice)
end
只有当给定函数调用可能会引发具有相同构造函数但不同字符串值的不同异常时，这种转换才不可行。在这种情况下，您将不得不检查特定的字符串值。这是一种危险的 API 设计，应该避免：最好定义更精确的异常构造函数，而不是将有用信息存储在字符串中。
5.4 警告 57：带保护的不明确的或模式变量OCaml 中或模式的语义是使用从左到右的偏差指定的：一个值 v 匹配模式 p | q 如果它匹配 p 或 q ，但如果它同时匹配两者，则匹配捕获的环境是 p 捕获的环境，而不是 q 捕获的环境。
虽然此属性通常很直观，但至少有一种特殊情况，可能期望不同的语义。考虑一个后面跟着 when 保护的模式：| p when g -> e ，例如
| ((Const x, _) | (_, Const x)) when is_neutral x -> branch
语义很清楚：将受检者与模式匹配，如果匹配，则测试保护，如果保护通过，则采取该分支。特别地，考虑输入 (Const a , Const b ) a 未通过测试 is_neutral a ，而 b 通过了测试 is_neutral b 。使用从左到右的语义，上面的子句不会 被其输入采用：将 (Const a , Const b ) x -> a ，然后测试保护 is_neutral a 并失败，该分支不会被采用。
但是，这里可能认为另一种语义更自然：任何一方通过测试的配对都会采取该分支。使用这种语义，前面的代码片段将等效于
| (Const x, _) when is_neutral x -> branch
| (_, Const x) when is_neutral x -> branch
这不是 OCaml 采用的语义。
警告 57 专注于这些令人困惑的情况，其中指定的从左到右的语义与相对于特定保护的非确定性语义（任何分支都可以被采用）不一致。更准确地说，它会在保护使用“不明确”的变量时发出警告，这些变量由或模式的不同侧绑定到受检者的不同部分。
版权所有 © 2024 法国国家信息与自动化研究所