全部配置 / KN-XALLOW-HOLDSIN-CONTRACT

Xallow-holdsin-contract

Xallow-holdsin-contract · KN-XALLOW-HOLDSIN-CONTRACT · 编译器参数（Native）

重要：中 · 场景相关 默认：默认关 场合：场景可配 来源：上游原样

默认值：默认关。false（BooleanType.defaultFalse）。使用场合：场景可配。场景可配：有明确目标（性能、包体、安全、兼容）时再改。

它是做什么的

用途。允许描述 lambda 内条件成立的 contract。原文：Allow contracts that specify a condition that holds true inside a lambda argument.

影响。实验/高级编译开关；默认保持关闭，改前需可复现、可回滚。

适用场景。场景可配。有明确需求再改，无需求时保持发行版默认更稳妥。改前核对目标限制与联动项，改后做冒烟。

取值说明

布尔 · 写法 -Xallow-holdsin-contract（开启） · 默认 false（BooleanType.defaultFalse）

  • 参数描述：Allow contracts that specify a condition that holds true inside a lambda argument.

可写。（开关存在 / true） / false / 不传

定义依据：description/CommonCompilerArguments.kt 在仓库中打开

怎么用

  1. 配置入口：build.gradle.kts → ohosArm64.binaries.all { freeCompilerArgs += "-Xallow-holdsin-contract" }
  2. 示例：
// 文件：build.gradle.kts（应用的 Kotlin 模块，例如 composeApp）
kotlin {
  ohosArm64 {  // 按实际 native target 调整
    binaries.all {
      freeCompilerArgs += "-Xallow-holdsin-contract"
    }
  }
}
  1. 生效：Sync 后执行该目标的 compile/link。
  2. 验证：编译日志出现 `-Xallow-holdsin-contract`。
  3. 回滚：从 binaries.all 的 freeCompilerArgs 中删除该项后 Clean 并重编。
  4. 注意：实验项无稳定兼容保证；改前留可回滚配置。

默认行为 默认关

不写这个配置时，编译器会怎么处理？

此选项默认关闭，不设置时不生效。需要时显式开启。

false（BooleanType.defaultFalse）。

相关文档

以下摘抄原文中与本配置最相关的段落，便于速读；完整上下文请点原文。

上游 · Kotlin compiler options · Common

-Xallow-condition-implies-returns-contracts

Allows using the returnsNotNull() function in contracts to assume a non-null return value for specified conditions.

-Xallow-holdsin-contract

Allows using the holdsIn keyword in contracts to assume that a boolean condition is true inside a lambda.

-Xallow-returns-result-of

Allows using the returnsResultOf() contract so that the unused return value checker can distinguish between results that can be ignored and meaningful results from higher-order functions.

-Xallow-reified-type-in-catch…

打开原文

溯源与对照

状态
实验（-X，兼容性不保证）
版本基线
2.2.21-1.0.0
定义位置类型
编译器参数定义（arguments DSL）
源码路径
compiler/arguments/src/org/jetbrains/kotlin/arguments/description/CommonCompilerArguments.kt 在仓库中打开