python中内置关键字type是指函数还是类？

在大多数帖子中，人们经常说type如果提供一个参数，则它是一个内置函数；如果提供 3 个参数，则它是一个元类。

But in python 的文档，签名type is:

class type(object)
class type(name, bases, dict)

那么，是不是意味着type是一个内置类而不是内置函数，即使它提供了一个参数？

type被称为“元类”，因为它是生成其他类（又称类型）的类。它的行为就像一个普通的类。特别是，它相当于__new__方法在 Python 中看起来像这样：

class type(object):

    def __new__(cls, *args):
        num_args = len(args)

        if num_args not in (1, 3):
            raise TypeError('type() takes 1 or 3 arguments')

        # type(x)
        if num_args == 1:
            return args[0].__class__

        # type(name, bases, dict)
        name, bases, attributes = args
        bases = bases or (object,)

        class Type(*bases):
            pass

        Type.__name__ = name

        qualpath = Type.__qualname__.rsplit('.', 1)[0]
        Type.__qualname__ = '.'.join((qualpath, name))

        for name, value in attributes.items():
            setattr(Type, name, value)

        return Type

Class = type('Class', (), {'i': 1})
instance = Class()

print(type(instance))  # -> Class
print(instance.__class__)  # -> Class
print(type(type(instance)))  # -> type
print(Class.i)  # -> 1
print(instance.i)  # -> 1

请注意，实例化类时，新实例的值是从__new__。如果是type, __new__始终返回一个类型对象（又称类）。这是一个扩展类的示例int to use -1作为默认值而不是0:

def Int__new__(cls, *args):
    if not args:
        return cls(-1)
    return super(cls, cls).__new__(cls, *args)

Int = type('Int', (int,), {'__new__': Int__new__})

i = Int()
print(type(i))  # -> Int
print(i.__class__)  # -> Int
print(type(type(i)))  # -> type
print(i)  # -> -1

j = Int(1)
print(j)  # -> 1

真正深入研究如何type作品，看看C代码在type_new。你可以看到（向下滚动几行）type(x)是一种特殊情况，它立即返回以下类型（也称为类）x。当你这样做时type(name, bases, dict)，类型创建机制被调用。

为了获得更多乐趣，请尝试以下操作：

type(object)
type(type)
isinstance(object, object)
isinstance(type, object)
type(1)
type(type(1))