Python类型系统-对象与类型

Python类型系统-对象与类型,python,class,types,type-systems,Python,Class,Types,Type Systems,我是Python新手。我熟悉Java、C/C++和OCaml。我了解Lambda微积分和初等类型理论,因为我在大学里修了一门编程语言课程 有了这样的背景,我试着去读这个- 在下面的某个地方,他提到: (类型“object”)是(类型“type”的实例 (类型“object”)是no object的子类 (type“type”)是其自身的一个实例 (type'type')是(type'object'的子类 我无法用我可怜的头脑来思考这个问题: (类型“object”)是(类型“type”的实

我是Python新手。我熟悉Java、C/C++和OCaml。我了解Lambda微积分和初等类型理论,因为我在大学里修了一门编程语言课程

有了这样的背景,我试着去读这个-

在下面的某个地方,他提到:

  • (类型“object”)是(类型“type”的实例
  • (类型“object”)是no object的子类
  • (type“type”)是其自身的一个实例
  • (type'type')是(type'object'的子类
我无法用我可怜的头脑来思考这个问题:

  • (类型“object”)是(类型“type”的实例
  • (type“type”)是(type“object”的子类

这里发生了什么事?我想听到的是关于这里到底发生了什么以及为什么事情是这样的非常深入的原因。请不要用肤浅的理由或类比。

它是专门讨论对象
类型的。对于
类型
,所有类型都继承自

我相信另一种说法只是指出
是一个
对象
;再往下看,我想到了一个例子:

t = list.__class__ # <type 'type'>
t.__bases__ # (<type 'object'>,)
t=list.\uuuuuu class\uuuuuu#
t、 基础

因为类型的概念与类相同,所以您可以使用普通的面向对象技术和类语法对类型进行子类化,以对其进行自定义

因为类实际上是类型类的实例,所以从类型的自定义子类创建类允许实现自定义类型的类

在新样式的类中:

  • 类型是生成用户定义类的类
  • 元类是类型类的子类
  • 类对象是类型类或其子类的实例
  • 实例对象是从类生成的