V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
microxiaoxiao
V2EX  ›  程序员

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

  •  
  •   microxiaoxiao · 2022-10-11 22:27:10 +08:00 · 1732 次点击
    这是一个创建于 534 天前的主题,其中的信息可能已经有所发展或是发生改变。
    13 条回复    2022-10-12 19:04:18 +08:00
    potatowish
        1
    potatowish  
       2022-10-11 22:29:42 +08:00 via iPhone
    aviator script 不错
    L4Linux
        2
    L4Linux  
       2022-10-11 23:02:58 +08:00 via Android
    SMT solver 了解一下。
    star9029
        3
    star9029  
       2022-10-11 23:24:56 +08:00
    直接 constexpr (
    microxiaoxiao
        4
    microxiaoxiao  
    OP
       2022-10-11 23:30:43 +08:00
    @star9029 这个应该不得行,参数要在运行过程中设置值。
    SakuraSa
        5
    SakuraSa  
       2022-10-11 23:33:15 +08:00
    感觉这种似乎可以?
    SakuraSa
        6
    SakuraSa  
       2022-10-11 23:33:21 +08:00
    tt0411
        7
    tt0411  
       2022-10-11 23:41:09 +08:00
    内嵌个脚本引擎, 比如 lua
    Skybrim
        8
    Skybrim  
       2022-10-11 23:52:06 +08:00
    https://beltoforion.de/en/muparser/features.php
    这种吗?先设置公式,然后带入值
    pwrliang
        9
    pwrliang  
       2022-10-12 03:06:47 +08:00
    masterclock
        10
    masterclock  
       2022-10-12 10:15:01 +08:00   ❤️ 1
    PythonYXY
        11
    PythonYXY  
       2022-10-12 10:58:01 +08:00
    z3 可以的,smt 语法看一会就能掌握
    vone
        12
    vone  
       2022-10-12 14:34:30 +08:00 via iPhone
    内嵌 JavaScript 运行时就可以了,比如 QuickJS 。
    microxiaoxiao
        13
    microxiaoxiao  
    OP
       2022-10-12 19:04:18 +08:00
    @PythonYXY @pwrliang 感谢哟。
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   我们的愿景   ·   实用小工具   ·   2697 人在线   最高记录 6543   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 32ms · UTC 15:35 · PVG 23:35 · LAX 08:35 · JFK 11:35
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.