【Swift 3 && C++11】<第一部分> 概览(8): Swift 泛型 与 C++ 泛型

编程范式

|Swift|C++
:-:|:-:|:-:
有用的关键字和符号|<>, where|template,<>

先来介绍 Swift 的泛型.

Swift 中在尖括号里写一个名字来创建一个泛型函数或者类型:

func makeArray(repeating item: Item, numberOfTimes: Int) -> [Item] {
    var result = [Item]()
    for _ in 0..

你可以创建泛型函数, 方法, 类, 枚举和结构体:

enum OptionalValue {
    case none
    case some(Wrapped)
}
var possibleInteger: OptionalValue = .none
possibleInteger = .some(100)

在类型名后面使用where来指定对类型的特殊需求, 比如, 限定类型实现某一个协议, 限定两个类型是相同的,或者限定某个类必须有一个特定的父类:

func anyCommonElements(_ lhs: T, _ rhs: U) -> Bool
    where T.Iterator.Element: Equatable, T.Iterator.Element == U.Iterator.Element {
    for lhsItem in lhs {
        for rhsItem in rhs {
            if lhsItem == rhsItem {
                return true
            }
        }
    }
   return false
}
anyCommonElements([1, 2, 3], [3])

练习: 修改anyCommonElements(_:_:) 函数来创建一个函数，返回一个数组，内容是两个序列的共有元素。

注意, 和 是等价的.

** C++中**的泛型分为泛型函数和泛型类. 通过创建相应的模板实现: 函数模板和类模板.

类模板, 以 template开头, 尖括号中写类型参数名列表, 类型参数名以 class或typename开头, 再后面写类的定义:

#include 
using namespace std;

template 
class Class1 {
public:
    T doSomething(const T);
    T t;
};

int main() {

    Class1 class1;
    Class1 class2;

    return 0;
}

函数模板,和类模板类似:

#include 
using namespace std;

template 
void doSomething(T t) {
    cout << t+1 << endl;
}

int main() {

    doSomething(5);
    
    return 0;
}

注意到, 在使用函数模板的时候, 和使用一般函数一样doSomething(5);, 而使用类模板时候需要显式指定类型实参Class class1;.

这是因为当我们使用函数模板来调用某一个具体的函数时, 编译器将为我们自动推断出模板参数,比如doSomething(5); 编译器将推断出类型参数T 为int.

而使用类模板的时候, 就没有这样方便了, 我们必须在使用类模板的时候需要显式的指定模板实参.

另外在定义模板(不管是函数模板还是类模板)时, 尖括号中的模板参数列表,并非必须是需要class 或typename开头标示的某一类型, 它们也可以是确定的类型,比如template ...:

#include 
using namespace std;

template 
void doSomething() {
    cout << T << endl;
}

template 
class Class {
    
public:
    void doSomething() {
        cout << ch << endl;
    }
};

int main() {


    doSomething<5>();
    
    Class<'k'> class1;
    class1.doSomething();
    
    return 0;
}

不过, 此时在使用模板的时候,尖括号的内容必须用常量表达式来提供给模板.