typealias 泛型函数

Question

作为学习练习，我正在尝试编写一个小型函数库。我的库中的许多函数都需要传入一个函数。我想为这个函数“键入别名”，以便我的库的用户必须传入一个具有特定签名的函数。

我试过了：

typealias Callback = Result<AnyObject> -> ()

这种工作，但我希望AnyObject 部分是任何东西。不是专门AnyObject，因为那实际上是某种真正的类型（？）。我的Result 枚举我基于这个article 关于Swift 中的错误处理。这是一个通用枚举，所以这就是我想在我的函数签名中体现的内容。

如果我删除 <AnyObject> 部分，我会收到一条错误消息：

对泛型“结果”的引用需要 <...>

中的参数

如果我只是 Result<T> 我得到错误：

使用未声明的类型'T'

据我所知，不可能对泛型进行 typealias。那么..这附近有吗？

TLDR;

我有一堆函数，我想将特定签名的函数作为参数，在我的例子中：

(result: Result<T>) -> ()

我该如何强制？

Answer 1

Swift 4.1 支持泛型类型别名。您可以使用此功能为具有泛型参数的函数提供名称。

您可能必须使用这样的声明：

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

Answer 2

正如您所说，没有办法让 typealias 是通用的 (language reference)，但您仍然可以在函数定义中包含您的方法签名，只是有点混乱：

enum Result<T> {
    case Success(T)
    case Failure
}

func printResult<T>(result: Result<T>) {
    switch result {
    case .Success(let value):
        println(value)
    case .Failure:
        println("failure")
    }
}

func doSomething<T>(value: T?, f: (Result<T>) -> ()) {
    if value != nil {
        f(Result<T>.Success(value!))
    } else {
        f(Result<T>.Failure)
    }
}

doSomething(21, printResult)
// 21

// can't do this, since type inference for the generic
// Result<T> doesn't work on just `nil`:
// doSomething(nil, printResult)

let noString: String? = nil 
doSomething(noString, printResult)  // now calling as doSomething<String>
// failure

Answer 3

这里我将展示 typealias in swift 2.0 的示例，展示如何在协议定义中使用 typealias：我希望这有助于您理解 swift 2.0 中的 typealias

protocol NumaricType {

typealias elementType

func plus(lhs : elementType, _ rhs : elementType) -> elementType

func minus(lhs : elementType, _ rhs : elementType) -> elementType
 }


struct Arthamatic :NumaricType {

func addMethod(element1 :Int, element2 :Int) -> Int {
   return plus(element1, element2)
}
func minusMethod(ele1 :Int, ele2 :Int) -> Int {
    return minus(ele1, ele2)
}

typealias elementType = Int

func plus(lhs: elementType,  _ rhs: elementType) -> elementType {
    return lhs + rhs
}
func minus(lhs: elementType, _ rhs: elementType) -> elementType {
    return lhs - rhs
 }
}

输出：

     let obj =  Arthamatic().addMethod(34, element2: 45) // 79