如何在VB.net中实现公式正确性检查器？

核心思路 #

要批量校验这类公式，核心是完成语法合法性校验，可选补充逻辑可计算性校验。前者确保公式符合语法规则，后者验证公式在实际计算场景中可正常执行。

具体实现方案 #

1. 快速语法过滤：正则表达式 #

先用正则快速排除明显不符合格式的公式，比如包含非法字符、未按规则定义的变量、错误的函数写法等。

示例VB.NET代码：

' 定义匹配规则，覆盖变量、数字、函数、运算符和括号
Dim formulaRegex As New Regex("^(\s*(Z\d{1,4}|\d+(\.\d+)?|(SIN|COS|TAN)\(\s*([^()]|\((?:[^()]|\([^()]*\))*\))*\s*\)|[+\-*/()<>!=]|==|<=|>=|<|>|!=)\s*)+$")

' 校验单个公式
Function IsFormulaSyntaxValid(formula As String) As Boolean
    Return formulaRegex.IsMatch(formula) AndAlso CheckParenthesesBalance(formula)
End Function

' 辅助检查括号是否闭合
Private Function CheckParenthesesBalance(formula As String) As Boolean
    Dim balance As Integer = 0
    For Each c As Char In formula
        If c = "("c Then balance += 1
        If c = ")"c Then balance -= 1
        If balance < 0 Then Return False
    Next
    Return balance = 0
End Function

这个规则能匹配：

• Z开头的1-4位数字变量（如Z9、Z200）
• 整数/双精度数值（如123、45.67）
• SIN/COS/TAN函数及嵌套括号结构
• 算术运算符、比较运算符、括号

2. 精准语法解析：ANTLR生成专用解析器 #

如果正则无法处理复杂的运算符优先级、嵌套逻辑，推荐用ANTLR构建自定义语法解析器：

1. 编写.g4语法规则文件，定义公式的语法结构（示例片段）：

grammar CustomFormula;

formula: expression EOF;
expression: expression ( '+' | '-' ) expression
          | expression ( '*' | '/' ) expression
          | '(' expression ')'
          | variable
          | number
          | functionCall
          | comparison
          ;
variable: 'Z' DIGIT+;
number: DIGIT+ ( '.' DIGIT+ )?;
functionCall: ( 'SIN' | 'COS' | 'TAN' ) '(' expression ')';
comparison: expression ( '==' | '<' | '>' | '<=' | '>=' | '!=' ) expression;
DIGIT: [0-9];

2. 用ANTLR工具生成VB.NET版本的解析器代码
3. 在VB.NET中调用解析器，捕获语法错误信息，批量校验公式

3. 逻辑可计算性校验（可选） #

如果要验证公式能否实际计算，可模拟变量值执行计算：

Function IsFormulaCalculable(formula As String) As Boolean
    ' 替换所有Z变量为测试值（这里用1.0作为默认值，可按需调整）
    Dim testFormula As String = Regex.Replace(formula, "Z\d{1,4}", "1.0")
    Try
        ' 用DataTable.Compute执行计算
        Using dt As New DataTable()
            dt.Compute(testFormula, "")
            Return True
        End Using
    Catch ex As Exception
        ' 计算失败，说明存在逻辑问题（如除零、函数参数非法等）
        Return False
    End Try
End Function

批量处理优化建议 #

• 先用正则过滤掉明显错误的公式，减少后续解析压力
• 采用多线程并行处理数千条公式，提升校验效率
• 记录每条公式的错误类型（语法错误/逻辑错误）和具体位置，方便后续修正

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