是否可以键入提示包含数字的字符串？

Question

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

类似这样的事情...  

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

相当于成功调用int(arg)。

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

Answer 1

不，这是不可能的，因为您不在这里处理类型。

您正在尝试声明各个字符串的内容，因此您正在声明实例。那不是类型提示可以为您解决的问题。