我可以限制一个泛型参数*不*可选吗？

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