詳解Swift(13)〜ジェネリクス

2016. 11. 08
この記事は詳解 Swift(初版第1刷)を元に、Xcode 7.3.1(Swift 2.2)下における差異を記述しています。



CHAPTER 13 ジェネリクス



●13.3 ジェネリクスによる型定義


・要素の重複がない配列の定義

List13-4において、要素を探す関数 find は現在エラーが出ます。

if find(elems, key) == nil {        // error: 'find' is unavailable: call the 'indexOf()' method on the collection

これに関しては「詳解Swift(5)〜基本的なデータ型」の「5.3 配列/配列のメソッド」で解説したように、Xcode 7.0 でfind() が indexOf() に改名されたためですので、修正する必要があります。
(「Qiita/[Swift] 配列と辞書」参照)

if elems.indexOf(key) == nil {

ちなみに関数 indexOf() はジェネリック関数ではありません。

extension CollectionType where Generator.Element : Equatable {
    /// Returns the first index where `value` appears in `self` or `nil` if
    /// `value` is not found.
    ///
    /// - Complexity: O(`self.count`).

    @warn_unused_result
    public func
indexOf(element: Self.Generator.Element) -> Self.Index?
}

関数 indexOf() はプロトコル CollectionType の条件付き拡張定義です。


・型パラメータの書き方

プロトコル CollectionType は( _CollectionType ではなく)Indexable と SequenceType を継承しており、また付属型として GeneratorType も使っています。

public protocol CollectionType : Indexable, SequenceType {
    (中略)
    associatedtype Generator : GeneratorType = IndexingGenerator<Self>
    (中略)
    associatedtype SubSequence : Indexable, SequenceType = Slice<Self>
    (中略)
}

public protocol Indexable {
    (中略)
    associatedtype Index : ForwardIndexType
    (中略)
}

public protocol SequenceType {
    (中略)
    associatedtype Generator : GeneratorType
    (中略)
    associatedtype SubSequence
    public subscript (position: Self.Index) -> Self.Generator.Element { get }
    (中略)
}

public protocol GeneratorType {
    (中略)
    associatedtype Element
    (中略)
    public mutating func next() -> Self.Element?
}


・プロトコルの付属型

詳解Swift(10)〜プロトコル」で述べたように、Xcode 7.3 から付属型の宣言には typealias の代わりに associatedtype を使うようになっています。


・パラメータと付属型のマッチ

現在、構造体 Array は CollectionType と MutableCollectionType、_DestructorSafeContainer を継承しています。

public struct Array<Element> : CollectionType, MutableCollectionType, _DestructorSafeContainer {
    public var startIndex: Int { get }
    public var endIndex: Int { get }
    public subscript (index: Int) -> Element
    public subscript (subRange: Range<Int>) -> ArraySlice<Element>
}

そして CollectionType では、startIndex と endIndex の型は Index になっています。

extension CollectionType where Self : _CollectionWrapperType, Self.Index == Self.Base.Index {
    public var startIndex: Self.Index { get }
    public var endIndex: Self.Index { get }
    public subscript (position: Self.Index) -> Self.Base.Generator.Element { get }
    (中略)
}

また Array のsubscript の返り値は T ではなく Element になっています。

List13-7 において、要素の重複がない配列を出力する際、MySet のインスタンス内のプロパティ elems に直接アクセスするなら List13-4 での構造体 MySet の定義で sucscript を設定する必要はありません。
プロパティが1つだけなのに subscript を設定しているのは、インスタンス名[添字]でアクセスしたかったからと思われます。

print(" \(set[i])", terminator:"")        // インスタンス名[添字]でアクセスするにはsubscriptが必要

print(" \(set.elems[i])", terminator:"")        // インスタンス内のプロパティに直接アクセスするならsubscriptは不要


・プロトコルSequenceTypeに適合させる

List13-8 の構造体 MySetGenerator において、配列 array を定数として定義していますが、「詳解Swift(3)〜構造体」で述べたように定数プロパティへの割り当ては一度のみとなったため変数に修正します。

private let array:[T] = []        // error: immutable value 'self.array' may only be initialized once

private var array:[T] = []

また関数 next() で array の添字 index を後置インクリメントしていますが、インクリメント/デクリメント演算子は Swift 3.0 で削除するため廃止になったので修正します。

return index >= array.count ? nil : array[index++]        // '++' is deprecated; it will be removed in Swift 3

if index >= array.count {
    return nil
}else {
    let index_ = index
    index += 1
    return array[index_]

}



Qiita/[Swift] 配列と辞書

詳解 Swift 改訂版(Amazon)
 






QuietControl 30 wireless headphones
0 Comments
Leave a comment
管理者にだけ表示を許可する
Top
0 Trackbacks
Top
Calendar
10 | 2017/11 | 12
Sun Mon Tue Wed Thu Fri Sat
- - - 1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30 - -
Recent Articles
iTunes


Swift
Categories
Tips
Profile

水月杏香

Author:水月杏香
永遠の初心者プログラマ。

Wish List
WACOM


ARC
Technical Q&A
情報プロパティリストキー
Start Developing iOS Apps Today
BOSE

QuietControl 30 wireless headphones
Reference
NSApplicationDelegateプロトコル
NSArrayクラス
NSAutoreleasePoolクラス
NSBundleクラス
NSBundle UIKit追加分
NSCalendarクラス
NSCoderクラス
NSCodingプロトコル
NSCopyingプロトコル
NSDataクラス
NSDateクラス
NSDateFormatterクラス
NSDictionaryクラス
NSEntityDescriptionクラス
NSEnumeratorクラス
NSErrorクラス
NSExceptionクラス
NSFetchRequestクラス
NSFileHandleクラス
NSFileManagerクラス
NSIndexPathクラス
NSIndexPath UIKit追加分
NSKeyedArchiverクラス
NSKeyedUnarchiverクラス
NSKeyValueCodingプロトコル
NSLocaleクラス
NSManagedObjectクラス
NSManagedObjectContextクラス
NSManagedObjectModelクラス
NSMutableArrayクラス
NSMutableCopyingプロトコル
NSMutableDictionaryクラス
NSMutableSetクラス
NSNotificationクラス
NSNotificationCenterクラス
NSNullクラス
NSNumberクラス
NSObjectクラス
NSObject UIKit追加分
NSObjectプロトコル
NSPersistentStoreクラス
NSPersistentStoreCoordinatorクラス
NSPredicateクラス
NSPropertyListSerializationクラス
NSRunLoopクラス
NSSetクラス
NSStringクラス
NSString UIKit追加分
NSTimerクラス
NSTimeZoneクラス
NSURLクラス
NSURLProtectionSpaceクラス
NSURLRequestクラス
NSUserDefaultsクラス
NSValueクラス

UIActionSheetクラス
UIActionSheetDelegateプロトコル
UIActivityIndicatorViewクラス
UIAlertViewクラス
UIAlertViewDelegateプロトコル
UIApplicationクラス
UIApplicationDelegateプロトコル
UIBarButtonItemクラス
UIBarItemクラス
UIButtonクラス
UIColorクラス
UIControlクラス
UIDatePickerクラス
UIDeviceクラス
UIEventクラス
UIFontクラス
UIGestureRecognizerクラス
UIImageクラス
UIImageViewクラス
UIKit Function
UILabelクラス
UINavigationControllerクラス
UINavigationItemクラス
UIPickerViewクラス
UIPickerViewDataSourceプロトコル
UIPickerViewDelegateプロトコル
UIPinchGestureRecognizerクラス
UIResponderクラス
UIScreenクラス
UIScrollViewクラス
UISearchBarクラス
UISearchBarDelegateプロトコル
UISegmentedControlクラス
UISliderクラス
UISwipeGestureRecognizerクラス
UISwitchクラス
UITableViewクラス
UITableViewCellクラス
UITableViewControllerクラス
UITableViewDataSourceプロトコル
UITableViewDelegateプロトコル
UITapGestureRecognizerクラス
UITextFieldクラス
UITextFieldDelegateプロトコル
UITextInputTraitsプロトコル
UITextViewクラス
UITextViewDelegateプロトコル
UIToolbarクラス
UITouchクラス
UIViewクラス
UIViewControllerクラス
UIWebViewクラス
UIWebViewDelegateプロトコル
UIWindowクラス

AVAudioPlayerクラス
AVAudioPlayerDelegateプロトコル

CADisplayLinkクラス
CAEAGLLayerクラス
CALayerクラス

CGAffineTransform
CGBitmapContext
CGColor
CGColorSpace
CGContext
CGGeometry
CGImage
CGPath

EAGLContextクラス
EAGLDrawableプロトコル

Foundation Constants
Foundation Data Types
Foundation Functions

MPMediaItemクラス
MPMediaItemArtworkクラス
MPMediaPlaylistクラス
MPMediaPropertyPredicateクラス
MPMediaQueryクラス
MPMusicPlayerControllerクラス

Randomization Services

System Sound Services
Amazon


OpenGL ES
SQLite
Monthly Archives
Recent Comments
Recent TrackBacks
RSS Link
Visitors
QR Code
QR