类型和类有什么区别？

Question

是什么让类型与类不同，反之亦然？

（在一般语言不可知的意义上）

Answer 1

Type 在概念上是类的超集。在更广泛的意义上，类是类型的一种形式。

与类密切相关的是接口，它可以被看作是一种非常特殊的类——一个纯粹的抽象类。这些也是类型。

所以“类型”包括类、接口和大多数语言中的原语。像 dot-net CLR 这样的平台也有结构类型。

Answer 2

类型包含数据的描述（即属性、操作等），

类是一种特定类型 - 它是创建objects 实例的模板。

严格来说类是一个特殊的概念，它可以看作是一个包含metadata子集的包，描述了一个对象的某些方面。

例如，在 C# 中，您可以找到接口和类。两者都是类型，但是接口只能定义一些契约，不能像类那样实例化。

简单来说class是一个专门的类型，用来封装对象的属性和行为。

维基百科可以给你更完整的答案：

• Definition of class
• Definition of data type

Answer 3

我一直认为“类型”是“类”和“原语”的总称。

int foo; // Type is int, class is nonexistent.

MyClass foo; // Type is MyClass, class is MyClass

Answer 4

以最快的方式说明它：

结构是类型，但结构不是类。

如您所见，Type 是一个“抽象”术语，不仅用于定义类，还用于结构和原始数据类型，如 float、int、bool。

Answer 5

类型是所有可用对象模板或概念的总称。类就是这样一种对象模板。结构类型、整数类型、接口类型等也是如此。这些都是类型

如果你愿意，你可以这样看：类型是父概念。所有其他概念：类、接口、结构、整数等都继承自这个概念。即它们是类型

Answer 6

我认为类型是您可以使用特定值执行的一组操作。例如，如果您有一个整数值，您可以将其添加到其他整数（或执行其他算术运算），或将其传递给接受整数参数的函数。如果你有一个对象值，你可以调用它的类定义的方法。

因为类定义了您可以使用该类的对象做什么，所以类定义了一种类型。一个类不仅如此，因为它还提供了如何实现方法的描述（类型没有暗示的东西）以及对象的字段是如何布局的。

还要注意，一个对象值只能有一个类，但它可以有多种类型，因为每个超类都提供了对象类中可用功能的子集。

因此，尽管对象和类型密切相关，但它们实际上并不是一回事。

Answer 7

类型一般指原始值的分类——整数、字符串、数组、布尔值、null等。通常不能创建任何新类型。

类 指的是对象在创建时与之关联的一组命名属性和方法。您通常可以根据需要定义任意数量的新类，但在某些语言中您必须创建一个新对象，然后为其附加方法。

这个定义大部分是正确的，但是一些语言试图以各种方式组合类型和类，并产生各种有益的结果。

Answer 8

添加另一个区别示例：在 C++ 中，您有指针和引用类型，它们可以引用类，但它们本身不是类。

Bar b; // b is of type "class Bar"
Bar *b2 = &b; // b2 is of type "pointer to Class Bar"
Bar &b3 = b; // b3 is of type "reference to Class Bar"
Bar *b4[7]; // b4 is of type "7-element array of pointers to Class Bar"
Bar ***b5; //b5 is of type "pointer to a pointer to a pointer to Class Bar"

请注意，只涉及一个类，但可以使用几乎无限数量的类型。在某些语言中，函数被认为是“一等对象”，在这种情况下，函数的类型是类。在其他情况下，函数的类型仅仅是一个指针。类通常具有能够保存数据以及对该数据进行操作的概念。

Answer 9

有趣的问题。我认为aku的答案是正确的。以javaArrayList类为例

public class ArrayList<E> extends AbstractList<E>
    implements List<E>, RandomAccess, Cloneable, java.io.Serializable

ArrayList 类的一个实例被称为它扩展的每个超类和它实现的每个接口的类型。因此，ArrayList 类的实例具有ArrayList、RandomAccess、Cloneable 等类型。换句话说，值（或实例）属于一种或多种类型，类定义这些类型是什么。

Answer 10

类型和类是相关但不相同的。我的看法是类用于实现继承，而类型用于运行时替换。

