能否将返回布尔值的函数用作Python类型提示？

不行，你尝试的把numeric_string、do_stuff_helper这类返回布尔值的函数直接当作类型提示的写法是错误的，Python的类型提示系统不支持这种用法。

为什么不行？ #

Python的类型提示要求标注的是类型对象——比如str、int这类内置类型，自定义类，或者typing模块提供的类型（比如List、Dict）。而你写的numeric_string是个函数，不是类型，类型检查器（比如mypy、pyright）会直接报错，因为它无法将函数识别为合法的类型标注。

你要的约束怎么实现？ #

针对你示例里的两种场景，给你对应的正确实现方式：

场景1：限制参数为全数字字符串

可以用typing.NewType创建一个逻辑子类型，再配合运行时校验：

import string
from typing import NewType

# 创建一个逻辑上的子类型，标记这是合法的数字字符串
NumericString = NewType("NumericString", str)

# 校验函数：判断输入是否为全数字
def is_numeric_string(chs: str) -> bool:
    return all(ch in string.digits for ch in chs)

# 提供一个构造函数，只返回合法的NumericString
def make_numeric_string(chs: str) -> NumericString:
    if not is_numeric_string(chs):
        raise ValueError("输入必须是纯数字字符串")
    return NumericString(chs)

# 函数参数标注为NumericString
def sum_dem_digits(digits: NumericString) -> int:
    return sum(int(d) for d in digits)

# 合法调用
sum_dem_digits(make_numeric_string("1234"))
# 非法调用：类型检查器会报错，运行时也会抛出异常
sum_dem_digits("abc")

如果想让类型检查器在静态阶段就识别约束，可以用Annotated配合自定义插件（比如mypy插件），把校验函数附加到类型上：

import string
from typing import Annotated

def is_numeric_string(chs: str) -> bool:
    return all(ch in string.digits for ch in chs)

# 用Annotated给str附加校验规则
def sum_dem_digits(digits: Annotated[str, is_numeric_string]) -> int:
    return sum(int(d) for d in digits)

注意：这种方式需要对应的类型检查器支持，静态检查阶段的约束需要靠插件实现，运行时还是得自己加校验逻辑。

场景2：限制参数为0-3之间的整数

如果是固定范围的可选值，直接用typing.Literal最方便，类型检查器能直接在静态阶段拦截错误：

from typing import Literal

def do_stuff(x: Literal[0, 1, 2, 3]) -> str:
    lizzard = ["eyes", "nose", "body", "tail"]
    return lizzard[x]

# 合法调用
do_stuff(2)
# 非法调用：类型检查器直接报错
do_stuff(5)

如果范围是动态的，还是用NewType加运行时校验：

from typing import NewType

ValidLizardIndex = NewType("ValidLizardIndex", int)

def make_valid_index(x: int) -> ValidLizardIndex:
    if not (0 <= x <= 3):
        raise ValueError("索引必须在0到3之间")
    return ValidLizardIndex(x)

def do_stuff(x: ValidLizardIndex) -> str:
    lizzard = ["eyes", "nose", "body", "tail"]
    return lizzard[x]

总结 #

• 不能直接把返回布尔值的函数当作类型提示，类型提示只接受类型对象。
• 要实现参数约束，优先用NewType+运行时校验、Literal（固定值场景），或者Annotated+类型检查器插件（需要额外配置）。

内容的提问来源于stack exchange，提问作者Toothpick Anemone