Ansible 和 Python 3

ansible-core 代码运行 Python 3（有关特定版本的检查，请参阅控制节点要求）ansible-core 和 Ansible 集合的贡献者应该了解本文档中的提示，以便他们可以编写在与 Ansible 的其他版本相同的 Python 版本上运行的代码。

我们有一些考虑因素，具体取决于 Ansible 代码的类型

控制节点上的代码 - 在您调用 /usr/bin/ansible 的机器上运行的代码，只需要支持控制节点的 Python 版本。
模块 - Ansible 传输到并调用到受管机器上的代码。模块需要支持“受管节点”的 Python 版本，但也有一些例外。
共享 module_utils 代码 - 模块用来执行任务的通用代码，有时也由控制节点上的代码使用。共享 module_utils 代码需要支持与模块相同的 Python 版本范围。

但是，这三种类型的代码并没有使用相同的字符串策略。如果您正在开发模块或一些 module_utils 代码，请务必仔细阅读有关字符串策略的部分。

Python 3.x 和 Python 2.x 的最低版本 

请参阅控制节点要求和受管节点要求以了解支持的特定版本。

您的自定义模块可以支持您想要的任何版本的 Python（或其他语言），但以上是为 Ansible 项目贡献的代码的要求。

开发支持 Python 2 和 Python 3 的 Ansible 代码 

学习编写支持 Python 2 和 Python 3 的代码的最佳起点是 Lennart Regebro 的书籍：迁移到 Python 3。本书描述了几种迁移到 Python 3 的策略。我们正在使用的一种策略是从单个代码库支持 Python 2 和 Python 3

了解 Python 2 和 Python 3 中的字符串 

Python 2 和 Python 3 处理字符串的方式不同，因此在编写支持 Python 3 的代码时，您必须决定使用哪种字符串模型。字符串可以是字节数组（如 C 中一样），也可以是文本数组。文本是我们所理解的字母、数字、符号和其他可打印的符号，以及少量的不可打印的“符号”（控制代码）。

在 Python 2 中，这两种类型（str 用于字节，unicode 用于文本）通常可以互换使用。当只处理 ASCII 字符时，可以自动组合、比较和将字符串从一种类型转换为另一种类型。当引入非 ASCII 字符时，Python 2 会开始抛出异常，因为它不知道非 ASCII 字符应该使用哪种编码。

Python 3 改变了这种行为，它使得字节 (bytes) 和文本 (str) 之间的区分更加严格。当尝试组合和比较这两种类型时，Python 3 会抛出异常。程序员必须显式地从一种类型转换为另一种类型，才能混合来自每种类型的值。

在 Python 3 中，程序员可以立即清楚地看到代码何时不适当地混合了字节和文本类型，而在 Python 2 中，混合这些类型的代码可能会正常工作，直到用户输入非 ASCII 字符，导致异常。Python 3 强制程序员在程序中主动定义处理字符串的策略，以便他们不会无意中混合文本和字节字符串。

Ansible 在控制节点上的代码、在 :ref: 模块 <module_string_strategy> 中以及在 module_utils 代码中使用不同的策略来处理字符串。

控制节点字符串策略：Unicode Sandwich 

直到最近，ansible-core 才支持 Python 2.x 并遵循这种策略，称为 Unicode Sandwich（以 Python 2 的 unicode 文本类型命名）。对于 Unicode Sandwich，我们知道在我们的代码与外部世界（例如，文件和网络 I/O、环境变量和一些库调用）的边界处，我们将收到字节。我们需要将这些字节转换为文本，并在代码的内部部分使用这些文本。当我们必须将这些字符串发送回外部世界时，我们首先将文本转换回字节。要可视化这一点，想象一个“三明治”，它包含字节的上层和下层、转换层以及中间的所有文本类型。

出于兼容性原因，您会看到我们开发的一堆自定义函数 (to_text/to_bytes/to_native)，虽然 Python 2 不再是问题，但我们会继续使用它们，因为它们适用于其他使处理 Unicode 变得有问题的案例。

虽然我们现在不会使用它的大部分内容，但以下文档对于那些正在开发仍然需要同时支持 Python 2 和 3 的模块的人来说仍然有用。

Unicode Sandwich 通用边界：在控制节点代码中将字节转换为文本的位置 

这是一个使用 Unicode Sandwich 字符串策略时我们必须进行字节之间转换的部分列表。它并不详尽，但可以帮助您了解在哪里需要注意问题。

