potatotips (iOS/Android開発Tips共有会) 第22回 Objective-C Generics LT版

1. Objective-C Generics
Goichi Hirakawa

2. About Me
• 平川 剛一 (Goichi Hirakawa)
• @gooichi
• OS X / iOSソフトウェアエンジニア（フリー）
• GyazSquare / GitHub
• Mailer、デバイス制御、MDM系など
• Objective-C歴XX年
• 初めて触れたのはNextStep…

3. New Objective-C Features
Objective-CとSwiftをより簡単で効率的に連携させ
るためのXcode 7からの新機能：
• Generics
• Nullability (Updated)
• KindOf Types
• New macros for Swift

4. New Objective-C Features
Objective-CとSwiftをより簡単で効率的に連携させ
るためのXcode 7からの新機能：
• Generics
• Nullability (Updated)
• KindOf Types
• New macros for Swift

5. New Objective-C Features
Objective-CとSwiftをより簡単で効率的に連携させ
るためのXcode 7からの新機能：
• Generics (一部)
• Nullability (Updated)
• KindOf Types
• New macros for Swift

6. Agenda
• What s Generics?
• Objective-C Generics
• Backward Compatibility
• Generic Classes (iOS 9)
• Variances
• KindOf Types

7. Agenda
• What s Generics?
• Objective-C Generics
• Backward Compatibility
• Generic Classes (iOS 9)
• Variances
• KindOf Types

8. What s Generics?
• 型に依存しない共通の処理やアルゴリズムを型パラメータ
（Type Parameter）を用いて定義し、汎用化する機能
• ジェネリックプログラミングの仕組み
• 言語により呼び名、機能は若干異なる
• テンプレート（C++）、ジェネリクス（Java、Swiftな
ど）、ジェネリック（MS系言語）、パラメータ化され
た型（Scala）等々

9. Objective-C Generics
• 他言語と比べ、Lightweight（軽量、簡易）
• APIの表現力を向上させる
• コレクションをより使いやすくする
• Swiftにより型情報がインポート
• より良い静的型チェックを可能にする
• Xcode 7（LLVM 7.0.0）以降

10. Before Using Generics
Objective-C
@interface UIView
@property (nonatomic, copy ,readonly) NSArray *subviews;
@end
Swift
class UIView {
var subviews: [AnyObject] { get }
}

11. After Using Generics
Objective-C
@interface UIView
@property (nonatomic,readonly,copy) NSArray<UIView *>*subviews;
@end
Swift
class UIView {
var subviews: [UIView] { get }
}

12. Static Type Checking
• 型に関する警告が表示される
• ただし、以下は警告は出ない→正しい（後方互換性参照）

13. Backward Compatibility
• 型消去（Type Erasure）モデルでバイナリ互換
• Objective-Cランタイムに変更なし
• コード生成に影響なし
• 暗黙の変換によるソース互換性
NSArray<NSString *> *strings = ...;
NSArray *array = ...;
array = strings; // OK, 型引数が削除
strings = array; // OK, 型引数が追加

14. Generic Classes (iOS 9)
• NSArray、NSSetとNSDictionary
• これらの型情報はSwiftによりインポートされる
• それ以外のジェネリクス対応クラス
• NSCache、NSEnumerator、NSHashTable、
NSMapTable、NSOrderedSet、PHFetchResult、
および、これらのMutableクラスもジェネリクス対応
• これらの型情報はSwiftによりインポートされない

15. Conclusion
• Objective-Cジェネリクスは、機能的にはLightweightであるが、
以下の理由より既存コードに適用する価値はある：
• 静的型チェック
• Swiftの型情報インポート
• バイナリ互換
• KindOf型はObjective-Cジェネリクスとの組み合わせだけでなく、
既存コードのid型との置き換えでも利用可能
• id型よりも型安全になり、Swiftからも使いやすくなる