有没有这种轻量级的逻辑表达式库（C/C++）？比如我输入 A>2 && B < 1 表达式; 然后设置 A =2,B=0, 判定表达式结果为 false。

2022-10-11 22:27:10 +08:00
 microxiaoxiao
2031 次点击
所在节点    程序员
13 条回复
potatowish
2022-10-11 22:29:42 +08:00
aviator script 不错
L4Linux
2022-10-11 23:02:58 +08:00
SMT solver 了解一下。
star9029
2022-10-11 23:24:56 +08:00
直接 constexpr （
microxiaoxiao
2022-10-11 23:30:43 +08:00
@star9029 这个应该不得行，参数要在运行过程中设置值。
SakuraSa
2022-10-11 23:33:15 +08:00
感觉这种似乎可以？
SakuraSa
2022-10-11 23:33:21 +08:00
https://github.com/GiuMaz/antlr4-cpp-example
tt0411
2022-10-11 23:41:09 +08:00
内嵌个脚本引擎, 比如 lua
Skybrim
2022-10-11 23:52:06 +08:00
https://beltoforion.de/en/muparser/features.php
这种吗？先设置公式，然后带入值
pwrliang
2022-10-12 03:06:47 +08:00
https://github.com/Z3Prover/z3
masterclock
2022-10-12 10:15:01 +08:00
https://github.com/google/cel-cpp
快、非图灵完备
PythonYXY
2022-10-12 10:58:01 +08:00
z3 可以的，smt 语法看一会就能掌握
vone
2022-10-12 14:34:30 +08:00
内嵌 JavaScript 运行时就可以了，比如 QuickJS 。
microxiaoxiao
2022-10-12 19:04:18 +08:00
@PythonYXY @pwrliang 感谢哟。

这是一个专为移动设备优化的页面（即为了让你能够在 Google 搜索结果里秒开这个页面），如果你希望参与 V2EX 社区的讨论，你可以继续到 V2EX 上打开本讨论主题的完整版本。

https://www.v2ex.com/t/886194

V2EX 是创意工作者们的社区，是一个分享自己正在做的有趣事物、交流想法，可以遇见新朋友甚至新机会的地方。

V2EX is a community of developers, designers and creative people.

© 2021 V2EX