草庐IT

c++ - 如何从用户输入修改 C++ 代码

coder 2023-05-31 原文

我目前正在编写一个位于 C++ 解释器之上的程序。用户在运行时输入 C++ 命令，然后将其传递给解释器。对于某些模式，我想将给出的命令替换为修改后的形式，以便提供额外的功能。

我想替换任何形式的东西

A->Draw(B1, B2)

与

MyFunc(A, B1, B2).

我的第一个想法是正则表达式，但这很容易出错，因为 A、B1 或 B2 中的任何一个都可以是任意 C++ 表达式。由于这些表达式本身可能包含带引号的字符串或括号，因此很难用正则表达式匹配所有情况。此外，这个表达式可能有多种嵌套形式

我的下一个想法是将 clang 作为子进程调用，使用“-dump-ast”获取抽象语法树，对其进行修改，然后将其重建为要传递给 C++ 解释器的命令。但是，这需要跟踪任何环境更改，例如包含文件和前向声明，以便为 clang 提供足够的信息来解析表达式。由于解释器不公开这些信息，这似乎也不可行。

第三个想法是使用 C++ 解释器自己的内部解析来转换为抽象语法树，然后从那里构建。然而，这个解释器并没有以我能找到的任何方式暴露 ast。

是否有关于如何继续前进的任何建议，无论是沿着规定的路线之一，还是完全沿着不同的路线？

最佳答案

你想要的是 Program Transformation System . 这些工具通常可以让您表达对源代码的更改，以源代码级别的模式编写，基本上说:

 if you see *this*, replace it by *that*

但在抽象语法树上运行，因此匹配和替换过程是 比你通过字符串黑客获得的更值得信赖。

此类工具必须具有用于感兴趣的源语言的解析器。 源语言是 C++ 使得这相当困难。

Clang 有点资格；毕竟它可以解析C++。操作对象 如果没有所有环境上下文，它就无法做到这一点。的程度 OP 正在输入(格式良好的)程序片段(语句等)。 进入解释器，Clang可能[我没有太多经验 我自己] 无法专注于片段是什么(语句？表达式？声明？...)。最后，Clang 并不是真正的 PTS。它的树修改过程不是源到源的转换。这对方便很重要，但可能不会阻止 OP 使用它；表面语法重写规则很方便，但您总是可以更加努力地替换程序树黑客。当规则多于几条时，这开始变得很重要。

GCC with Melt有点像 Clang 那样符合条件。 我的印象是 Melt 最多使 GCC 少一点 不能容忍这种工作。 YMMV。

我们的DMS Software Reengineering Toolkit及其full C++14 [EDIT July 2018: C++17] front end绝对合格。 DMS已被用于进行大规模改造 在大规模 C++ 代码库上。

