swift - swift 中函数和泛型函数的区别

Question

我想知道 swift 中的 Function 和 Generic 函数之间的区别。以下 Function 和 Generic function 是一样的..谁能告诉我 Generic functions 的确切用法？

func simpleMin<T: Comparable>(x: T, y: T) -> T {  //Generic functions
    if x < y {
        return y
    }
    return x
}


func sampleMin(x:AnyObject,y:AnyObject)->AnyObject{  //Function
    if x.integerValue < y.integerValue {
        return y
    }
    return x
}

Answer 1

泛型函数让您可以在函数的参数和结果上使用 Swift 的类型安全性，从而编写更安全、更简洁的代码。例如，您的第一个函数要求传入的两个参数属于同一类型，并保证返回同一类型的值:

let minInt: Int = simpleMin(5, 12)
let minDouble: Double = simpleMin(5.0, 12.0)

而你的第二个函数没有这样的要求，也没有这样的保证:

let minOne: AnyObject = sampleMin(5, 12.0)     // minOne is an AnyObject holding an Int
let minTwo: AnyObject = sampleMin(5.0, 12)     // minTwo is an AnyObject holding an Double
let minThree: AnyObject = sampleMin("Five", true)   // what is supposed to happen here, exactly?

有了这些AnyObject结果我需要做额外的检查以确保我理解函数返回的内容，因为AnyObject (显然)比我的原始参数更不具体。

此外，泛型函数允许您对它们接受的参数施加约束，因此您可以确保仅使用有意义的参数调用该函数。您的第一个函数要求参数符合 Comparable协议(protocol)，这意味着我不能只用两个随机对象来调用它。编译器会让我用 UIView 的两个实例调用你的第二个函数，例如，在执行该代码时崩溃之前不会有任何问题。

---

理解协议(protocol)是使用泛型的重要部分。协议(protocol)定义了一些对所有类都有用的特定功能，并将该功能的实现留给类本身。 Comparable上面的协议(protocol)就是一个例子；这是定义:

protocol Comparable : Equatable {
    func <=(lhs: Self, rhs: Self) -> Bool
    func >=(lhs: Self, rhs: Self) -> Bool
    func >(lhs: Self, rhs: Self) -> Bool
}

这是说任何“符合”Comparable 的对象协议(protocol)将具有使用 <= 的定义, >= , 和 >运算符——也就是说，你可以写成 if a > b对于任何两个都是 Comparable 的对象.

---

更多阅读:
The Swift Programming Language: Generics
Generic Programming - Wikipedia

泛型长期以来一直是 C# 和 Java 以及其他语言的一个特性，因此您可能会找到更多资源来帮助您了解它们的优势以及如何在它们的文档中使用它们。