Here 是一个链接，它解释了替换原则以及为什么子类和子类型并不总是相同的东西（例如在 Java 中）。 wikipedia 关于协变和逆变的页面有更多关于这种区别的信息。

Answer 11

以下答案来自 Gof book (Design Patterns)

一个对象的类定义了如何 对象被实现。班上 定义对象的内部状态和 其实施 操作。

相反，一个对象的 type 仅指其接口 - a 它可以处理的一组请求 回应。

一个对象可以有多种类型， 并且不同类的对象可以 具有相同的类型。

//example in c++
template<typename T> 
const T & max(T const &a,T const &b)
{
return a>b?a:b;  //> operator of the type is used for comparison
}

max 函数需要一个具有 operation > 类型的类型作为它的接口之一 满足上述要求的任何类都可以用于生成特定的 max 函数那个班级。

Answer 12

不同的类可能描述相同的类型。

类型由以下部分组成：

1. 操作 = 语法
2. 操作描述 = 语义

类由以下部分组成：

1. 操作 = 语法
2. 实现（= 各种实现描述相同的语义）

一些注意事项：

• 接口（如在 Java 中）不是类型，因为它不描述语义（仅描述语法）

• 子类不是子类型，因为子类可能改变超类中定义的语义，子类型不能改变超类型语义（参见 Liskov Substitution Principle，例如this LSP example）。

Answer 13

我的想法和阿库的回答差不多。

我将类视为构建对象的模板，而类型是对这些对象进行分类并为我们提供它们的接口的一种方式。

Python 还添加了元类，它只是一种构建类的机制，就像类构建对象一样（而且，类和元类都是对象）。

This responselamba 中的同一个问题，在我看来，终极版是一个完美的解释。

Answer 14

显然，由于有类型系统的语言不是 OO 编程语言，所以 type 必须是比 class

更广泛的概念

即使在像 Java 这样的语言中，int 也是一个（原始）类型，而不是一个类。

因此：每个类都是一个类型，但不是每个类型都是一个类。

Answer 15

如果我们在 C# 上下文中思考这个问题，我们会得到以下答案。

C#类型系统分为以下几类：

值类型：

• 简单类型：如 int、long、float 等。
• 枚举类型
• 结构类型
• 可为空的类型

引用类型：

• 类类型
• 接口类型
• 数组类型
• 委托类型

如您所见，C# 中有许多类型，Class 只是其中之一。 只有一个重要的注意事项： C# 的类型系统是统一的，因此任何类型的值都可以被视为对象。 C# 中的每一种类型都直接或间接地派生自 object 类类型，而 object 是所有类型的最终基类。只需将值视为类型对象，即可将引用类型的值视为对象。通过执行装箱和拆箱操作，将值类型的值视为对象。

如我所见，type 是许多项目的保护伞，其中 class 是其中之一。

参考：CSahrp 语言规范文档，第 4 页

Answer 16

灵感来自Wikipedia...

在类型理论方面；

• 类型是一个抽象接口。
  类型一般代表名词，例如人、地点或事物，或名词化的事物，

• 类表示该类型的实现。
  它是一个具体的数据结构和子程序的集合

  不同的具体类可以产生相同抽象类型的对象（取决于类型系统）。

  *例如，可以使用两个类实现类型 Stack：SmallStack（对于小堆栈来说速度很快，但扩展性很差）和ScalableStack （扩展性很好，但对于小堆栈来说开销很大）。*

  同样，一个给定的类可能有几个不同的构造函数。

香蕉示例。

• Banana type 表示香蕉的一般特性和功能。

• ABCBanana 和 XYZBanana 类将代表香蕉的生产方式。
  （现实生活中不同的香蕉供应商，或视频游戏中表示和绘制香蕉的不同数据结构和函数）。

  ABCBanana 类可以生成特定的香蕉，它们是 ABCBanana 类的实例，它们将是类型的对象 em> 香蕉。

程序员为一种类型提供单一且唯一的实现并不罕见。在这种情况下，类名称通常与类型名称相同。但是仍然有一个类型（如果需要，可以在接口中提取），以及一个构建类的实例（对象）的实现（将实现单独的接口）。

