在类的方法参数中提示自定义类型，可以使用 Python 的 类型注解（Type Hints） 功能。即使类型和方法在同一个类中，也可以通过 from __fut

在Python中，进行类型提示（Type Hinting）可以提高代码的可读性和可维护性，方便静态类型检查工具（如mypy）进行错误检测。 然而，当类型和方法都定义在同一个类中时，直接在方法签名中使用内部类型进行类型提示可能会遇到“类型未定义”的错误。本文将介绍如何解决这个问题。

问题描述

假设我们有一个类Lexer，其中定义了一个内部类symbol。我们希望在Lexer类的方法add_symbol中使用symbol类型进行参数的类型提示。直接使用Lexer.symbol可能会导致“类型未定义”的错误。

解决方案

解决此问题的关键在于使用from __future__ import annotations。 在Python 3.7及更高版本中，通过导入此语句，可以延迟对类型注解的求值，使得在类定义完成之前，类型注解中的类型引用不会被立即解析。

示例代码

from __future__ import annotations

class Lexer:
    class symbol:
        def __init__(self, lexeme: str, token: str):
            self.lexeme: str = lexeme
            self.token: str = token

    class SymbolTable:
        def __init__(self):
            self.symbols: list[Lexer.symbol] = []

        def add_symbol(self, symbol: Lexer.symbol) -> None:
            """Adds a symbol to the symbol table."""
            pass

        def add_symbols(self, symbols: list[Lexer.symbol]) -> None:
            """Adds a list of symbols to the symbol table."""
            pass

代码解释

1. from __future__ import annotations: 这行代码必须放在文件的顶部。它告诉Python解释器延迟对类型注解的求值。
2. Lexer.symbol: 在add_symbol和add_symbols方法的参数类型提示中，我们使用Lexer.symbol来明确指定参数的类型为Lexer类内部定义的symbol类。
3. -> None: add_symbol和add_symbols方法声明了返回类型为None，表明它们不返回任何值。

注意事项

• from __future__ import annotations只在Python 3.7及更高版本中可用。
• 确保将from __future__ import annotations语句放在文件的顶部，在任何类定义之前。
• 使用类型提示可以提高代码的可读性，但不会改变Python的动态类型特性。类型检查仍然需要在运行时进行。
• 使用静态类型检查工具（如mypy）可以利用类型提示进行静态类型检查，及早发现潜在的类型错误。

总结

通过使用from __future__ import annotations，我们可以轻松地在类的方法参数中提示自定义类型，即使类型和方法都在同一个类中定义。这使得代码更加清晰、易于理解和维护，并且可以利用静态类型检查工具来提高代码质量。