[String：AnyObject？]および[String：AnyObject]は、高速コンパイラと同じ型ではないのはなぜですか？

Question

意味的に言えば、[String:AnyObject?]と[String:AnyObject]は、同じように動作します。つまり、設定されていないキーにアクセスし、キーをnilに設定すると、同じキーが辞書から削除されます。 。なぜ彼らは同じタイプと見なされないのですか？

EDIT：答えからのコンパイラの視点との違いを理解しています。私が遊び場に次のコードを置くことにしました：

var optional = [String:AnyObject?]() 
var regular = [String:AnyObject]() 

//Some control keys 
optional["controlkey"] = "valueoptional" 
regular["controlkey"] = "valueRegular" 

//Set the keys 
optional["keyOptional"] = "valueoptional" 
regular["keyRegular"] = "valueRegular" 

//Unset the keys 
optional["keyOptional"] = nil 
regular["keyRegular"] = nil 

for (key,val) in optional { 
    print("key: \(key)\tval: \(val)") 
} 

for (key,val) in regular { 
    print("key: \(key)\tval: \(val)") 
} 

驚いたことに、オプションががnilに設定したキーを印刷しませんでした。 出力は以下の通りであった：

key: controlkey val: Optional(valueoptional) //The keys for the optional dictionary 
key: controlkey val: valueRegular //The keys for the `regular` dictionary 

なぜ私が現れnilに設定されていない重要なのですか？

Answer 1

null可能な型とnull以外の型は、コンパイラの観点から同じものではないためです。 Dictionnaryインターフェイスは最終的に同様のエンティティで「ブレンド」されますが、実際には型システムではなく、Dictionnary実装とリンクされています。

EDIT：このアップデートでは質問のコンテキストが変更されますが、設定をnilに設定することは私の理解から解除する方法です。アップルのドキュメントから

Answer 2

：

スウィフト言語は後置を定義しますか？スレーブ標準 ライブラリで定義されている という名前のタイプのオプションの構文糖として。

タイプAnyObject？存在しないかもしれない値を表すために使用されるNoneとSome（Wrapped）の2つのケースを持つ列挙体です。しかし、AnyObjectは提示されるものに応答しています。

辞書のキーにnilを設定すると、要素自体が削除されます。 nilにキーを設定すると、辞書からそのキーを削除するのでNSNull()

optional["keyOptional"] = NSNull() 

Answer 3

を設定してみてください！ documentation

自己が存在しないキーを読み取ると、nilが返されます。指定したキーの値としてnilを書き込むと、そのキーは自己から消去されます

辞書値としてnilを保存することはできません。あなたは虚無を表す何かが必要な場合は、NSNullを使用します。

optional["keyOptional"] = NSNull() 
regular["keyRegular"] = NSNull() 

Answer 4

あなたが実際に[String:AnyObject?]にnilを保存することができますので、彼らが異なっています。その1は、nilのための特別な行動を持っているので、あなたはoptional[key] = value（添字演算子）を使用して、それを行うことはできません（値を削除します）が、あなたはそれを行うことができます：もちろん

var optional: [String:AnyObject?] = ["test": nil] 
optional.updateValue(nil, forKey: "test2") 

print(optional) // ["test2": nil, "test": nil] 

、そのような辞書から値を取得：

print(optional["test"]) // Optional(nil) 

は、オプションのOptional<Optional<AnyObject>>（またはAnyObject??）となります。そのようなタイプとのやり取りは面倒ですので、nilを辞書に保存しないようにしてください。

Answer 5

これらは同じ型ではないため、同じ型ではありません;-)コンパイラはそのようなリテラルな生き物です。

@スルタンの答えは正確で完全です - 私は自分の答えで投稿を打つまで、私はそれを見ませんでした。しかし、[String: AnyObject?]ディクショナリでキーを検索し、値が存在する場合は、オプションでラップされます（結果はAnyObject??）。

var optional = [String: AnyObject?]() 

// I changed it to NSString because String isn't an AnyObject 
          v 
optional["controlkey"] = NSString(string: "valueoptional") 

print(optional["controlkey"]) // prints "Optional(Optional(valueoptional))" 
if let val = optional["controlkey"] { 
    print(val)     // prints "Optional(valueoptional)" 
    if let unwrappedVal = val { 
     print(unwrappedVal)  // prints "valueoptional" 
    } 
}