C++和Java中"泛型"类型之间有什么区别？

Java泛型是大量 C++模板不同.

基本上在C++模板中基本上是一个美化的预处理器/宏集(注意:因为有些人似乎无法理解一个类比,我不是说模板处理是一个宏).在Java中,它们基本上是语法糖,以最小化对象的样板转换.这是对C++模板与Java泛型的相当不错的介绍.

要详细说明这一点:当您使用C++模板时,您基本上是在创建代码的另一个副本,就像使用#define宏一样.这允许您执行诸如int在模板定义中具有确定数组大小等的参数之类的事情.

Java不像那样工作.在Java中,所有对象都来自java.lang.Object,所以,在Generics之前,你要编写如下代码:

public class PhoneNumbers {
  private Map phoneNumbers = new HashMap();

  public String getPhoneNumber(String name) {
    return (String)phoneNumbers.get(name);
  }

  ...
}

因为所有Java集合类型都使用Object作为其基类型,因此您可以在其中放置任何内容.Java 5滚动并添加泛型,因此您可以执行以下操作:

public class PhoneNumbers {
  private Map phoneNumbers = new HashMap();

  public String getPhoneNumber(String name) {
    return phoneNumbers.get(name);
  }

  ...
}

这就是所有Java Generics都是:用于投射对象的包装器.那是因为Java Generics没有改进.他们使用类型擦除.之所以做出这个决定,是因为Java Generics在这篇文章中出现这么晚,他们不想破坏向后兼容性(Map无论什么时候需要Map它都可以使用).与此相比,净/ C#在不使用类型擦除,从而导致各种各样的差异(例如,你可以使用基本类型和IEnumerable和IEnumerable不承担任何关于彼此).

使用Java 5+编译器编译的泛型的类可用于JDK 1.4(假设它不使用任何其他需要Java 5+的功能或类).

这就是Java Generics被称为语法糖的原因.

但是这个关于如何做泛型的决定已经产生了深远的影响,以至于(精湛的)Java Generics FAQ如雨后春笋般出现,回答了人们对Java Generics提出的许多问题.

C++模板具有Java Generics不具备的许多功能:

使用原始类型参数.

例如:

template
class Matrix {
  int T[i][i];
  ...
}

Java不允许在泛型中使用原始类型参数.

使用默认类型参数,这是我在Java中遗漏的一个功能,但是存在向后兼容性原因;

Java允许绑定参数.

例如:

public class ObservableList {
  ...
}

确实需要强调的是,具有不同参数的模板调用确实是不同的类型.他们甚至不共享静态成员.在Java中,情况并非如此.

除了与泛型的差异外,为了完整性,这里是C++和Java(以及另一个)的基本比较.

我也可以建议用Java思考.作为一名C++程序员,许多像对象这样的概念已经是第二天性,但是存在细微差别,所以即使你浏览部分内容也可以有一个介绍性文本.

学习Java时学到的很多东西都是库(都是标准的 - JDK中的内容 - 和非标准的,包括常用的东西,如Spring).Java语法比C++语法更冗长,并且没有很多C++特性(例如运算符重载,多重继承,析构机制等),但这并不严格地使它成为C++的子集.