整数判定において、先頭が0だったり、文字数が20以上だったらFalseにするように

chaemon · chaemon · commit 2b2a85684799 · 2019-12-15T20:35:04.000+09:00
diff --git a/atcodertools/fmtprediction/predict_types.py b/atcodertools/fmtprediction/predict_types.py
@@ -48,7 +48,15 @@ def is_float(text):
 
 
 def is_int(text):
-    return re.match(r"-?\d+$", text) is not None
+    if text == "0":
+        return True
+    if re.match(r"-?\d+$", text) is None:
+        return False
+    if text[0] == "0":
+        return False
+    if len(text) > 19 or (text[0] == '-' and len(text) > 20):
+        return False
+    return True
 
 
 def _convert_to_proper_type(value: str) -> Any:
