1.泛型
泛型是一种编程范式,在不同的语言和编译器中的实现和支持方式都不一样。
通常情况下,一个编译器处理泛型有多种方式,以C++和Java的编译器为例展开介绍
C++中,当编译器对以下代码进行编译时:
template<typename T>
struct Foo {
T bar;
void doSth(T param) {
}
}
Foo<int> f1;
Foo<float> f2;
编译器发现要用到Foo和Foo,这时就会为每个泛型类新生成一份执行代码,相当于新创建了如下两个类:
struct FooInt {
int bar;
void doSth(int param) {
}
}
struct FooFloat {
float bar;
void doSth(float param) {
}
}
这种做法很方便,只需要根据具体类型找到具体的类和方法即可,但问题是,当我们多次使用不同类型的模板时,就会创建很多新的类,导致代码膨胀
Java在处理泛型时,采用了另外一种方式。Java的编译器在编译以下代码时:
public class Foo<T> {
T bar;
void doSth(T param) {
}
}
Foo<String> f1;
Foo<Integer> f2;
并不会创建多份执行代码,在编译后的字节码文件中会把泛型的信息擦除:
public class Foo {