什么是统一型系统?

我已经阅读了C#和Java的比较,列表中的第一件事是“单根(统一)类型系统”。

你能描述单根(统一)类型系统的含义吗?

C#有一个统一的类型系统。 所有C#类型(包括int和double等基本类型) 都从单个根object类型inheritance 。 与类对象不同,这些基本类型是值类型。 它们不是单独堆分配的,而是按值传递的。

当C#值类型(例如基本int或用户定义的结构)放置在参数集合中时,它存储在没有指针的密集数组中。 这是可能的,因为C#为每个不同的参数“大小”进行自定义参数实例化。 这意味着当您实例化C# List ,基础数组列表存储密集的int数组。

资料来源: http : //www.pin5i.com/showtopic-24376.html

Java有几种基本类型 (int,long,double,byte等) – 但是,它们的特殊之处在于它们不是面向对象的,并且它们不能使用语言本身定义。 它们是值类型,不是堆分配,而是按值传递。

来源: C#和Java的比较 – 统一类型系统 (维基百科)

同时, Java还具有面向对象的原始“包装”类型 (Integer,Long,Double,Byte等),通常称为boxed类型。 这些是堆分配的对象,它们通过引用传递,并且与上面提到的基元类型并行存在。

在Java的更新版本中,基本类型会在必要时自动装入对象类型。 这减轻了管理它们的大部分负担,但它也可能导致细微的错误(另请参阅自动装箱 )。

与C#相反,在Java中,内置的JDK Collections框架始终管理对象指针的集合。 为了使它们以向后兼容的方式进行参数化,Java执行一种称为类型擦除的技术,其中(在运行时)所有内容都被视为容器内的对象(参数化类型检查在编译时执行)。

这意味着您无法创建Java List ,您只能创建List 。 并且,上面的列表实际上存储了一个指向盒装Integer对象的指针数组,这个指针的大小是C#版本的两倍,并且性能要低得多。 对于大多数用例,这种尺寸和性能的差异是无关紧要的。

在大小和性能相关的用例中,有两种选择:

  1. 当您事先知道列表的大小时,请使用本机类型的数组,例如int[] 。 本机类型的数组被打包在内存中,因此它们消耗的内存更少,性能更高。
  2. 如果您事先不知道列表的大小,请使用包含本机数组的第三方列表实现,从而可以在创建后添加元素(例如: Trove , Colt , Fastutil , Guava )。

实际上,C#也不是这样,并非所有类型都来自对象,就像99.9%的对象一样。 存在一些无法变成对象的非常奇怪的类型。 唯一正式支持的是指针。 还有3个不受支持的,比如TypedReference,RuntimeArgumentHandle和第三个名字让我失望的人。 这三种类型在C ++ / C中与可变长度方法互操作使用。 我不会太担心他们。