是否可以注釋可以正確轉(zhuǎn)換為 int 的字符串？像這樣的東西...def foo(arg: str[int]): # which of course does not work     ...這相當(dāng)于成功調(diào)用int(arg).我可以發(fā)誓有一種方法可以通過 Pycharm 中的類型提示來驗(yàn)證字符串類型（也許它是一個(gè)非 PEP 功能），但我終生無法弄清楚我認(rèn)為此功能如何或?yàn)槭裁创嬖凇?