c - 完全なCパーサーなしでC宣言の開始と終了を検出する

Question

C宣言や関数定義のリストを部分的に解析したいと思います。

つまり、それぞれが1つの宣言または関数定義を含むサブストリングに分割したいと思います。

次に、各宣言は（個別に）別のモジュールに渡されます（完全なCパーサーが含まれていますが、直接呼び出すことはできません）。

もちろん、プログラムに別の完全なCパーサーを含めることでこれを行うことができますが、これは避けたいと思います。

私がこれまでに直面したトリッキーなケースは'}'、宣言/定義を終了するかどうかの問題を含みます。たとえば

int main(int ac, char **av) {return 0;}

...'}'はターミネーターですが、

typedef struct foo {int bar;} *pfoo;

そうではない。次のような病理学的なコードも存在する可能性があります。

struct {int bar;} *getFooPtr(...) { /* code... */ }

ノート

score 1 · Accepted Answer

私の知る限り、次の解決策は宣言に対してのみ機能します（つまり、関数定義はこのセクションから除外する必要があります。そうでない場合は、セミコロンを追加すると回避策になる可能性があります:)

これが不十分であることが判明した場合は、clangパーサーに切り替えます。

score 1 · Accepted Answer

関数定義を処理するために回答のステートマシンを拡張するには、次の手順を追加します。

もちろん、これは後処理されたコードでのみ機能します。まだ展開されていないさまざまな奇妙なことを行うマクロがある場合、すべての賭けは無効になります。

score 0 · Accepted Answer

最善の策は、宣言に関連するC文法の部分を抽出し、そのパーサーまたはその短縮バージョンを作成することです。同様に、関数本体の文法も同様の方法で省略して、スキップできるようにする必要があります。

これにより、宣言に対して比較的信頼できるパーサーが生成される可能性があります。

信頼できるC文法を手に入れることができない可能性が高いのは残念です。ANSI規格にあるものは、コンパイラが実際に使用するものではありません。すべてのベンダーは、コンパイラーに優れた機能と複雑な機能を追加しています（たとえば、MS Cのdeclspecsなど）。

プリプロセッサが実行されたという仮定は興味深いものです。プリプロセッサ構成はどこで入手しますか？（たとえば、コンパイラコマンドラインは、パス、プラグマ設定などを定義します）？各開発環境はプリプロセッサの条件を設定するさまざまな方法を定義しているため、これは見た目よりも困難です。

時折発生するエラーを受け入れる場合は、重要なクライアントのコードでミスを犯す頻度を法として、ヒューリスティックが有効な候補になります。これは、プリプロセッサの問題を完全に回避して、未処理のコードを処理できることも意味します。

3 に答える 3