斯威夫特通用枚举为逃避闭包是功能

protocol A {} 
extension Int: A {} 
extension String: A {} 

enum Result<T> { 
    case success(T) 
    case error(Error) 
} 

typealias BaseFunc = (Result<A>) ->() 

func foo(r: Result<Int>) {} 
func bar(r: Result<String>) {} 

var f: BaseFunc = foo

编译器参数的参数说cannot convert value of type '(Result<Int>) ->()' to specified type 'BaseFunc' (aka '(Result<A>) ->()')斯威夫特通用枚举为逃避闭包是功能

是什么，我想在斯威夫特做可能吗？也许有另外一种方法可以达到类似的结果？

@iWheelBuy对此问题正确回答。但是我认为它是错误的。我想是这样的：

protocol A {} 
extension Int: A {} 
extension String: A {} 

enum Result<T> { 
    case success(T) 
    case error(Error) 
} 

typealias BaseFunc<T> = (Result<T>) ->() 

func foo(r: Result<Int>) {} 
func bar(r: Result<String>) {} 

var f: BaseFunc<A> 
if arc4random_uniform(10) < 5 { 
    f = foo 
} else { 
    f = bar 
}

导致：cannot assign value of type '(Result<Int>) ->()' to type '(Result<A>) ->()'

来源

2017-09-01 Serge Rykovski

一个'（结果） - > Void'不是'（结果） - > Void'。说你的代码符合;我可以说'f（.success（“foobar”））'。我们只是通过一个'String'来期望一个'Int'。但是在任何情况下，[泛型都是不变的]（https://stackoverflow.com/q/41976844/2976878），所以反过来也是非法的（但由于'Result'的值语义在技术上是合理的）。 – Hamish

您是否尝试过这种方式？

typealias BaseFunc<B:A> = (Result<B>) ->()

您typealias没有一个泛型参数

来源

2017-09-01 10:50:07 iWheelBuy

你是绝对正确的。但是，当我试图在我的更具体的例子中遵循你的建议时，它仍然失败。协议A {} 扩展INT：A {} 扩展字符串：A {} 枚举结果 { 情况下成功（T）情况误差（错误） } typealias BaseFunc =（结果） - >（） FUNC FOO（R：结果）{} FUNC巴（R：结果）{} 变种F：BaseFunc 如果arc4random_uniform（10）<5 { F = FOO } else { f = bar } –

@SergeRykovski [我上面的评论]（https://stackoverflow.com/questions/45997818/swift-generic-enum-as-a-parameter-for-escaping-closure-that -is-a-parameter-for-f＃comment78957302_45997818）仍适用于您的新示例。 A'（结果） - >（）'是* not * a'（结果） - > Void'。 – Hamish

@SergeRykovski您可以告诉我们您想在设置VAR F后使用的方式吗？ – iWheelBuy

斯威夫特通用枚举为逃避闭包是功能

回答

相关问题