读写文件 

在 Python 2 中，从文件读取会产生字节。在 Python 3 中，它可以产生文本。为了使代码可移植到这两个版本，我们不利用 Python 3 产生文本的能力，而是显式地自己进行转换。例如

from ansible.module_utils.common.text.converters import to_text

with open('filename-with-utf8-data.txt', 'rb') as my_file:
    b_data = my_file.read()
    try:
        data = to_text(b_data, errors='surrogate_or_strict')
    except UnicodeError:
        # Handle the exception gracefully -- usually by displaying a good
        # user-centric error message that can be traced back to this piece
        # of code.
        pass

注意

Ansible 的大部分代码假设所有编码文本都是 UTF-8。如果将来有需求使用其他编码，我们可能会更改这一点，但目前可以安全地假设字节是 UTF-8 编码的。

写入文件是相反的过程

from ansible.module_utils.common.text.converters import to_bytes

with open('filename.txt', 'wb') as my_file:
    my_file.write(to_bytes(some_text_string))

注意，我们不必在这里捕获 UnicodeError，因为我们正在转换为 UTF-8，而 Python 中的所有文本字符串都可以转换回 UTF-8。

文件系统交互 

处理文件名通常涉及回退到字节，因为在类 Unix 系统上文件名是字节。在 Python 2 中，如果我们将文本字符串传递给这些函数，文本字符串将在函数内部转换为字节字符串，如果存在非 ASCII 字符，则会发生回溯。在 Python 3 中，只有当文本字符串无法在当前区域设置中解码时才会发生回溯，但显式地编写同时适用于两个版本的代码仍然是明智之举。

import os.path

from ansible.module_utils.common.text.converters import to_bytes

filename = u'/var/tmp/くらとみ.txt'
f = open(to_bytes(filename), 'wb')
mtime = os.path.getmtime(to_bytes(filename))
b_filename = os.path.expandvars(to_bytes(filename))
if os.path.exists(to_bytes(filename)):
    pass

当您只在不与文件系统（或与文件系统交互的 C 库）进行交互的情况下以字符串形式操作文件名时，通常可以避免转换为字节。

import os.path

os.path.join(u'/var/tmp/café', u'くらとみ')
os.path.split(u'/var/tmp/café/くらとみ')

另一方面，如果代码需要操作文件名并与文件系统交互，则立即转换为字节并以字节形式进行操作可能更方便。

警告

确保传递给函数的所有变量类型相同。如果您正在使用诸如 os.path.join() 之类的函数，它接受多个字符串并组合使用它们，您需要确保所有类型都相同（要么都是字节，要么都是文本）。混合字节和文本会导致回溯。

与其他程序交互 

与其他程序的交互通过操作系统和 C 库进行，并操作 Unix 内核定义的事物。这些接口都是面向字节的，因此 Python 接口也是面向字节的。在 Python 2 和 Python 3 上，字节字符串应提供给 Python 的子进程库，并且字节字符串应从子进程库中返回。

Ansible 控制节点代码中与其他程序交互的主要地方之一是连接插件的 exec_command 方法。这些方法将它们在命令（以及命令的参数）中接收的任何文本字符串转换为字节，并以字节字符串形式返回 stdout 和 stderr。更高级别的函数（如操作插件的 _low_level_execute_command）将输出转换为文本字符串。

模块字符串策略：原生字符串 

在模块中，我们使用一种称为原生字符串的策略。这使得维护 Ansible 众多模块的社区成员更容易，因为它们不会通过强制模块内部的所有字符串都是文本并在边界之间进行文本和字节的转换来破坏向后兼容性。

原生字符串是指 Python 在您指定裸字符串字面量时使用的类型。

"This is a native string"

在 Python 2 中，它们是字节字符串。在 Python 3 中，它们是文本字符串。模块应该被编码为在 Python 2 上期望字节，在 Python 3 上期望文本。

module_utils 字符串策略：混合 

在 module_utils 代码中，我们使用混合字符串策略。尽管 Ansible 的 module_utils 代码在很大程度上类似于模块代码，但它的一部分也被控制节点使用。因此，它需要与模块和控制节点的假设兼容，特别是字符串策略。module_utils 代码尝试接受原生字符串作为其函数的输入，并发出原生字符串作为其输出。

在 module_utils 代码中

函数**必须**接受字符串参数作为文本字符串或字节字符串。
函数可以返回与它们接收到的字符串类型相同的类型，也可以返回它们运行的 Python 版本的原生字符串类型。
返回字符串的函数**必须**记录它们是否返回与它们接收到的字符串类型相同的类型或原生字符串。

