在类型提示中执行函数限制字符串类型是否为规范实践？

结论很明确：这不是定义良好的类型提示实践，甚至不符合Python类型提示的基本规范。

为什么不行？ #

• 类型提示的核心作用是标注变量的类型，不是约束具体的字符串格式或固定值。Python的类型系统（比如PEP 484定义的这套规则）是给静态检查工具（像mypy、pyright）用的，这些工具只认合法的类型表达式——比如内置类型str、自定义类、typing模块里的类型构造器，而你写的str(A) + '.txt'是个运行时计算出来的字符串值（结果是'a.txt'），把它当类型注解的话，静态检查工具完全看不懂，根本起不到类型检查的作用。
• 官方的类型提示规范（PEP 484、PEP 526）明确要求类型注解必须是有效的类型相关表达式，运行时计算的具体值不属于合法的注解范畴。虽然Python解释器不会直接报错，但这完全违背了类型提示的设计初衷。

正确的做法是什么？ #

如果想约束var必须是A类实例转字符串后加.txt的格式，有两种靠谱的方式：

1. 用NewType定义语义化类型（适合静态检查）

from typing import NewType
from dataclasses import dataclass

class A:
    def __str__(self):
        return "a"

# 定义一个语义化的子类型，本质还是str，但静态检查工具能识别它的特殊含义
AWithTxtSuffix = NewType('AWithTxtSuffix', str)

# 用工厂函数来生成符合要求的字符串，确保格式正确
def create_a_txt_str(a_instance: A) -> AWithTxtSuffix:
    return AWithTxtSuffix(str(a_instance) + '.txt')

@dataclass
class B:
    var: AWithTxtSuffix

这样静态检查工具会确保var只能被赋值为AWithTxtSuffix类型的对象，而工厂函数又保证了这个对象的格式符合要求。

2. 运行时校验（适合确保实例化时的合法性）

from dataclasses import dataclass

class A:
    def __str__(self):
        return "a"

@dataclass
class B:
    var: str

    def __post_init__(self):
        # 实例化后立刻检查格式是否符合要求
        expected_prefix = str(A())
        if not self.var.startswith(expected_prefix) or not self.var.endswith('.txt'):
            raise ValueError(f"var必须是{A}实例转字符串后加'.txt'的格式")

这种方式能在创建B的实例时直接拦截非法值，避免不符合要求的字符串被存入var。

参考依据 #

Python的类型提示规范主要由PEP 484（Type Hints）和PEP 526（Variable Annotations）定义，这两个文档都明确了类型注解的目的是为静态类型检查提供清晰的类型信息，必须是与类型相关的表达式，而非运行时计算出的具体值。

内容的提问来源于stack exchange，提问作者Alperen Keleş