|Swift|C++
:-:|:-:|:-:
有用的关键字和符号|<>, 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开头, 尖括号中写类型参数名列表, 类型参数名以 class或typename开头, 再后面写类的定义:
#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); 编译器将推断出类型参数T 为int.
而使用类模板的时候, 就没有这样方便了, 我们必须在使用类模板的时候需要显式的指定模板实参.
另外在定义模板(不管是函数模板还是类模板)时, 尖括号中的模板参数列表,并非必须是需要class 或typename开头标示的某一类型, 它们也可以是确定的类型,比如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;
}
不过, 此时在使用模板的时候,尖括号的内容必须用常量表达式来提供给模板.
