Question

func someFunc<T>(obj: T, inout arr: [T])
{

}

var arr: [String]!
someFunc("a", &arr)

致电someFunc("a", &arr)后，收到错误消息：

[String]! is not identical to [T]

arr是隐式展开的，所以它不应该被视为一个未包装的值，因此能够传递给函数吗？那么写这个的正确方法是什么，考虑到我想保持arr声明相同（保持隐式解包）？

Answer 1

从概念上讲，你应该能够以这种方式使用它是正确的，但实际情况是你传入的值是与数组不同的类型。这很重要，因为您正在引用该值，该值无法转发到内部数组。

隐式展开的可选项实际上只是一个可选项，在引用时自动解包。因此，您可以说明为什么在您使用常规可选项的情况下这不起作用：

var arr: [String]? = ["Hello", "World"]
someFunc("a", &(arr!))

这也无法编译。问题是它试图传递对Optional枚举中存储的值的引用。方法不能与该引用交互，而与实际拥有它的枚举无关。

我认为最好的办法是从someFunc返回数组的副本，而不是使用inout参数：

func someFunc<T>(obj: T, arr: [T]) -> [T]
{

}

Answer 2

对于我来说，在XCode 6.1（6A1052d）中，这种事情会编译，但只是默默地无法修改传入的值。如果编译失败会更好 - 这会让我有些头疼。

Answer 3

您可以将隐式解包的可选项作为inout参数传递。您有两个选择：更改您的函数以显式接受隐式解包的可选项，或者使用sentinel值填充隐式展开的可选项，然后显式解包它。

// Compiled with Xcode Version 6.2 (6C131e)    
var foo: [String]!

func testImplicitlyUnwrappedOptionalInout() {
    // doesn't compile: '[String]!' is not identical to '[T]'
    // someFunc("bar", arr: &foo)

    // crashes at runtime: EXC_BAD_INSTRUCTION (code=EXC_i286_INVOP, subcode=0x0)
    // someFunc("bar", arr: &foo!)

    // must populate foo before unwrapping it.
    foo = []
    someFunc("bar", arr: &foo!)
    if let foo = foo {
        XCTAssertEqual(foo, ["bar"])
    } else {
        XCTFail("foo wasn't populated")
    }

    // or you must change your function to accept an implicitly unwrapped optional inout:
    foo = .None
    someFuncImplcitlyUnwrapped("bar", arr: &foo)
    if let foo = foo {
        XCTAssertEqual(foo, ["bar"])
    } else {
        XCTFail("foo wasn't populated")
    }
}

func someFunc<T>(obj: T, inout arr: [T]) {
    arr.append(obj)
}

func someFuncImplcitlyUnwrapped<T>(obj: T, inout arr: [T]!) {
    if arr == nil {
        arr = []
    }
    arr.append(obj)
}

Thanks to Joe Groff for the hint.

将隐式展开的变量传递给inout参数不会编译

3 个答案: