在Scala（和Java）类和类之间的区别是什么
最新回答
无可代替的骄傲
2024-09-12 18:28:32
2. 好吧，我会咬...有一个很好的答案，所以我要去尝试不同的技巧和提供一个更下降到地球的观点。 广义地空判空说，一类是可被实例化。单例对象（scala）性状（scala）和接口（scala）被认为是类。这是有道理的，因为单身仍然实例化（代码）和一个接口可以被实例化一个子类的一部分。 其中第二点.class是设计在大多数面向对象语言的基本单位（虽然不是基于原型的，如JavaScript）的。斗瞎多态性与子类在类术语界定.class还提供了一个和可见性控制。 类型是一个非常不同的野兽，该系统能够表达每一个可能的值将具有一种或多种类型，并且这些可以等同于类，例如：(Int) => String // both the type and class are Function1[Int,String]
"hello world" // class and type are String
您还可以得到scala和Java之间有趣差异：7 // both the class and type are Int in Scala
// in Java there's no class and the type is Integer.TYPE
println("hello world") // the return type is Unit, of class Unit
// Java has void as a type, but no corresponding class
error("oops") // the type and class are both "Nothing"
而真正有趣的类型不属于类的。例如，this.type始终指的unique类型this。这是唯一的一个实例，是不是与类的其他实例。 也有抽象类型和类型，例如：type A // 'A' is an undetermined abstract type
// to be made concrete in a subclass
class Seq[T] { ... } // T is a type, but not a class
Seq有趣的是，因为它是一个类，而不是一个类型。更准确地说，它是一个“类的构造函数”，这将构建一个有效的类型时，提供必要的类型提供的类型构造器的另一个术语是“高kinded类型”，我个人不喜欢这个词，因为“型构造”思在供应类型像任何其他表单的条款-模型，有良好的scala。 “高kinded”正确地暗示Seq有一个“种”，这是* => *，这个符号指出，Seq将采取单一的类型和产生一个单一的类型（这类似于用于描述函数柯里表示法）。通过这样的一种Map是* => * => *它需要两个类型
3. A型可通过本身，没有任何实例.a个例子这就是所谓的“幽灵式”。下面是Java的一个例子： 在这个例子中，我们有public static class Initializer<HA, HB>，其中HA和HB取类型（由抽象类代表TRUE和FALSE），而没有beeing实例化。 我希望这表明，类型和类是不同的，并且类型可以通过本身。
4. （仅限于Java），我会说，一类是一组对象。对象o是类型X如果o是集X.class型X是的子类型Y，如果设置X的一个子集Y。 对于每一个C类（不是接口）有一组对象，从创建new C(...)。有趣的是，我们很少在乎这一套。 （但每一个对象不属于一组这样的事实，这可能 对于每一个C类，有一种类型t(C)一般方称为“C型”，这是一组可从被创建的所有对象的new S(...)其中，S是C或C的子类 类似地，对于每一个接口I，有一种类型的t(I)，“I型”，这是一组可从被创建的所有对象的new S(...)其中S一 如果类S是的一个子类C，S型是C型的类似接口的子类型I有一个空值类型，它是空集。 NULL类型是每个类型的子类型。 有一组中的所有对象，这是Object类型。这是一个超类型每一种类型的。 到目前为止，这种表单主义是A型基本上是在一个类或接口，以及亚型的关系基本上是子类/子关系。在平凡是一件好事，语言是可以理解的！但进入仿制药，有型，而像类型的并，交运算.class型不再只类和接口，以及亚型关系更丰富，更难理解。
热门标签
