Python的String Interpolation Operator是在哪里正式定义的？
Where is Python's String Interpolation Operator defined formally?
我正在写一篇关于 Python 字符串格式化的文章，我很好奇正式定义的 % 运算符的工作原理在哪里。我找不到定义运算符的 PEP，我只能在官方文档中找到参考资料。
对于 Python 2.7：https://docs.python.org/2.7/library/stdtypes.html#string-formatting-operations
对于 Python 3.6：https://docs.python.org/3.6/library/stdtypes.html#printf-style-string-formatting
有人知道我在哪里可以找到它们吗？
根据 Steven Rumbalski 的回答，我决定将此问题标记为已回答。
不幸的是，除了文档之外，似乎没有插值运算符的正式定义。
我正在写一篇关于 Python 字符串格式化的文章，我很好奇正式定义的 % 运算符的工作原理在哪里。我找不到定义运算符的 PEP，我只能在官方文档中找到参考资料。
对于 Python 2.7：https://docs.python.org/2.7/library/stdtypes.html#string-formatting-operations
对于 Python 3.6：https://docs.python.org/3.6/library/stdtypes.html#printf-style-string-formatting
有人知道我在哪里可以找到它们吗？
根据 Steven Rumbalski 的回答，我决定将此问题标记为已回答。
不幸的是，除了文档之外，似乎没有插值运算符的正式定义。