因此，模块实用程序函数通常具有防御性。它们将字符串参数转换为文本（使用 ansible.module_utils.common.text.converters.to_text）在函数的开头，完成它们的工作，然后将返回值转换为原生字符串类型（使用 ansible.module_utils.common.text.converters.to_native）或转换回它们参数接收的字符串类型。

Python 2/Python 3 兼容性的技巧、诀窍和习语 

使用向前兼容的模板 

在所有 Python 文件的开头使用以下模板代码，以确保某些结构在 Python 2 和 Python 3 上的行为相同。

# Make coding more python3-ish
from __future__ import (absolute_import, division, print_function)
__metaclass__ = type

__metaclass__ = type 使文件定义的所有类都成为新式类，而无需显式地继承自 object。

在 __future__ 导入中执行以下操作

absolute_import:: 使导入在 sys.path 中查找要导入的模块，跳过执行导入操作的模块所在的目录。如果代码想要使用执行导入操作的模块所在的目录，可以使用新的点表示法来实现。
division:: 使整数的除法始终返回浮点数。如果您需要找到商，请使用 x // y 而不是 x / y。
print_function:: 将 print 从关键字更改为函数。

另请参见

用 `b_` 前缀字节字符串 

由于混合文本和字节类型会导致回溯，因此我们希望清楚地了解哪些变量保存文本，哪些变量保存字节。我们通过在保存字节的任何变量前面加上 b_ 来实现这一点。例如

filename = u'/var/tmp/café.txt'
b_filename = to_bytes(filename)
with open(b_filename) as f:
    data = f.read()

我们没有在文本字符串前面加前缀，因为我们只在边界上操作字节字符串，因此需要字节的变量比文本的变量少。

导入 Ansible 的捆绑 Python `six` 库 

第三方 Python six 库的存在是为了帮助项目创建可以在 Python 2 和 Python 3 上运行的代码。Ansible 在 module_utils 中包含了该库的版本，以便其他模块可以使用它，而无需在远程系统上安装它。要使用它，请像这样导入它

from ansible.module_utils import six

注意

Ansible 也可以使用系统副本 six

如果系统副本的版本比 Ansible 捆绑的版本晚，Ansible 将使用系统副本 six。

使用 `as` 处理异常 

为了使代码在 Python 2.6+ 和 Python 3 上运行，请使用新的异常捕获语法，该语法使用 as 关键字。

try:
    a = 2/0
except ValueError as e:
    module.fail_json(msg="Tried to divide by zero: %s" % e)

**不要**使用以下语法，因为它将在所有版本的 Python 3 上失败。

try:
    a = 2/0
except ValueError, e:
    module.fail_json(msg="Tried to divide by zero: %s" % e)

更新八进制数 

在 Python 2.x 中，八进制字面量可以指定为 0755。在 Python 3 中，八进制数必须指定为 0o755。

控制节点代码的字符串格式化 

使用 `str.format()` 确保 Python 2.6 兼容性 

从 Python 2.6 开始，字符串获得了一个名为 format() 的方法来组合字符串。但是，直到 Python 2.7 才添加了 format() 的一个常用功能，所以您需要记住不要在 Ansible 代码中使用它。

# Does not work in Python 2.6!
new_string = "Dear {}, Welcome to {}".format(username, location)

# Use this instead
new_string = "Dear {0}, Welcome to {1}".format(username, location)

上面的两个格式字符串都将 format() 方法的位置参数映射到字符串中。但是，第一个版本在 Python 2.6 中不起作用。始终记住将数字放入占位符中，以便代码与 Python 2.6 兼容。

另请参见

Python 格式字符串文档

使用字节字符串的百分比格式 

在 Python 3.x 中，字节字符串没有 format() 方法。但是，它支持旧的百分比格式化。

b_command_line = b'ansible-playbook --become-user %s -K %s' % (user, playbook_file)

注意

Python 3.5 中添加的百分比格式化

字节字符串的百分比格式化在 Python 3 的 3.5 版本中重新添加。这对我们来说不是问题，因为 Python 3.5 是我们的最低版本。但是，如果您碰巧使用 Python 3.4 或更早版本测试 Ansible 代码，您会发现这里的字节字符串格式化将不起作用。升级到 Python 3.5 以进行测试。

另请参见

Python 百分比格式化文档