Inout 和 NSMutableDictionary

Question

如果我在 XCode 12 Playground (Swift 5.3) 中运行以下代码，我会从两个列表中得到相同的结果：

import Foundation

var dict = NSMutableDictionary()

dict["x"] = 42

func stuff(_ d: inout NSMutableDictionary) {
    d["x"] = 75
}

stuff(&dict)

dump(dict) // x is 75

另一个：

import Foundation

var dict = NSMutableDictionary()

dict["x"] = 42

func stuff(_ d: NSMutableDictionary) {
    d["x"] = 75
}

stuff(dict)

dump(dict) // x is 75 still

根据此处的文档，第二个清单应该给我一个错误： https://docs.swift.org/swift-book/LanguageGuide/Functions.html

但它仍然有效。

这是因为这些 in-out 规则的执行仅限于 Swift 类型，而 Cocoa 类型除外？

Answer 1

这不是因为 Cocoa 类型被豁免，而是因为 NSMutableDictionary 是 class（而不是 struct），而 inout 并不是指您的想法。

不幸的是，您链接到的文档（以及更多 in-depth documentation on inout parameters it links to）并没有明确“价值”的真正含义：

in-out参数有一个值，传入函数，被函数修改，传回函数外替换原来的值

下面的陈述稍微暗示了一点，但可能更清楚：

您只能将变量作为输入输出参数的参数传递。您不能将常量或文字值作为参数传递，因为无法修改常量和文字。

文档描述的“值”是作为inout 传递的变量。对于值类型 (structs)，这是有意义的，因为每个持有这些类型值的变量实际上都持有该值的一个副本。

var a = MyGreatStruct(...)
var b = a
// a and b are not directly linked in any way

将struct 传递给函数通常复制 值到一个新的局部变量（新变量= 复制），而您可以想象inout 让您直接访问原始 变量（没有新变量）。

没有描述的是，对于行为不同的类，效果是相同的。

let a = MyGreatClass(...)
let b = a
// modifying `a` will modify `b` too since both point to the same instance

将class 传递给函数也会将变量复制到新的局部变量中，但是复制没有意义——两个变量都持有相同的东西：引用 em> 到内存中的对象本身。从这个意义上说，复制并没有做任何特别的事情，您可以从函数内部修改对象，就像从外部修改对象一样。类的inout 的行为方式与structs 相同：它通过引用传递原始变量。无论如何，这与您想要对对象执行的大多数操作无关（尽管它确实允许您将变量指向函数内的 不同 对象）：

var a = MyGreatClass("Foo")

// func foo(_ value: MyGreatClass) {
//     value = MyGreatClass("Bar") // <- not allowed since `value` isn't mutable
// }

func foo(_ value: inout MyGreatClass) {
    value = MyGreatClass("Bar")
}

print(ObjectIdentifier(a)) // <some pointer>
foo(&a)
print(ObjectIdentifier(a)) // <some other pointer>