欢迎!请参阅关于页面以获取有关此功能的更多信息。
观察到的行为
`(int "0") =>java.lang.ClassCastException: java.lang.String cannot be cast to java.lang.Character
`
预期行为(int "0") =>java.lang.ClassCastException: java.lang.String cannot be cast to java.lang.Integer或者IllegalArgumentException `
评论者:jafingerhut
如果有人想改进此情况下int的行为,他们还应该考虑对unchecked-int、char和unchecked-char的错误消息进行类似改进。
评论者:michael-drogalis
在2013年1月6日改进了patch-improved-int-char-casting-error-messages.diff。
评论者:alexmiller
{{int}}知道如何将数字和字符强制转换为int。它目前不支持Strings。最好是添加此行为或使int的docstring比“强制转换为int”更具体。
string-coerce-to-int.diff2013年9月4日修复了int和char类型转换错误信息,并允许按照Alex Miller的建议将String转换为int。
值得注意的是,(map int (link: "1" "2" "3")) 使用此修订补丁时将失败,错误信息为 "ClassCastException java.lang.String cannot be cast to java.lang.Character"。此问题源于RT.java的intCast(Object)函数。因此,看起来在映射过程中字符串类型丢失了。我猜这是故意的吗?