类型和类有什么区别？

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

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

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

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

简单地说，类是一种专门用于封装对象的属性和行为的类型。

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

类的定义

数据类型定义

---

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

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

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

---

以最快的方式说明它：

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

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

---

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

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

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

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

---

添加另一个区别示例：在 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"

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

---

我的想法与aku的回答几乎一致。

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

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

This response 对于lamba 中的同一个问题，最终在我看来是一个完美的解释。

---

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

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

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

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

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

---

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

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

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

---

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

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

---

在 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 的语言中，函数通常被视为一等公民。

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

---

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

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

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

---

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

类型由以下部分组成：

操作 = 语法 操作描述 = 语义

类由以下部分组成：

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

一些注意事项：

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

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

---

显然，由于存在类型系统的语言不是面向对象编程语言，因此类型必须是比类更广泛的概念

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

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

---

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

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

值类型：

简单类型：如 int、long、float 等。

枚举类型

结构类型

可空类型

参考类型：

班级类型

接口类型

数组类型

委托类型

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

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

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

---

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

---

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

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

---