【Swift 3 && C++11】 概览(8): Swift 泛型 与 C++ 泛型

2017-01-13 15:18:43来源:http://www.jianshu.com/p/55a7feaf6646作者:aLittleZ人点击



编程范式













SwiftC++
有用的关键字和符号
<>, where

template,<>

先来介绍 Swift 的泛型.


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


func makeArray<Item>(repeating item: Item, numberOfTimes: Int) -> [Item] {
var result = [Item]()
for _ in 0..<numberOfTimes {
result.append(item)
}
return result
}
makeArray(repeating: "knock", numberOfTimes:4)

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


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

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


func anyCommonElements<T: Sequence, U: Sequence>(_ 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(_:_:) 函数来创建一个函数,返回一个数组,内容是两个序列的共有元素。


注意, <T: Equatable><T where T: Equatable>是等价的.


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


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


#include <iostream>
using namespace std;
template <typename T>
class Class1 {
public:
T doSomething(const T);
T t;
};
int main() {
Class1<int> class1;
Class1<double> class2;
return 0;
}

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


#include <iostream>
using namespace std;
template <typename T>
void doSomething(T t) {
cout << t+1 << endl;
}
int main() {
doSomething(5);
return 0;
}

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


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


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


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


#include <iostream>
using namespace std;
template <int T>
void doSomething() {
cout << T << endl;
}
template <const char ch>
class Class {
public:
void doSomething() {
cout << ch << endl;
}
};
int main() {

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

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




最新文章

123

最新摄影

微信扫一扫

第七城市微信公众平台