我可以限制一個泛型參數*不*可選嗎？

Question

比方說，我有這樣的代碼：

func hello<T>(thing: T) -> String { 
    return "hello \(thing)" 
} 

我可以寫一個版本的hello功能，如果它通過一個可選的，將無法編譯的？

let foo = "some" 
let bar: String? = nil 

print(helloNoOptional(foo)) // should compile 
print(helloNoOptional(bar)) // should not compile 

我想，也許這是可行的與協議一致性或where條款對T，但我想不出究竟會工作。

我想這樣做的原因是因爲我正在處理遺留代碼庫中的實際功能，如果thing爲零，則沒有明顯的行爲。因此，我寧願阻止hello被選中，而不是在打開thing以解決問題，並試圖找出明智的錯誤行爲。

更新：

一條可行的途徑......我意識到，可選枚舉符合NilLiteralConvertible協議。因此，如果我可以找到一種方法來將我的泛型限制爲而不是符合某種類型，我可以事實上排除選項。但我不知道是否有可能像做

<T where !T: NilLiteralConvertible> 

Answer 1

我能想到的最好的是超載和在運行時檢查：

func hello<T>(thing: T) -> String { 
    return "hello \(thing)" 
} 

fun hello<T>(thing: T?) -> String { 
    fatalError("No optionals allowed!") 
} 

hello("swift") // fine 
hello(2)  // fine 
hello(Int("2")) // fatal error 

但我不知道發生的一種方式代之以編譯時錯誤。

Answer 2

編輯

您可以創建一個虛擬的協議（以下NotOfOptionalType），並延長你期望通過該協議在您的泛型函數中使用的所有類型。最後，使用虛擬協議作爲泛型函數中參數的類型約束; optionals不符合此類型約束，並且如果它們作爲這些函數的參數發送，則會在編譯時給出錯誤。

// dummy protocol 
protocol NotOfOptionalType {} 

extension String : NotOfOptionalType {} 
extension Int : NotOfOptionalType {} 
extension Double : NotOfOptionalType {} 
// ... extend to the types you will use 

func hello<T: NotOfOptionalType > (thing: T) -> String { 
    return "hello \(thing)" 
} 

let foo = "some" 
var bar: String? = nil 

print(hello(foo)) // compiles 
print(hello(bar)) // fails at compile time 
bar = "something" 
print(hello(bar)) // fails at compile time 
print(hello(bar!)) // compiles