通过真值树解析布尔表达式(eg:A&B|C)

  第一步：求出一个表达式的truth tree

  1.生成真值表

  2.根据真值表生成真值树（合并短路产生相同的两个子树）

  第二步：计算表达式  

  同时按层深度索引真值树，遍历表达式的变量（按需求值），当能走到树的叶子节点时说明本次表达式为true

 

  数据结构：

  1.真值树：是一个二叉树，每层依次对应A，B，C...表达式成员；用真值表作为参数构造；提供Creat();Empty();Root()等常见接口

  2.表达式类：专门负责解析字符串(eg:A&B|C)，提供接口：获取{表达式成员序列,真值树}；通过{表达式成员序列,真值树}+成员求值函数对象 计算表达式值

 

  备注：

  1.参照http://www.cppblog.com/vczh/archive/2008/06/15/53373.html和《C++沉思录》第八章写出eval::IcomputeBoolExpr()接口  

  2.真值树的层数最好在16层以内，过大可能过于增加构造树的时间；对于过大的表达式建议不考虑用真值树实现表达式短路。

  3.真值树的思路相当于预先把所有可能的值都求一遍，缓存起来；需要读编译原理，了解GCC语法树，可能有更好的思路实现表达式短路。

 

  

转载于:https://www.cnblogs.com/water-bear/p/7975694.html