正規化表現でC++言語のif()文を検知する方法

Question

提示コードですがif文の構文をハイライトしたいのと改行した時に自動インデントを行いたいのでその行でif文があるかどうかを判定したいです。
提示コードですがまずは最小の環境で実験しているのですがなぜ行の最初の文字を判定するに判定結果がfalseなのでしょうか？

１，以下の文字列のような場合も適切に検知するにはどう記述したらいいのでしょうか？
if("if" == std::string("if") == if )

2，テキストエディターを作っているのですが構文ハイライト等に正規化表現を使うのは正しいのでしょうか？
３，また構文チェックやハイライトで正規化表現を使う場合どう判定したらいいのでしょうか？先頭のif文字だけじゃ無理でしょうか？

参考サイト：https://murashun.jp/article/programming/regular-expression.html

参考サイト：　https://qiita.com/yohm/items/7c82693b83d4c055fa7b
正規化表現サイト：　https://www.tohoho-web.com/ex/regexp.html#:~:text=%E3%83%AA%E3%83%B3%E3%82%AF-,%E6%AD%A3%E8%A6%8F%E8%A1%A8%E7%8F%BE%E3%81%A8%E3%81%AF,%E3%81%84%E3%82%8B%E3%82%82%E3%81%AE%E3%81%8C%E7%95%B0%E3%81%AA%E3%82%8A%E3%81%BE%E3%81%99%E3%80%82

#include <iostream>
#include <string>
#include <cstdarg>
#include <cstdio>
#include <regex>

int main() 
{
    std::regex re("^if");

    if ( std::regex_match("if()",re) == true)
    {
        std::cout<<"マッチ"<<std::endl;
    }

   
}

Answer 1

プログラミング言語の文法のほとんどは正規文法ではないです。 特に (拡張されていない) 正規表現では括弧の対応を扱えないのでプログラミング言語の解釈には全然役立ちません。 正規表現によるマッチングでは正確な解釈は不可能です。 C++ の文法は文脈自由文法に該当し、その中でも GLR 法で解釈可能な範疇とされています。 また、 C++ の文法はものすごく巨大なので正確なものを個人で実装するのは困難でしょう。

正規表現でもかなり雑にそれらしいところを見つけるくらいは出来るかもしれません (やっているエディタもある) が、結局のところ場当たり的なルールを大量に用意するだけの力技です。

現在ではコンパイラ自体とエディタがやりとりして正確なハイライトに使うという仕組みが一般的になり、そのやりとりの形式は LSP (Language Server Protocol) として規格化されました。 あくまでもエディタに力を入れたいということであればプログラミング言語の解釈はコンパイラに任せてそこから LSP を通じて教えてもらう形にするのが現実的ではないかと思います。

Comments

[退会済みユーザー]

なるほど質問ですがこのようなライブラリを使って実装することは可能でしょうか？
https://github.com/kuafuwang/LspCpp