在枚舉中使用泛型函數

Question

我想使用枚舉來包含泛型函數。這些枚舉將作爲參數傳遞，然後可以相應地執行枚舉中的函數。

你如何設置在枚舉定義，這樣，他們將被視爲功能泛型類型要執行？請注意，我有可能，我可能要通過各種函數定義。

讓我知道，如果我在這兒可笑。 :)

---

// Define an enum to pass into my APIs. The S and F are meant to be functions I can define in anyway 
enum FormattedResult<S, F> { 
    case Success(S) 
    case Failure(F) 

    func run<T> (a:T) { 
     switch (self){ 
     case .Success (let completion): 
      // QN: How do I execute this? completion() will of course fail 
      debugPrint(completion) 
     case .Failure (let failure): 
      // QN: Same here 
      debugPrint(failure) 
     } 
    } 
} 


// I want to define a callback for someone else to call. I will be passing this to the error 
var k1 = FormattedResult<(Int)->(), (String)->() >.Success(
    {(a: Int) in 
     debugPrint("xxxxx") 
    }) 

// the APIClient can run this upon completion 
k1.run(2) 

// similarly for failures 
var k2 = FormattedResult<(Int)->() , (String)->()>.Failure(
    {(error: String) in 
     debugPrint(error) 
    } 
    ) 
k2.run("some error happened...") 

Answer 1

在原來的代碼，創建變量​​或k2，S和F仍然時，雖然定義一個封閉的回調只是佔位符類型，並沒有說什麼S & F必須是。因此，這裏的挑戰是如何定義Swift枚舉來存儲給定函數類型的關聯值。

所以我們的想法是可以使用函數類型，例如(T) -> void作爲枚舉的參數類型，並將函數實現的某些方面與枚舉case值一起留下，以提供何時調用enum函數。

接下來的事情我們並不需要兩個佔位符類型的枚舉，因爲我們只有每個功能run(:)被稱爲即使它可能是String或Int時間有a一種類型。這也是Generic的力量。雖然佔位類型T不說什麼T必須是任何東西，但它說，枚舉(T) -> void兩個a和關聯的值必須是同一類型T的，無論T表示。因此，在這種情況下，一種類型的佔位符就足夠了。

其實，我喜歡你的想法是，來電者可以在價值傳遞給在枚舉run函數來執行，你幾乎沒有在原來的代碼。以下是我上面提到的一個例子。

enum FormattedResult<T> { 
    case Success(((T) -> Void)) 
    case Failure(((T) -> Void)) 

    func run(a:T) { 
     switch self { 
     case Success(let completion): 
      completion(a) 
     case Failure(let completion): 
      completion(a) 
     } 
    } 
} 

let f1 = FormattedResult.Success({ a in 
    debugPrint(a) 
}) 
f1.run(1) 

let f2 = FormattedResult.Failure({ error in 
    debugPrint(error) 
}) 
f2.run("some error happened...") 

Answer 2

你不能把completion或failure作爲一個閉包，因爲你不知道它們是什麼類型。

如果使用S和F提供呼叫者需要傳遞的類型，那麼你可以指定你的成功和失敗值的相關類型。

enum FormattedResult<SuccessArg, FailArg> { 
    case Success(SuccessArg -> Void) 
    case Failure(FailArg -> Void) 
} 

注意：如果你想定義一個非空返回值，那麼你就必須要增加兩個通用的參數和替換Void。

下一個問題：實現運行功能。

extension FormattedResult { 
    func run(a:AnyObject) { 
     switch (self){ 
     case .Success (let completion): 
      // completion is of type (SuccessArg -> Void) 
      if let successArg = a as? SuccessArg { 
       completion(successArg) 
      } else { 
       fatalError() //?? 
      } 
     case .Failure (let failure): 
      // failure is of type (FailArg -> Void) 
      if let failArg = a as? FailArg { 
       failure(failArg) 
      } else { 
       fatalError() //?? 
      } 
     } 
    } 
} 

我承認困惑什麼運行功能。 run的來電不應該知道是Success還是Failure？因爲您的API的客戶端選擇實施SuccessCase或FailureCase;調用者必須提供成功和失敗的值。

我可能誤會了，這是你在找什麼：

extension FormattedResult { 
    func run(a:SuccessArg, b:FailArg) { 
     switch (self){ 
     case .Success (let completion): 
      // completion is of type (SuccessArg -> Void) 
      completion(a) 
     case .Failure (let failure): 
      // failure is of type (FailArg -> Void) 
      failure(b) 
     } 
    } 
}