Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Explore CoroutineScope

Sponsored · Your Podcast. Everywhere. Effortlessly. Share. Educate. Inspire. Entertain. You do you. We'll handle the rest. →
Avatar for tomoEng11 tomoEng11
April 21, 2026
Programming
230
0

Explore CoroutineScope

Avatar for tomoEng11

tomoEng11

April 21, 2026

Other Decks in Programming

See All in Programming
tsserverとは何だったのか、これからどうなるのか
Avatar for Ryota Nakamura nowaki28
1
440
Claspは野良GASの夢をみるか
Avatar for てらうちたかし takter00
0
160
Datadog × OpenTelemetry 入門と実践のあいだ
Avatar for Max Kento kn_to_maxpno
1
140
ユニットテストの先へ：テスト技法で要求・仕様を整理するJava開発実践 / Beyond_Unit_Testing_Practical_Java_Development_Techniques_for_Organizing_Requirements_and_Specifications
Avatar for SHIMANE, Yoshikazu shimashima35
0
350
「AIで開発し、AIを届ける」をEvalでつなぐ 〜AIネイティブに始めるプロダクト開発の実践〜 / Connecting "Develop with AI, deliver AI" with Eval
Avatar for r-kagaya rkaga
4
2.2k
RTSPクライアントを自作してみた話
Avatar for simotin13 simotin13
0
450
LLM Plugin for Node-REDの利用方法と開発について
Avatar for 404background 404background
0
160
Swiftのレキシカルスコープ管理
Avatar for kntk kntkymt
0
210
jQueryをバージョンアップする前に使いたいjQuery Migrate
Avatar for Atsushi Matsuo matsuo_atsushi
0
180
3Dシーンの圧縮
Avatar for Fadis fadis
1
600
SPMマルチモジュールで テストカバレッジを取得する技法
Avatar for yosshi yosshi4486
0
140
TypeScriptだけでAIエージェントを作る フロント・エージェント・インフラのフルスタック実践
Avatar for Har1101 har1101
6
1.3k

Featured

See All Featured
The Art of Delivering Value - GDevCon NA Keynote
Avatar for David Neal reverentgeek
16
2k
The agentic SEO stack - context over prompts
Avatar for schlessera schlessera
0
790
Mind Mapping
Avatar for Hélio Medeiros helmedeiros
PRO
1
230
Navigating Team Friction
Avatar for Lara Hogan lara
192
16k
Marketing to machines
Avatar for Jono Alderson jonoalderson
1
5.3k
Self-Hosted WebAssembly Runtime for Runtime-Neutral Checkpoint/Restore in Edge–Cloud Continuum
Avatar for Yuki Nakata chikuwait chikuwait
0
560
How to Build an AI Search Optimization Roadmap - Criteria and Steps to Take #SEOIRL
Avatar for Aleyda Solis aleyda
1
2.1k
Dealing with People You Can't Stand - Big Design 2015
Avatar for Cassini Nazir cassininazir
367
27k
Agile that works and the tools we love
Avatar for Rasmus Luckow-Nielsen rasmusluckow
331
21k
Bash Introduction
Avatar for André Augusto Costa Santos 62gerente
615
210k
What's in a price? How to price your products and services
Avatar for Michael Herold michaelherold
247
13k
How to optimise 3,500 product descriptions for ecommerce in one day using ChatGPT
Avatar for Katarina Dahlin katarinadahlin
PRO
1
3.6k

Transcript

  1. Explore CoroutineScope Kotlinコルーチンにおける「型安全 × 柔軟性」の設計

  2. About Me 名前: tomo 所属: 株式会社 Voicy プロダクトエンジニア X: @tomoEng11

    好きな言語: Swift 最近Kotlinの勉強を始めました！

  3. CoroutineScopeとは 非同期処理 (コルーチン )を親子関係でまとめて、ライフサイクルとキャンセルを管理する起点

  4. CoroutineScopeの定義を詳しくみる 個人的な疑問 • CoroutineContextって何？ • Jobを足してる？ • context[Job]って何？

  5. CoroutineContext コルーチンの「設定情報（プロパティ）の集合体」 クラス名 主な役割 CoroutineDispatcher スレッドの割り当て Job キャンセルや状態の追跡 CoroutineExceptionHandler 未キャッチ例外のハンドリング

    CoroutineName コルーチンに名前を付与

  6. CoroutineContextの構成

  7. CoroutineContext.Element • Elementに対応するKeyが存在する • ElementもCoroutineContextになっている

  8. だから Contextの操作がシンプルにできる

  9. 個人的な疑問 • ✅CoroutineContextって何？ • ✅Jobを足してる？ • context[Job]って何？

  10. context[Job]の仕組み 本来はKeyを指定する必要があるのに、なんで型を指定しただけで取り出せるんだ？

  11. CoroutineContextのgetメソッド 引数にKey<E>を要求している

  12. Jobの定義を⾒てみる companion objectとして、Keyが定義されているから型名からアクセスできる

  13. CoroutineContext

  14. CoroutineContext minusKeyの引数がKey<*>になってるのはなんで？

  15. minuskeyはなぜKey<*>なのか？ Key<CoroutineContext.Element>でもよくない？

  16. minuskeyとgetの違い メソッド 戻り値 Elementへの関心 get E? あり minusKey CoroutineContext なし

  17. なぜKey<Element>ではダメか？ Jobなどは、CoroutineContext.Elementのサブクラスだから Key<Job> != Key<CoroutineContext.Element> Keyのジェネリクスになった時点で、同一ではなくなる (invariant)

  18. outにしてみたらどうか？ 型とKeyの対応が崩れてしまう Key 期待する型 Key<Job> Job Key<CoroutineName> CoroutineName outにするとgetで正しい型が返せなくなる

  19. まとめ • CoroutineContext は複数の要素を持つMap的構造 • Key はcompanion objectで定義されていて、型との対応を表現 • get

    は型安全に取得 → Key<E> • minusKey は削除のみ → Key<*> • invariant を活かした設計で型安全を保証 KotlinのAPI設計めっちゃ勉強になる！！

  20. ご清聴ありがとうございました