我不確定能不能回答你的問題 但小弟最近剛好也在玩 clang pragma handler
就來獻醜一下:我嘗試過非常多的方法 但結論就是盡量不要去碰 parser
原因不外乎 clang parser不像是 preprocessor 有 pragma, attribute, 甚至
PPCallback(註),或是AST部分有 ASTConsumer 可以用 plugin 上下其手的地方
parser的生態系非常封閉,如果不是從頭parse到尾的話很容易出錯
所以我在做我自己的pragma handler 的時候一律是直接注入自己生成,或者客製化的
Token。
我有點看不懂你最終想要做什麼,但假設你的 pragma 是會生出一堆新的程式碼
也就是 class UserConfig,那我覺得你可以在解析完 value = 3*3之後,直接
生出一串構成 UserConfig class 的 Tokens,也就是 'class' 'UserConfig' '{'
等等。
接下來就是要注入這些 Token,方法有好幾種。其中一種是利用
Preprocessor::EnterTokenStream 來注入。但老實講我沒親身用過這函式所以不確定
到底好不好用,你可能要詳細閱讀一下他在 Preprocessor.cpp 裡面的註解
另外一個方法是把你剛剛那串 Tokens 定義成一個新的 Macro。動態插入一個 macro 蠻
簡單的,但缺點當然就是你在程式碼的某個地方事先就要呼叫那個 macro 他才會被
展開
希望這些對你有幫助
註:PPCallback不能用 plugin 的方式來插入,但你可以在 PragmaHandler 裡面呼叫
Preprocessor::addPPCallback 來插入一個客製的PPCallback
※ 引述《nevak (^o^)》之銘言:
: 慶祝CompilerDev開版,貢獻(?)一題發問
: 最近工作上需要增加一些pragma支援
: 原本我們的parser可以正確處理pragma中設定的參數
: 例如以下片段,Current Support部分
: https://gitlab.com/snippets/1985048
: 目前我們是利用clang::Parser::ParseConstantExpression 去parse參數
: http://tiny.cc/byukqz
: 因此只要是constant expression都可以解出來,例如3 * 3
: 我們現在想要增加支援static const class member
: 理論上也可以透過template去做設定,例如以下片段Expected Support
: https://gitlab.com/snippets/1985048
: 想請問一下關於這個實做有沒有什麼提示該從何處下手
: 謝謝
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 169.234.228.195 (美國)
※ 文章網址: https://www.ptt.cc/bbs/CompilerDev/M.1591806690.A.16E.html
※ 編輯: mshockwave (169.234.228.195 美國), 06/11/2020 00:33:00