# 選擇加入的要求
>[info] 【注意】要求選擇加入的注解 `@RequiresOptIn` 與 `@OptIn` 是 *實驗性的*。 請參閱[以下](#experimental-status-of-the-opt-in-requirements)用法詳細信息。
>[info] 【注意】1.3.70 中引入了 `@RequireOptIn` 與 `@OptIn` 注解以取代先前使用的 `@Experimental` 與 `@UseExperimental`;同時 `-Xopt-in` 編譯器選項也取代了 `-Xuse-experimental`。
Kotlin 標準庫提供了一種機制,用于要求并明確同意使用 API 的某些元素。通過這種機制,庫開發人員可以將使用其 API 需要選擇加入的特定條件告知用戶,例如,如果某個 API 處于實驗狀態,并且將來可能會更改。
為了避免潛在的問題,編譯器會向此類 API 的用戶發出警告,告知他們這些條件,并要求他們在使用 API 之前選擇加入。
## 選擇使用 API
如果庫作者將一個庫的 API 聲明標記為[_要求選擇加入_](#requiring-opt-in-for-api),你應該明確同意在代碼中使用它。有多種方式可以選擇加入使用此類 API,所有方法均不受技術限制。你可以自由選擇最適合自己的方式。
### 傳播選擇加入
在使用供第三方(庫)使用的 API 時,你也可以把其選擇加入的要求傳播到自己的 API。為此,請在你的 API 主體聲明中添加注解 [_要求選擇加入的注解_](#opt-in-requirement-annotations)。這可以讓你使用帶有此注解的 API 元素。
```kotlin
// 庫代碼
@RequiresOptIn(message = "This API is experimental. It may be changed in the future without notice.")
@Retention(AnnotationRetention.BINARY)
@Target(AnnotationTarget.CLASS, AnnotationTarget.FUNCTION)
annotation class MyDateTime // 要求選擇加入的注解
@MyDateTime
class DateProvider // 要求選擇加入的類
```
```kotlin
// 客戶端代碼
fun getYear(): Int {
val dateProvider: DateProvider // 錯誤:DateProvider 要求選擇加入
// ...
}
@MyDateTime
fun getDate(): Date {
val dateProvider: DateProvider // OK:該函數也需要選擇加入
// ...
}
fun displayDate() {
println(getDate()) // 錯誤:getDate() 需要選擇加入
}
```
如本例所示,帶注釋的函數看起來是 `@MyDateTime` API 的一部分。因此,這種選擇加入會將選擇加入的要求傳播到客戶端代碼;其客戶將看到相同的警告消息,并且也必須同意。 要使用多個需要選擇加入的API,請在聲明中標記所有需要選擇加入的注解。
### 非傳播的用法
在不公開其自身API的模塊(例如應用程序)中,你可以選擇使用 API 而無需將選擇加入的要求傳播到代碼中。這種情況下,請使用 [@OptIn](/api/latest/jvm/stdlib/kotlin/-opt-in/index.html) 標記你的聲明,并以要求選擇加入的注解作為參數:
```kotlin
// 庫代碼
@RequiresOptIn(message = "This API is experimental. It may be changed in the future without notice.")
@Retention(AnnotationRetention.BINARY)
@Target(AnnotationTarget.CLASS, AnnotationTarget.FUNCTION)
annotation class MyDateTime // 要求選擇加入的注解
@MyDateTime
class DateProvider // 要求選擇加入的類
```
```kotlin
//客戶端代碼
@OptIn(MyDateTime::class)
fun getDate(): Date { // 使用 DateProvider;不傳播選擇加入的要求
val dateProvider: DateProvider
// ...
}
fun displayDate() {
println(getDate()) // OK:不要求選擇加入
}
```
當有人調用函數 `getDate()` 時,不會通知他們函數主體中使用的選擇加入 API 的要求。
要在一個文件的所有函數和類中使用要求選擇加入的 API,請在文件的頂部,文件包說明和導入聲明前添加文件級注釋 `@file:OptIn`。
```kotlin
//客戶端代碼
@file:OptIn(MyDateTime::class)
```
### 模塊范圍的選擇加入
如果你不想在使用要求選擇加入 API 的每個地方都添加注解,則可以為整個模塊選擇加入這些 API。要選擇在模塊中使用 API,請使用參數 `-Xopt-in` 進行編譯,
使用 `-Xopt-in = org.mylibrary.OptInAnnotation` 指定該 API 使用的要求選擇加入注解的標準名稱。使用此參數進行編譯的效果與模塊中每個聲明都有注解 `@OptIn(OptInAnnotation::class)` 的效果相同。
如果使用 Gradle 構建模塊,可以添加如下參數:
```groovy
compileKotlin {
kotlinOptions {
freeCompilerArgs += "-Xopt-in=org.mylibrary.OptInAnnotation"
}
}
```
```kotlin
tasks.withType<KotlinCompile>().all {
kotlinOptions.freeCompilerArgs += "-Xopt-in=org.mylibrary.OptInAnnotation"
}
```
如果你的 Gradle 模塊是多平臺模塊,請使用 `useExperimentalAnnotation` 方法:
```groovy
sourceSets {
all {
languageSettings {
useExperimentalAnnotation('org.mylibrary.OptInAnnotation')
}
}
}
```
```kotlin
sourceSets {
all {
languageSettings.useExperimentalAnnotation("org.mylibrary.OptInAnnotation")
}
}
```
對于 Maven,它將是:
```xml
<build>
<plugins>
<plugin>
<groupId>org.jetbrains.kotlin</groupId>
<artifactId>kotlin-maven-plugin</artifactId>
<version>${kotlin.version}</version>
<executions>...</executions>
<configuration>
<args>
<arg>-Xopt-in=org.mylibrary.OptInAnnotation</arg>
</args>
</configuration>
</plugin>
</plugins>
</build>
```
要在模塊級別選擇加入多個 API,請為每個要求選擇加入的 API 添加以上描述的參數之一。
## 要求選擇加入 API
### 要求選擇加入的注解
如果想獲得使用者使用你的模塊 API 的明確同意,請創建一個注解類,作為_要求選擇加入的注解_。這個類必須使用 [@RequiresOptIn](/api/latest/jvm/stdlib/kotlin/-requires-opt-in/index.html) 注解:
```kotlin
@RequiresOptIn
@Retention(AnnotationRetention.BINARY)
@Target(AnnotationTarget.CLASS, AnnotationTarget.FUNCTION)
annotation class MyDateTime
```
要求選擇加入的注解必須滿足以下幾個要求:
* `BINARY` [retention](/api/latest/jvm/stdlib/kotlin.annotation/-annotation-retention/index.html)
* [targets](/api/latest/jvm/stdlib/kotlin.annotation/-annotation-target/index.html)中沒有 `EXPRESSION` 與 `FILE`
* 沒有參數
選擇加入的要求可以具有以下兩個嚴格[級別](/api/latest/jvm/stdlib/kotlin/-requires-opt-in/-level/index.html)之一:
* `RequiresOptIn.Level.ERROR`。選擇加入是強制性的。 否則,使用標記 API 的代碼將無法編譯。 默認級別。
* `RequiresOptIn.Level.WARNING`。選擇加入不是強制性的,而是建議使用的。 沒有它,編譯器會發出警告。
要設置所需的級別,請指定 `@RequiresOptIn` 注解的 `level` 參數。
另外,你可以提供一個 `message` 來通知用戶有關使用該 API 的特定條件。編譯器會將其顯示給使用該 API 但未選擇加入的用戶。
```kotlin
@RequiresOptIn(level = RequiresOptIn.Level.WARNING, message = "This API is experimental. It can be incompatibly changed in the future.")
@Retention(AnnotationRetention.BINARY)
@Target(AnnotationTarget.CLASS, AnnotationTarget.FUNCTION)
annotation class ExperimentalDateTime
```
如果你發布了多個需要選擇加入的獨立功能,請為每個功能聲明一個注解。這使你的用戶可以更安全地使用 API:他們只能使用其明確接受的功能。這也使你可以獨立地從功能中刪除選擇加入的要求。
### 標記 API 元素
要在使用 API 時要求選擇加入,請給它的聲明添加要求選擇加入的注解。
```kotlin
@MyDateTime
class DateProvider
@MyDateTime
fun getTime(): Time {}
```
## 實驗 API 的選擇加入要求
如果要求選擇加入實驗狀態的特性,請仔細處理 API 由實驗狀態到穩定狀態的轉換,以避免破壞客戶端代碼。
API 結束實驗并以穩定狀態發布后,請從聲明中刪除其要求選擇加入的注解。客戶端將可以不受限制地使用它們。但是,你應該將注解類留在模塊中,以便與現有的客戶端代碼保持兼容。
為了讓 API 用戶相應地更新其模塊(從代碼中刪除注解并重新編譯),請將注解標記為 [`@Deprecated`](/api/latest/jvm/stdlib/kotlin/-deprecated/index.html)并在棄用 message 中提供說明。
```kotlin
@Deprecated("This opt-in requirement is not used anymore. Remove its usages from your code.")
@RequiresOptIn
annotation class ExperimentalDateTime
```
## 選擇加入要求的實驗狀態
選擇加入要求的機制在 Kotlin 1.3 中是實驗性的。這意味著在將來的版本中,可能會以不兼容的方式進行更改。
為了讓使用注解 `@OptIn` 和 `@RequiresOptIn` 的用戶了解其實驗狀態,編譯器會在編譯代碼時發出警告:
```This class can only be used with the compiler argument '-Xopt-in=kotlin.RequiresOptIn'```
要移除警告,請添加編譯器參數 `-Xopt-in=kotlin.RequiresOptIn`。
- 前言
- Kotlin簡介
- IntelliJ IDEA技巧總結
- idea設置類注釋和方法注釋模板
- 像Android Studion一樣創建工程
- Gradle
- Gradle入門
- Gradle進階
- 使用Gradle創建一個Kotlin工程
- 環境搭建
- Androidstudio平臺搭建
- Eclipse的Kotlin環境配置
- 使用IntelliJ IDEA
- Kotlin學習路線
- Kotlin官方中文版文檔教程
- 概述
- kotlin用于服務器端開發
- kotlin用于Android開發
- kotlin用于JavaScript開發
- kotlin用于原生開發
- Kotlin 用于數據科學
- 協程
- 多平臺
- 新特性
- 1.1的新特性
- 1.2的新特性
- 1.3的新特性
- 開始
- 基本語法
- 習慣用法
- 編碼規范
- 基礎
- 基本類型
- 包與導入
- 控制流
- 返回與跳轉
- 類與對象
- 類與繼承
- 屬性與字段
- 接口
- 可見性修飾符
- 擴展
- 數據類
- 密封類
- 泛型
- 嵌套類
- 枚舉類
- 對象
- 類型別名
- 內嵌類
- 委托
- 委托屬性
- 函數與Lambda表達式
- 函數
- Lambda表達式
- 內聯函數
- 集合
- 集合概述
- 構造集合
- 迭代器
- 區間與數列
- 序列
- 操作概述
- 轉換
- 過濾
- 加減操作符
- 分組
- 取集合的一部分
- 取單個元素
- 排序
- 聚合操作
- 集合寫操作
- List相關操作
- Set相關操作
- Map相關操作
- 多平臺程序設計
- 平臺相關聲明
- 以Gradle創建
- 更多語言結構
- 解構聲明
- 類型檢測與轉換
- This表達式
- 相等性
- 操作符重載
- 空安全
- 異常
- 注解
- 反射
- 作用域函數
- 類型安全的構造器
- Opt-in Requirements
- 核心庫
- 標準庫
- kotlin.test
- 參考
- 關鍵字與操作符
- 語法
- 編碼風格約定
- Java互操作
- Kotlin中調用Java
- Java中調用Kotlin
- JavaScript
- 動態類型
- kotlin中調用JavaScript
- JavaScript中調用kotlin
- JavaScript模塊
- JavaScript反射
- JavaScript DCE
- 原生
- 并發
- 不可變性
- kotlin庫
- 平臺庫
- 與C語言互操作
- 與Object-C及Swift互操作
- CocoaPods集成
- Gradle插件
- 調試
- FAQ
- 協程
- 協程指南
- 基礎
- 取消與超時
- 組合掛起函數
- 協程上下文與調度器
- 異步流
- 通道
- 異常處理與監督
- 共享的可變狀態與并發
- Select表達式(實驗性)
- 工具
- 編寫kotlin代碼文檔
- 使用Kapt
- 使用Gradle
- 使用Maven
- 使用Ant
- Kotlin與OSGI
- 編譯器插件
- 編碼規范
- 演進
- kotlin語言演進
- 不同組件的穩定性
- kotlin1.3的兼容性指南
- 常見問題
- FAQ
- 與Java比較
- 與Scala比較(官方已刪除)
- Google開發者官網簡介
- Kotlin and Android
- Get Started with Kotlin on Android
- Kotlin on Android FAQ
- Android KTX
- Resources to Learn Kotlin
- Kotlin樣品
- Kotlin零基礎到進階
- 第一階段興趣入門
- kotlin簡介和學習方法
- 數據類型和類型系統
- 入門
- 分類
- val和var
- 二進制基礎
- 基礎
- 基本語法
- 包
- 示例
- 編碼規范
- 代碼注釋
- 異常
- 根類型“Any”
- Any? 可空類型
- 可空性的實現原理
- kotlin.Unit類型
- kotlin.Nothing類型
- 基本數據類型
- 數值類型
- 布爾類型
- 字符型
- 位運算符
- 變量和常量
- 語法和運算符
- 關鍵字
- 硬關鍵字
- 軟關鍵字
- 修飾符關鍵字
- 特殊標識符
- 操作符和特殊符號
- 算術運算符
- 賦值運算符
- 比較運算符
- 邏輯運算符
- this關鍵字
- super關鍵字
- 操作符重載
- 一元操作符
- 二元操作符
- 字符串
- 字符串介紹和屬性
- 字符串常見方法操作
- 字符串模板
- 數組
- 數組介紹創建及遍歷
- 數組常見方法和屬性
- 數組變化以及下標越界問題
- 原生數組類型
- 區間
- 正向區間
- 逆向區間
- 步長
- 類型檢測與類型轉換
- is、!is、as、as-運算符
- 空安全
- 可空類型變量
- 安全調用符
- 非空斷言
- Elvis操作符
- 可空性深入
- 可空性和Java
- 函數
- 函數式編程概述
- OOP和FOP
- 函數式編程基本特性
- 組合與范疇
- 在Kotlin中使用函數式編程
- 函數入門
- 函數作用域
- 函數加強
- 命名參數
- 默認參數
- 可變參數
- 表達式函數體
- 頂層、嵌套、中綴函數
- 尾遞歸函數優化
- 函數重載
- 控制流
- if表達式
- when表達式
- for循環
- while循環
- 循環中的 Break 與 continue
- return返回
- 標簽處返回
- 集合
- list集合
- list集合介紹和操作
- list常見方法和屬性
- list集合變化和下標越界
- set集合
- set集合介紹和常見操作
- set集合常見方法和屬性
- set集合變換和下標越界
- map集合
- map集合介紹和常見操作
- map集合常見方法和屬性
- map集合變換
- 集合的函數式API
- map函數
- filter函數
- “ all ”“ any ”“ count ”和“ find ”:對集合應用判斷式
- 別樣的求和方式:sumBy、sum、fold、reduce
- 根據人的性別進行分組:groupBy
- 扁平化——處理嵌套集合:flatMap、flatten
- 惰性集合操作:序列
- 區間、數組、集合之間轉換
- 面向對象
- 面向對象-封裝
- 類的創建及屬性方法訪問
- 類屬性和字段
- 構造器
- 嵌套類(內部類)
- 枚舉類
- 枚舉類遍歷&枚舉常量常用屬性
- 數據類
- 密封類
- 印章類(密封類)
- 面向對象-繼承
- 類的繼承
- 面向對象-多態
- 抽象類
- 接口
- 接口和抽象類的區別
- 面向對象-深入
- 擴展
- 擴展:為別的類添加方法、屬性
- Android中的擴展應用
- 優化Snackbar
- 用擴展函數封裝Utils
- 解決煩人的findViewById
- 擴展不是萬能的
- 調度方式對擴展函數的影響
- 被濫用的擴展函數
- 委托
- 委托類
- 委托屬性
- Kotlin5大內置委托
- Kotlin-Object關鍵字
- 單例模式
- 匿名類對象
- 伴生對象
- 作用域函數
- let函數
- run函數
- with函數
- apply函數
- also函數
- 標準庫函數
- takeIf 與 takeUnless
- 第二階段重點深入
- Lambda編程
- Lambda成員引用高階函數
- 高階函數
- 內聯函數
- 泛型
- 泛型的分類
- 泛型約束
- 子類和子類型
- 協變與逆變
- 泛型擦除與實化類型
- 泛型類型參數
- 泛型的背后:類型擦除
- Java為什么無法聲明一個泛型數組
- 向后兼容的罪
- 類型擦除的矛盾
- 使用內聯函數獲取泛型
- 打破泛型不變
- 一個支持協變的List
- 一個支持逆變的Comparator
- 協變和逆變
- 第三階段難點突破
- 注解和反射
- 聲明并應用注解
- DSL
- 協程
- 協程簡介
- 協程的基本操作
- 協程取消
- 管道
- 慕課霍丙乾協程筆記
- Kotlin與Java互操作
- 在Kotlin中調用Java
- 在Java中調用Kotlin
- Kotlin與Java中的操作對比
- 第四階段專題練習
- 朱凱Kotlin知識點總結
- Kotlin 基礎
- Kotlin 的變量、函數和類型
- Kotlin 里那些「不是那么寫的」
- Kotlin 里那些「更方便的」
- Kotlin 進階
- Kotlin 的泛型
- Kotlin 的高階函數、匿名函數和 Lambda 表達式
- Kotlin協程
- 初識
- 進階
- 深入
- Kotlin 擴展
- 會寫「18.dp」只是個入門——Kotlin 的擴展函數和擴展屬性(Extension Functions / Properties)
- Kotlin實戰-開發Android