[英]Swift check type against a generic type
我有一个带有1个参数的泛型函数,想要检查传递参数的类型和泛型类型。 像这样的东西:
func generic<T>(parameter: AnyObject) -> Bool {
if parameter is T {
return true
} else {
return false
}
}
但我不知道怎么称呼它
generic<String>("Hello")
给我一个编译错误:“不能明确地专门化泛型函数generic(”Hello“)
您无法告诉函数其通用占位符的类型是什么(与通用结构不同)。 它必须从上下文中推断它们,例如它的论点。
做你想做的事的一种方法是添加另一个与类型T
相关的参数。 您可以使用所需类型的元类型,而不是传入虚拟值:
func generic<T>(parameter: AnyObject, type: T.Type) -> Bool {
if parameter is T {
return true
} else {
return false
}
}
let o: AnyObject = "hello"
generic(o, String.self) // true
generic(o, NSString.self) // also true
generic(o, Int.self) // false
但是,我会问你,你认为你在这里取得了什么成就? 你已经基本上完成不外乎实现is
作为一个函数:
o is String // true
o is NSString // true
o is Int // false
泛型的要点是通常对参数进行操作,但是你没有给函数任何特定类型的参数实际做任何工作(因此无法推断出一个)。
检查泛型类型是否是哪个类。
protocol Some {}
class SomeClass: Some {}
class AClass: Some {}
func test(_ t: T) -> String {
if T.self == SomeClass.self {
return "Some Class"
} else {
return "Another Class"
}
}
print(test(SomeClass())) // Some Class
print(test(AClass())) // Another Class
这种情况不是通用的候选者。 您只是要求针对类型测试对象。 如果这总是AnyObject,你可以尝试这样的事情:
func istest(parameter: AnyObject, whattype: AnyObject.Type) -> Bool {
if parameter.dynamicType === whattype.self {
return true
} else {
return false
}
}
如果你真的想要一个可以专门化的泛型,你不能明确地专门化一个函数,所以你必须将你的函数包装成一个泛型类型并专门化:
struct Generic<T> {
func generic(parameter: AnyObject) -> Bool {
if parameter is T {
return true
} else {
return false
}
}
}
let ok = Generic<String>().generic("howdy")
let ok2 = Generic<Int>().generic(1)
但是,正如我已经说过的那样,你给出的例子并不是一个好的候选人。 请记住,泛型在编译时被解析 - 我们已经知道解析类型将是什么。 因此,您的测试毫无意义,因为您已经知道了答案。 这就是为什么我向你展示了一个替代函数,其中值和类型都是未知的。
struct Asserter<T>{
func generic(_ val:Any) -> Bool{
let type = type(of: val)
return T.self == type
}
}
_ = Asserter<String>().generic(2)//false
_ = Asserter<String>().generic("")//true
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.