Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Kotlin Contracts #m3kt
Search
Taro Nagasawa
November 07, 2018
Programming
4
4.1k
Kotlin Contracts #m3kt
どこでもKotlin #6 で発表したスライドです
Taro Nagasawa
November 07, 2018
Tweet
Share
More Decks by Taro Nagasawa
See All by Taro Nagasawa
Android開発者のための Kotlin Multiplatform入門
ntaro
0
670
Kotlin 最新動向2022 #tfcon #techfeed
ntaro
1
2.2k
#Ubie 狂気の認知施策と選考設計
ntaro
13
13k
UbieにおけるサーバサイドKotlin活用事例
ntaro
1
1.1k
KotlinでSpring 完全理解ガイド #jsug
ntaro
6
3.4k
Kotlinでサーバサイドを始めよう!
ntaro
1
980
Androidからサーバーサイドまで!プログラミング言語 Kotlinの魅力 #devboost
ntaro
5
2.7k
How_to_Test_Server-side_Kotlin.pdf
ntaro
1
500
Kotlin Fest 2018 - Opening session
ntaro
0
4.3k
Other Decks in Programming
See All in Programming
Go Modules: From Basics to Beyond / Go Modulesの基本とその先へ
kuro_kurorrr
0
110
生成AIで日々のエラー調査を進めたい
yuyaabo
0
520
SODA - FACT BOOK
sodainc
1
840
Create a website using Spatial Web
akkeylab
0
260
ASP.NETアプリケーションのモダナイズ インフラ編
tomokusaba
1
210
カクヨムAndroidアプリのリブート
numeroanddev
0
410
Javaのルールをねじ曲げろ!禁断の操作とその代償から学ぶメタプログラミング入門 / A Guide to Metaprogramming: Lessons from Forbidden Techniques and Their Price
nrslib
3
1.9k
Use Perl as Better Shell Script
karupanerura
0
690
レガシーシステムの機能調査・開発におけるAI利活用
takuya_ohtonari
0
590
コードに語らせよう――自己ドキュメント化が内包する楽しさについて / Let the Code Speak
nrslib
6
1.4k
FastMCPでMCPサーバー/クライアントを構築してみる
ttnyt8701
2
130
PT AI без купюр
v0lka
0
230
Featured
See All Featured
RailsConf 2023
tenderlove
30
1.1k
A Tale of Four Properties
chriscoyier
159
23k
Fantastic passwords and where to find them - at NoRuKo
philnash
51
3.3k
Build your cross-platform service in a week with App Engine
jlugia
231
18k
YesSQL, Process and Tooling at Scale
rocio
172
14k
How to Ace a Technical Interview
jacobian
276
23k
Sharpening the Axe: The Primacy of Toolmaking
bcantrill
43
2.4k
Become a Pro
speakerdeck
PRO
28
5.4k
Agile that works and the tools we love
rasmusluckow
329
21k
Rebuilding a faster, lazier Slack
samanthasiow
81
9k
JavaScript: Past, Present, and Future - NDC Porto 2020
reverentgeek
48
5.4k
Connecting the Dots Between Site Speed, User Experience & Your Business [WebExpo 2025]
tammyeverts
4
130
Transcript
Kotlin Contracts 2018-11-07 長澤 太郎
長澤太郎 • @ngsw_taro • Ubie株式会社 ソフトウェアエンジニア • エムスリー エンジニアフェロー •
日本Kotlinユーザグループ代表
課題: 便利な関数があるのにスマートキャス トできない(Kotlin 1.3より前) val name: String? = user.name if
(!name.isNullOrBlank()) { println("Hello, ${name.capitalize()}") }
課題: 便利な関数があるのにスマートキャス トできない(Kotlin 1.3より前) val name: String? = user.name if
(!name.isNullOrBlank()) { println("Hello, ${name.capitalize()}") } stdlibの関数
課題: 便利な関数があるのにスマートキャス トできない(Kotlin 1.3より前) val name: String? = user.name if
(!name.isNullOrBlank()) { println("Hello, ${name.capitalize()}") } Nullableのため 禁止されている呼び出し
課題: 便利な関数があるのにスマートキャス トできない(Kotlin 1.3より前) val name: String? = user.name if
(!name.isNullOrBlank()) { println("Hello, ${name.capitalize()}") } val name: String? = user.name if (name != null && name.isNotBlank()) { println("Hello, ${name.capitalize()}") }
Kotlin 1.3 ではスマートキャストが効く! val name: String? = user.name if (!name.isNullOrBlank())
{ println("Hello, ${name.capitalize()}") } NotNullが保証されてるので 呼び出し可能
Contracts(契約) • 契約による設計/契約プログラミング • 事前条件 ◦ 関数を呼び出すための条件を利用者が満たす ◦ 例)型で不正な値を引数に取らせない ◦
例)require関数などで不正な値が渡ってきたら例外スロー • 事後条件 ◦ 関数を呼び出したあとの状況を関数が保証する ◦ 例)list#addしたらサイズは1増えることを保証する • 不変条件 ◦ オブジェクトが満たすべき状態を維持する ◦ 例)Nameオブジェクトは1字以上20字以下の英字を必ず持つ
Contracts(契約) • 契約による設計/契約プログラミング • 事前条件 ◦ 関数を呼び出すための条件を利用者が満たす ◦ 例)型で不正な値を引数に取らせない ◦
例)require関数などで不正な値が渡ってきたら例外スロー • 事後条件 ◦ 関数を呼び出したあとの状況を関数が保証する ◦ 例)list#addしたらサイズは1増えることを保証する • 不変条件 ◦ オブジェクトが満たすべき状態を維持する ◦ 例)Nameオブジェクトは1字以上20字以下の英字を必ず持つ Kotlin Contractsはここ しかも静的
契約を表明するDSL val name: String? = user.name if (!name.isNullOrBlank()) { println("Hello,
${name.capitalize()}") } inline fun CharSequence?.isNullOrBlank(): Boolean { contract { returns(false) implies(this@isNullOrBlank != null) } return this == null || this.isBlank() }
契約を表明するDSL val name: String? = user.name if (!name.isNullOrBlank()) { println("Hello,
${name.capitalize()}") } inline fun CharSequence?.isNullOrBlank(): Boolean { contract { returns(false) implies(this@isNullOrBlank != null) } return this == null || this.isBlank() }
契約を表明するDSL val name: String? = user.name if (!name.isNullOrBlank()) { println("Hello,
${name.capitalize()}") } inline fun CharSequence?.isNullOrBlank(): Boolean { contract { returns(false) implies(this@isNullOrBlank != null) } return this == null || this.isBlank() } falseが返されるとき、この文字列はNotNullであることを意味する
自分の関数にも契約を @ExperimentalContracts fun Any?.isNotNull(): Boolean { contract { returns(true) implies
(this@isNotNull != null) } return this != null }
自分の関数にも契約を @ExperimentalContracts fun Any?.isNotNull(): Boolean { contract { returns(true) implies
(this@isNotNull != null) } return this != null } DSL自体は不安定 バイナリ互換は維持される
契約対応している標準関数 kotlin.testも含む • assertTrue • check • require • assertFalse
• assertNotNull • checkNotNull • requireNotNull 引数がtrueを保証 引数がfalseを保証 引数がNotNullを保証
課題: val変数の初期化が絶対に成功するはず なのにできない(Kotlin 1.3より前) val x: Int run {
x = 12345 } println(x) ラムダの中での初期化を コンパイラはわかってくれ ない
Kotlin 1.3では「1度だけ呼び出される」契約によ り初期化OK val x: Int run { x =
12345 } println(x)
契約を表明するDSL val x: Int run { x = 12345 }
inline fun <R> run(block: () -> R): R { contract { callsInPlace(block, InvocationKind.EXACTLY_ONCE) } return block() }
契約を表明するDSL val x: Int run { x = 12345 }
inline fun <R> run(block: () -> R): R { contract { callsInPlace(block, InvocationKind.EXACTLY_ONCE) } return block() }
契約を表明するDSL val x: Int run { x = 12345 }
inline fun <R> run(block: () -> R): R { contract { callsInPlace(block, InvocationKind.EXACTLY_ONCE) } return block() } blockが「ちょうど1度だけ」呼び出される
InvocationKind • AT_MOST_ONCE • EXACTLY_ONCE • AT_LEAST_ONCE • UNKNOWN
契約対応している標準関数 kotlin.testも含む • run • with • apply • also
• let • takeIf • takeUnless • repeat EXACTLY_ONCE UNKNOWN
契約DSLまとめ • contract: 関数の先頭に置く必要がある • returns(): 関数の実行が成功したら... • returns(Any?): 引数の値
true|false|null を返したら... • returnsNotNull(): NotNullを返したら... • callsInPlace: 引数の関数が呼ばれる回数を保証 contract { callsInPlace(block, InvocationKind.EXACTLY_ONCE) } contract { returns(true) implies (arg != null) }
総まとめ • スマートキャストや変数初期化において、面倒なことがあった けどKotlin 1.3で解消された • 契約DSLで契約を表明することでコンパイラに意味が伝わる • 自分の関数に契約DSLを使うことができるが不安定 •
標準ライブラリ関数で契約DSLを使っているものがあるが安 定 • バイナリ互換あり