关于Focal语法中数字定义是否存在缺陷的技术问询

1. 新增unsigned_分支能否解决1.-1的误识别问题？ #

完全可以。当前语法的问题在于，mantissa允许小数点前后出现带符号的整数（比如signed_ '.' signed_分支），导致1.-1会被错误解析成一个包含负号的小数（1.-1被看成1.后面跟着-1作为小数部分）。

如果新增unsigned_分支，并将数字的符号移到整个number规则的最顶层（而非让符号出现在小数点前后），调整后的语法大致如下：

number
   : PLUSMIN? mantissa ('e' signed_)?
   ;

mantissa
   : unsigned_
   | (unsigned_ '.')
   | ('.' unsigned_)
   | (unsigned_ '.' unsigned_)
   ;

unsigned_
   : INTEGER
   ;

signed_
   : PLUSMIN? INTEGER
   ;

PLUSMIN
   : '+'
   | '-'
   ;

这样调整后，数字的符号只能出现在整个数字的开头，1.-1会被正确拆分为1.（无符号小数）和-1（带符号整数），中间的-自然会被识别为减法运算符，彻底避免了歧义。

2. 原语法结构的其他优势 #

除了无需区分浮点数与整数（用统一的number规则涵盖所有数字类型），原语法还有这些实用优势：

• 规则简洁易维护：通过复用signed_规则，避免了重复定义相似结构，整个数字语法的层级清晰，后续修改或扩展成本低。
• 兼容多种数字写法：支持所有常见的数字表示形式，包括正负数（+7、-9）、纯整数（456）、各类小数（3.14、.25、78.）、科学计数法（2e6、-0.5e-2），覆盖日常开发中的绝大多数场景。
• 简化词法分析：不需要在词法阶段区分整数、小数、带符号数，所有数字格式的识别都交给语法规则处理，降低了词法分析器的复杂度。

内容的提问来源于stack exchange，提问作者airfishi