DMS 可以 parse arbitrary (well-formed) fragments of C++无需事先告知语法类别是什么，并使用其模式解析机制返回正确语法非终结符类型的 AST。 [您可能会得到多个解析，例如歧义，您将决定如何解决，请参阅 Why can't C++ be parsed with a LR(1) parser?更多讨论] 如果您愿意在解析时不使用宏扩展，并且坚持预处理器指令(它们也被解析)相对于代码片段(#if foo{#endif not allowed) 但对于交互式输入的代码片段来说，这不太可能是一个真正的问题。

DMS 然后提供一个完整的程序 AST 库来操作解析树(搜索、检查、修改、构建、替换)，然后可以从修改后的树重新生成表面源代码，提供 OP 文本 提供给解释器。

在这种情况下，它的亮点在于 OP 可以将他的大部分修改直接写为源到源语法规则。对于他的 例如，他可以为 DMS 提供重写规则(未经测试但非常接近正确):

rule replace_Draw(A:primary,B1:expression,B2:expression):
        primary->primary
    "\A->Draw(\B1, \B2)"     -- pattern
rewrites to
    "MyFunc(\A, \B1, \B2)";  -- replacement

并且 DMS 将采用任何包含左侧“...绘制...”模式的已解析 AST，并在将匹配项替换为 A、B1 和 B2 之后用右侧替换该子树。引号是 metaquotes，用于区分 C++ 文本和规则语法文本；反斜杠是在元引号内用于命名元变量的元转义。有关您可以在规则语法中表达的更多详细信息，请参阅 DMS Rewrite Rules .

如果 OP 提供了一个集合这样的规则，则可以要求 DMS 应用整个集合。

所以我认为这对 OP 来说效果很好。这是一个相当重量级的机制，可以“添加”到他想要提供给第 3 方的包中； DMS 及其 C++ 前端几乎不是“小”程序。但是现代机器拥有大量资源，所以我认为这是一个问题，即 OP 需要做到这一点。

关于c++ - 如何从用户输入修改 C++ 代码，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/31814263/

amp43C++codenoreferrerc++clangroot-framework

有关c++ - 如何从用户输入修改 C++ 代码的更多相关文章

  1. ruby - 如何使用 Nokogiri 的 xpath 和 at_xpath 方法 - 2

    我正在学习如何使用Nokogiri，根据这段代码我遇到了一些问题:require'rubygems'require'mechanize'post_agent=WWW::Mechanize.newpost_page=post_agent.get('http://www.vbulletin.org/forum/showthread.php?t=230708')puts"\nabsolutepathwithtbodygivesnil"putspost_page.parser.xpath('/html/body/div/div/div/div/div/table/tbody/tr/td/div

  2. ruby - 如何从 ruby​​ 中的字符串运行任意对象方法？ - 2

    总的来说，我对ruby​​还比较陌生，我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础，我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用

  3. python - 如何使用 Ruby 或 Python 创建一系列高音调和低音调的蜂鸣声？ - 2

    关闭。这个问题是opinion-based.它目前不接受答案。想要改进这个问题？更新问题，以便editingthispost可以用事实和引用来回答它.关闭4年前。Improvethisquestion我想在固定时间创建一系列低音和高音调的哔哔声。例如:在150毫秒时发出高音调的蜂鸣声在151毫秒时发出低音调的蜂鸣声200毫秒时发出低音调的蜂鸣声250毫秒的高音调蜂鸣声有没有办法在Ruby或Python中做到这一点？我真的不在乎输出编码是什么(.wav、.mp3、.ogg等等)，但我确实想创建一个输出文件。

  4. ruby-on-rails - 如何验证 update_all 是否实际在 Rails 中更新 - 2

    给定这段代码defcreate@upgrades=User.update_all(["role=?","upgraded"],:id=>params[:upgrade])redirect_toadmin_upgrades_path,:notice=>"Successfullyupgradeduser."end我如何在该操作中实际验证它们是否已保存或未重定向到适当的页面和消息？ 最佳答案 在Rails3中，update_all不返回任何有意义的信息，除了已更新的记录数(这可能取决于您的DBMS是否返回该信息)。http://ar.ru

  5. ruby-on-rails - 'compass watch' 是如何工作的/它是如何与 rails 一起使用的 - 2

    我在我的项目目录中完成了compasscreate.和compassinitrails。几个问题:我已将我的.sass文件放在public/stylesheets中。这是放置它们的正确位置吗？当我运行compasswatch时，它不会自动编译这些.sass文件。我必须手动指定文件:compasswatchpublic/stylesheets/myfile.sass等。如何让它自动运行？文件ie.css、print.css和screen.css已放在stylesheets/compiled。如何在编译后不让它们重新出现的情况下删除它们？我自己编译的.sass文件编译成compiled/t

  6. ruby - 如何将脚本文件的末尾读取为数据文件(Perl 或任何其他语言) - 2

    我正在寻找执行以下操作的正确语法(在Perl、Shell或Ruby中):#variabletoaccessthedatalinesappendedasafileEND_OF_SCRIPT_MARKERrawdatastartshereanditcontinues. 最佳答案 Perl用__DATA__做这个:#!/usr/bin/perlusestrict;usewarnings;while(){print;}__DATA__Texttoprintgoeshere 关于ruby-如何将脚

  7. ruby - 如何在 buildr 项目中使用 Ruby 代码？ - 2

    如何在buildr项目中使用Ruby？我在很多不同的项目中使用过Ruby、JRuby、Java和Clojure。我目前正在使用我的标准Ruby开发一个模拟应用程序，我想尝试使用Clojure后端(我确实喜欢功能代码)以及JRubygui和测试套件。我还可以看到在未来的不同项目中使用Scala作为后端。我想我要为我的项目尝试一下buildr(http://buildr.apache.org/)，但我注意到buildr似乎没有设置为在项目中使用JRuby代码本身!这看起来有点傻，因为该工具旨在统一通用的JVM语言并且是在ruby中构建的。除了将输出的jar包含在一个独特的、仅限ruby​​

  8. ruby - 如何指定 Rack 处理程序 - 2

    Rackup通过Rack的默认处理程序成功运行任何Rack应用程序。例如:classRackAppdefcall(environment)['200',{'Content-Type'=>'text/html'},["Helloworld"]]endendrunRackApp.new但是当最后一行更改为使用Rack的内置CGI处理程序时，rackup给出“NoMethodErrorat/undefinedmethod`call'fornil:NilClass”:Rack::Handler::CGI.runRackApp.newRack的其他内置处理程序也提出了同样的反对意见。例如Rack

  9. ruby-on-rails - Rails 源代码 : initialize hash in a weird way? - 2

    在rails源中:https://github.com/rails/rails/blob/master/activesupport/lib/active_support/lazy_load_hooks.rb可以看到以下内容@load_hooks=Hash.new{|h,k|h[k]=[]}在IRB中，它只是初始化一个空哈希。和做有什么区别@load_hooks=Hash.new 最佳答案 查看rubydocumentationforHashnew→new_hashclicktotogglesourcenew(obj)→new_has

  10. ruby - 如何每月在 Heroku 运行一次 Scheduler 插件？ - 2

    在选择我想要运行操作的频率时，唯一的选项是“每天”、“每小时”和“每10分钟”。谢谢!我想为我的Rails3.1应用程序运行调度程序。 最佳答案 这不是一个优雅的解决方案，但您可以安排它每天运行，并在实际开始工作之前检查日期是否为当月的第一天。 关于ruby-如何每月在Heroku运行一次Scheduler插件？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.com/questions/8692687/

随机推荐