Python中的__code__属性

在Python中，每个函数都有一个__code__属性。这个属性是一个引用到代码对象，它包含了与该函数相关的Python字节码及其他相关信息。代码对象在Python中是用来存储可执行代码的基本单元，它们包含了字节码、常量、变量名等相关的数据。

以下是与__code__属性关联的一些属性：

• co_code: 一个字符串，表示该函数的字节码。
• co_consts: 包含该函数用到的所有常量值的元组。
• co_names: 包含该函数用到的所有变量名的元组。
• co_varnames: 包含该函数的所有局部变量名的元组。
• co_argcount: 该函数的位置参数数量。
• co_filename: 该函数定义所在的文件名。
• co_firstlineno: 该函数在文件中的首行行号。
• …还有其他的属性。

你可以使用这些属性来分析、检查或者操作Python函数的字节码。例如，你可以获取一个函数的字节码并打印它：

def sample_function(x, y):
    return x + y

print(sample_function.__code__.co_code)

输出会是一个字节串，代表了sample_function的字节码。

【Note】以下是与 __code__ 对象关联的属性列表：

1. co_argcount: 参数数量（不包括*参数和**参数）。
2. co_posonlyargcount: Python 3.8中引入，仅通过位置传递的参数数量。
3. co_kwonlyargcount: 仅关键字参数数量。
4. co_nlocals: 函数的局部变量数量。
5. co_stacksize: 字节码执行所需的堆栈大小。
6. co_flags: 解释器需要的特殊标志。
7. co_code: 字节码指令作为字节串。
8. co_consts: 在字节码中使用的常量元组。
9. co_names: 在字节码中使用的名称元组。
10. co_varnames: 局部变量名称的元组。
11. co_freevars: 自由变量的名称元组（闭包中）。
12. co_cellvars: 闭包中的单元格变量名称元组。
13. co_filename: 定义该函数的文件名。
14. co_name: 函数名称。
15. co_firstlineno: 函数的第一行号。
16. co_lnotab: 字节码指令到源行号的映射。
17. co_endlineno (Python 3.8+): 函数的最后一行号。
18. co_kwonlyargcount: 只有关键字参数的数量。
19. co_startcoloffset (Python 3.8+): 函数的第一个字符的列偏移量。
20. co_endcoloffset (Python 3.8+): 函数的最后一个字符的列偏移量。

这些属性为我们提供了关于函数和其字节码的深入信息。例如，可以通过查看 co_code 来直接查看函数的字节码或通过查看 co_consts 来查看在函数中使用的所有常量。

Q1：co_kwonlyargcount: 只有关键字参数的数量。什么是只有关键字参数的数量？

A1：在Python中，函数可以定义接受位置参数和/或关键字参数。从Python 3.0开始，函数定义还可以指定仅关键字参数。这些参数出现在*之后，或者出现在命名的*args之后。仅关键字参数不能作为位置参数提供。

仅关键字参数的主要目的是允许在参数列表的最后增加新的参数而不破坏现有的调用代码。

示例：

def example(a, b, *, c, d):
    print(a, b, c, d)

example(1, 2, c=3, d=4)  # 有效
# example(1, 2, 3, 4)  # 报错，因为c和d是仅关键字参数

在上述示例中，c 和 d 是仅关键字参数，这意味着它们只能作为关键字参数提供，不能作为位置参数提供。

co_kwonlyargcount 属性指示这种仅关键字参数的数量。在上述示例中，co_kwonlyargcount 的值为2，因为 c 和 d 是仅关键字参数。