プログラミング言語のSwihtについて質問です。

Question

プログラミング言語のSwihtについて質問です。

最近、独学で始めたのですが、少しDictionary型のところで行き詰まりました。
このソースコードに対して↓
//dictionaryを定義して、keyを指定してvalueを取得する
let dic = ["key": "バリュー"]
print(dic["key"])

こう結果が帰ってきます↓
Optional("バリュー")

「！」や「？」をつけていないのに、なぜOptinalになるのでしょうか？
教えてください。

Answer 1

上記のコードは省略した形で型を書くと以下のようになります。

let dic: Dictionary<String,String> = ["key": "バリュー"]

これはDictionaryという構造体(struct)でキーがString,値がStringになります。

Dictionaryの定義に飛んでみると(⌘ + DictionaryをクリックまたはDictionaryを選択 → 右クリック → Jump to Difinition)以下の様なコードがあると思います。

public struct Dictionary<Key : Hashable, Value> : CollectionType, DictionaryLiteralConvertible {
    public typealias Element = (Key, Value)
    public typealias Index = DictionaryIndex<Key, Value>
    /// Create an empty dictionary.
    public init()
    /// Create a dictionary with at least the given number of
    /// elements worth of storage.  The actual capacity will be the
    /// smallest power of 2 that's >= `minimumCapacity`.
    public init(minimumCapacity: Int)
    /// The position of the first element in a non-empty dictionary.
    ///
    /// Identical to `endIndex` in an empty dictionary.
    ///
    /// - Complexity: Amortized O(1) if `self` does not wrap a bridged
    ///   `NSDictionary`, O(N) otherwise.
    public var startIndex: DictionaryIndex<Key, Value> { get }
    /// The collection's "past the end" position.
    ///
    /// `endIndex` is not a valid argument to `subscript`, and is always
    /// reachable from `startIndex` by zero or more applications of
    /// `successor()`.
    ///
    /// - Complexity: Amortized O(1) if `self` does not wrap a bridged
    ///   `NSDictionary`, O(N) otherwise.
    public var endIndex: DictionaryIndex<Key, Value> { get }
    /// Returns the `Index` for the given key, or `nil` if the key is not
    /// present in the dictionary.
    @warn_unused_result
    public func indexForKey(key: Key) -> DictionaryIndex<Key, Value>?
    /// Access the key-value pair at `position`.
    ///
    /// - Complexity: O(1).
    public subscript (position: DictionaryIndex<Key, Value>) -> (Key, Value) { get }
    /// Access the value associated with the given key.
    ///
    /// Reading a key that is not present in `self` yields `nil`.
    /// Writing `nil` as the value for a given key erases that key from
    /// `self`.
    public subscript (key: Key) -> Value?


    //........

※まだまだありますが、必要なところまで抽出

今回重要なのが以下のコードでsubscriptといい添字アクセス(dic["key"]の様な記述)を可能にするメソッドです。

public subscript (key: Key) -> Value?

そしてこのValue値の戻り値がoptionalになっている為Optional("バリュー")と表示されるという事です。

Dictionaryはキーに対して必ず値があるとは限らないのでこの様になっています。

subscriptは自身が定義したクラスにも使えますので勉強してみると面白いです。

参考URL: Swift の Subscript について

Comments

[damadama]

とても詳しくて、参考になりました！！
ありがとうございました。

Answer 2

なぜoptionalが返るのかと言えば、
「そういう仕様だから」

なぜそういう仕様かと言えば、
恐らく
存在しないキーに対してnilを返したいからです

Comments

[damadama]

そいう仕様なのですね！！
答えて頂き、ありがとうございました。