文字列が有効なC++（ish）式であるかどうかをテストする方法は？

Question

文字列（おそらくstd::string）が有効なC++式であるかどうかをテストする必要のあるプログラムをC++で作成しています。変数が宣言されていれば（bool variableDeclared(std::string identifier)）、変数の型をチェックすることもできます（std::string variableType(std::string identifier)）。 variableType関数は、C++（"bool"、"double"、"char"など）で宣言される方法に基づいて文字列を返します。

この式は評価する必要はなく、有効かどうかをテストするだけです。関数は文字リテラル、文字列リテラル、数値リテラル、ブラケット、簡単な演算子をサポートする必要がある（+、-、*、/、!（ロジックではない）、&&、||、>、<、==）、およびタイプdoubleの変数、std::string（関数呼び出しは不要）、boolおよびchar。また、文字列連結をサポートする必要もありません。

希望の結果は、bool validExpression(std::string expression)のような関数になります。また、操作を変更することもできます（たとえば、"=="を"equal-to"に変更することができます）。

どうすれば実装できますか？このようなことができるライブラリ、正規表現のステートメント、または単にifステートメントがたくさんある長い関数の問題ですか？

Answer 1

正式には、検証する式の言語を記述した文法と、それを判断するための単語その言語に属します。これは、その言語のパーサの仕事です。

再帰下降LL（1）パーサーのようなものを手で作ったり、ツールを使ってパーサーを生成することができます。このようなツールのよく知られた例は、LALR（1）パーサーを生成するためのBisonである。ウィキペディアの長さはparser generator listです。

---

技術用語は、主にグーグルのエントリポイントを提供するために使用されます。

Answer 2

アプリケーションのサブプロセスとしてコンパイラを実行できます。引数を渡して応答を適切に解析するだけです。

Answer 3

あなたの言語を正式に定義することから始めます。 （言語は文字列の集合です）。言語を定義する良い方法は、文脈自由文法を指定することです。宣言文で非形式的に条件を記述すること（変数を宣言し、適切な型を指定する必要があるなど）

次の手順では、前の手順で指定した文法のパーサーを作成します。文法から自動的にyacc/bisonからboost :: spiritまでパーサを構築するためのツールがいくつかあります。

パーサーを構築して確認した後、非公式に指定されたルールを実装し、パーサーコード/データにプラグインします。

通常、評価者を作成する次のステップは、おそらく単純なインタープリタを作成する最も簡単な部分ですが、必要がないと言います。

あなたの言語を「特定のビットを取り出しただけでC++と同じように」記述することは、上で概説したシーケンスの予備ステップです。ただし、C++から始めるのはお勧めできません。 C++は形式的に指定するのが非常に難しい言語であり、そのパーサーは複雑な宣言構文のためにかなり毛深い傾向があります。