### Python 实现算式合法性验证与计算 以下是基于引用内容和需求设计的一个完整的 Python 程序，该程序能够解析并验证带有 `+` `-` `*` `/` `( )` 运算符的表达式的合法性，并计算其值。 #### 主要逻辑说明 1. 使用 Python 的内置模块 `ast` 来安全地解析字符串形式的数学表达式。 2. 定义一个自定义类来封装表达式的合法性检查以及求值过程。 3. 对于括号嵌套的情况，通过递归调用来处理复杂表达式[^1]。 4. 验证输入是否仅包含合法字符集 `{0-9, +, -, *, /, (, ), .}` 并排除非法字符[^2]。 下面是具体实现： ```python import ast import operator class ExpressionEvaluator: def __init__(self): self.operators = { ast.Add: operator.add, ast.Sub: operator.sub, ast.Mult: operator.mul, ast.Div: operator.truediv } def is_valid_expression(self, expression): try: parsed_expr = ast.parse(expression, mode='eval') if not isinstance(parsed_expr.body, ast.BinOp) and \ not isinstance(parsed_expr.body, ast.Num) and \ not isinstance(parsed_expr.body, ast.UnaryOp): return False allowed_nodes = {ast.Expression, ast.Num, ast.BinOp, ast.UnaryOp, ast.Constant} for node in ast.walk(parsed_expr): if type(node) not in allowed_nodes: return False return True except SyntaxError: return False def evaluate_expression(self, expression): if not self.is_valid_expression(expression): raise ValueError("Invalid mathematical expression") def _evaluate(node): if isinstance(node, ast.Num): # For Python versions before 3.8 return node.n elif isinstance(node, ast.Constant): # For Python version >= 3.8 return node.value elif isinstance(node, ast.BinOp): left_val = _evaluate(node.left) right_val = _evaluate(node.right) op_func = self.operators[type(node.op)] return op_func(left_val, right_val) tree = ast.parse(expression, mode='eval') result = _evaluate(tree.body) return result # 测试代码 if __name__ == "__main__": evaluator = ExpressionEvaluator() test_expressions = [ "(3 + 5) * 7", # 合法表达式 "((2 + 3) * 4)", # 嵌套括号 "10 / (2 - 2)", # 不合法除零错误 "abc + 123", # 包含非法字符 "1 + 2 * (3 - 4)" # 复杂混合运算 ] for expr in test_expressions: print(f"Evaluating '{expr}':") if evaluator.is_valid_expression(expr): try: result = evaluator.evaluate_expression(expr) print(f"Result: {result}") except ZeroDivisionError as e: print(f"Zero Division Error: {e}") else: print("Expression is invalid.") ``` #### 功能解释 1. **is_valid_expression 方法**: 此方法利用抽象语法树（AST）技术检测表达式是否符合标准的数学语法规则。如果存在任何不符合规则的部分，则返回 `False`[^1]。 2. **evaluate_expression 方法**: 如果表达式有效，则进一步执行实际的数值计算。对于复杂的嵌套结构，采用递归来逐步拆分并解决子问题。 3. **异常处理机制**: 考虑到可能存在的运行时错误（如除以零），增加了相应的捕获逻辑以增强健壮性。 --- ###