Scala(和Java)中的类和类型有什么区别？

静态类型是程序的一部分的属性,可以静态证明(静态意味着“不运行它”).在静态类型语言中,无论您是否编写,每个表达式都有一个类型.例如,在Cish“int x = a * bc – d”中,a,b,c和d有类型,a * b有类型,a * bc有类型,* bc -d有类型.但是我们只用类型注释了x.在其他语言中,例如Scala,C#,Haskell,SML和F#,即使这样也没有必要.

究竟什么属性可以证明取决于类型检查器.

另一方面,Scala样式类只是一组对象的规范.该规范包括一些类型信息,并包括许多实现和表示细节,如方法体和私有字段等.在Scala中,类还指定了一些模块边界.

许多语言都有类型但没有类,许多语言都有类但没有(静态)类型.

类型和类之间存在一些可观察到的差异. List [String]是一个类型,但不是一个类.在Scala List中是类,但通常不是类型(它实际上是更高级的类型).在C#中,List不是任何类型,在Java中它是“原始类型”.

Scala提供结构类型. {def foo：Bar}表示任何可证明具有返回Bar的foo方法的对象,无论类如何.这是一种类型,但不是一类.

可以使用类型参数抽象类型.当你写def foo [T](x：T)= …时,那么在foo T体内是一个类型.但是T不是一个阶级.

类型在Scala中可以是虚拟的(即“抽象类型成员”),但是今天的类不能与Scala一起使用(尽管有一个模板化的重要方法来编码虚拟类https://wiki.scala-lang.org/display/SIW/VirtualClassesDesign)

现在,动态类型.动态类型是运行时在执行某些操作之前自动检查的对象的属性.在动态类型的基于类的OO语言中,类型和类之间存在很强的相关性.同样的事情发生在JVM语言上,例如Scala和Java,它们的操作只能动态检查,例如反射和转换.在这些语言中,“类型擦除”或多或少意味着大多数对象的动态类型与其类相同.或多或少.例如,通常不会擦除的数组不是这样,因此运行时可以区分Array [Int]和Array [String]之间的区别.但请记住我的广义定义“动态类型是运行时自动检查的对象的属性”.使用反射时,可以将任何消息发送到任何对象.如果对象支持该消息,那么一切都会成功.因此,将所有可以像鸭子一样呱呱叫的对象称为动态类型是有道理的,即使它不是一个类.这就是Python和Ruby社区称之为“鸭子打字”的本质.另外,根据我的广义定义,即使是“zeroness”也是一种动态类型,在大多数语言中,运行时会自动检查数字以确保不会除以零.有一种非常非常少的语言可以通过将零(或非零)静态类型静态地证明.

最后,正如其他人所提到的那样,有类似int的类型没有类作为实现细节,类型如Null和Any有点特殊但是COULD有类而没有,类型如Nothing不能甚至有任何价值观,更不用说一个班级了.