Answer 17

摘自下面的 GoF 引文：

一个对象的类定义了如何 对象被实现。类 定义对象的内部状态和 其实施 操作。

相反，一个对象的 type 只指它的接口—— 它可以处理的一组请求 回应。

我想提供一个使用 Java 的示例：

public interface IType {
}

public class A implements IType {
    public A{};
}

public class B implements IType {
    public B{};
}

A 和 B 两个类都实现了接口，因此属于 IType 类型。此外，在 Java 中，这两个类都产生自己的类型（分别根据它们的类名）。因此A 的类型是A 和 IType，B 的类型是B 和 IType 满足：

一个对象可以有多种类型， 并且不同类的对象可以 具有相同的类型。

子类型和子类之间的区别可能也有助于理解这个问题：

https://www.cs.princeton.edu/courses/archive/fall98/cs441/mainus/node12.html

Answer 18

在一般语言无关意义上 - 类是类型的实现。

通常当这是该类型的唯一实现时，您可以在某些上下文中使用这两个术语来引用它。

相反，例如，在 C# 上下文中 - Class 只是 的 many more implementations 中的 之一类型 概念，如原语、结构、指针等。

Answer 19

这对我来说是一个很好的问题，这让我很难思考。我敢说 Class 是编译时的东西，而 Type 是运行时的东西。我这么说是因为你写的是类而不是类型。然后编译器从类中创建类型，运行时使用类型来创建对象的实例。

Answer 20

C 中的类型，如 Int Float、char 等，定义了可以使用特定方法对它们进行操作的数据。没有比这更复杂的了。就像 int 我可以加，减乘，也许除。这些是我的 int 方法（或操作）。类只是一种新类型的定义。我首先定义数据的样子。也许是一点点。也许这两个词就像一个复合体，有一个真实的部分和一个想象的部分。或者可能是这个复杂的东西，它有 309734325 个字节，代表木星上一个奇怪粒子的原子组成。我不在乎。就像整数一样，我可以使用这种新数据类型来完成我可以执行的操作。在整数的情况下，我有加、减等。使用这种新数据类型，我可以定义我认为有意义的任何操作。它们可能是加减法等，但它们可能会添加其他东西。这些是我决定添加到我的课程中的任何方法。

底线是，使用 C 语言中的类型，您可以定义数据是什么，即；一个字节、字、浮点数、字符等。但其中任何一个也暗示了哪些操作是合法的并且会产生可靠的结果。

除了由您来定义接口和可接受的操作外，类没有什么不同。类定义了这些东西，当你在 Object 中实例化它时，它定义了对象的行为，就像类型定义定义了对整数进行操作时的行为一样。

类只是让您可以灵活地定义新类型以及有关它们如何操作的所有内容。

一旦定义了这个，每次我实例化一个“thingy”类的对象时，它都有我定义的数据结构和我说你可以用它做的操作（方法）。 “thingy”类显然是 C++ 让我定义的一种新类型。

Answer 21

在 Haskell 等语言中，不存在 Class 的概念。它只有类型。 （还有 Type Class。不要与 Class 混淆，Type Class 更像是 Type 的抽象版本。

Monad 是一个类型类。

class Monad m where
  (>>=)  :: m a -> (  a -> m b) -> m b
  (>>)   :: m a ->  m b         -> m b
  return ::   a                 -> m a
  fail   :: String -> m a

从（纯）函数式编程的角度来看，Type 比 Class 更基本，因为可以将其根源追溯到 Type Theory（例如，从 PTL 角度来看，有类型和没有类型的 lambda 演算的行为完全不同），而 Class 是实际上只是一个启用 OO 的构造。

在只支持 Type 而不支持 Class 的语言中，函数通常被视为一等公民。

同时，当一种语言区分类型和类时，函数更像是可以附加到对象等的二等公民。是的，通常您可以将函数附加到类本身（又名静态函数）。

Answer 22

类型是帮助编译器执行类型检查并确保变量具有适合操作的正确属性的编程结构。

类是引用它们的对象或变量可以具有的用户定义类型。这些也接受类型检查。