是否可以键入带有数字的字符串？

Question

是否可以注释可以正确转换为 int 的字符串？

像这样的东西...

def foo(arg: str[int]): # which of course does not work
    ...

这相当于成功调用int(arg).

我可以发誓有一种方法可以通过 Pycharm 中的类型提示来验证字符串类型（也许它是一个非 PEP 功能），但我终生无法弄清楚我认为此功能如何或为什么存在。

Answer 1

不，这是不可能的，因为您没有在这里处理类型。您正在尝试对单个字符串的内容进行断言，因此您正在对实例进行断言。这不是类型提示可以为您解决的问题。