多くのエディターとIDEにはコード補完があります。それらのいくつかは非常に「インテリジェント」であり、他は実際にはそうではありません。よりインテリジェントなタイプに興味があります。たとえば、a）現在のスコープで使用可能であるb）戻り値が有効である場合にのみ関数を提供するIDEを見てきました。（たとえば、「5 + foo [tab]」の後では、正しいタイプの整数または変数名に追加できるものを返す関数のみが提供されます。）また、より頻繁に使用されるオプションまたは最長のオプションが優先されることも確認しました。リストの。
コードを解析する必要があることを理解しています。ただし、通常、現在のコードの編集は無効ですが、構文エラーがあります。不完全でエラーが含まれているものをどのように解析しますか？
時間の制約もあります。リストを作成するのに数秒かかる場合、完了は役に立ちません。完了アルゴリズムが数千のクラスを処理する場合があります。
これに適したアルゴリズムとデータ構造は何ですか？
回答:
UnrealScript言語サービス製品のIntelliSenseエンジンは複雑ですが、ここではできる限り概要を説明します。VS2008 SP1のC＃言語サービスが私のパフォーマンス目標です（正当な理由があります）。まだありませんが、ctrl + spaceやユーザーが.（ドット）を入力するのを待たずに、1文字を入力した後、安全に提案を提供できるほど高速で正確です。[言語サービスに取り組んでいる]人々がこの主題についてより多くの情報を得るほど、私が彼らの製品を使用した場合に、より良いエンドユーザーエクスペリエンスを得ることができます。不幸なことに、細部にまで気を配らなかった製品がたくさんあります。その結果、コーディングよりもIDEと戦っていました。
私の言語サービスでは、次のようにレイアウトされています。
aa.bb.ccですが、のようにメソッド呼び出しを含めることもできますaa.bb(3+2).cc。IDeclarationProviderとします。ここで呼び出すGetDeclarations()とIEnumerable<IDeclaration>、スコープ内に表示されているすべてのアイテムを取得できます。私の場合、このリストには、ローカル/パラメーター（メソッド内の場合）、メンバー（フィールドとメソッド、インスタンスメソッド内でない限り静的、基本タイプのプライベートメンバーなし）、グローバル（言語Iのタイプと定数）が含まれます。に取り組んでいます）、およびキーワード。このリストには、という名前のアイテムが含まれますaa。＃1で式を評価するための最初のステップとして、我々は、名前のコンテキストの列挙から項目を選択しaa、私たちに与えて、IDeclaration次のステップのために。IDeclaration表現に適用して、の「メンバー」（ある意味で）を含むaa別の演算子を取得します。以来、オペレータが異なるオペレータ、私が呼び出しと期待していたオブジェクトが正しく記載されている演算子を適用します。IEnumerable<IDeclaration>aa.->declaration.GetMembers(".")IDeclarationcc。ここで、宣言リストには、という名前のオブジェクトが含まれる場合と含まれない場合がありますcc。ご存知のとおり、複数の項目がで始まる場合はcc、それらも表示されるはずです。私はこれを解決するために、最終的な列挙を取得し、それを文書化されたアルゴリズムに渡して、ユーザーに可能な限り最も役立つ情報を提供します。IntelliSenseバックエンドに関する追加の注意事項は次のとおりです。
GetMembers。キャッシュ内の各オブジェクトは、そのメンバーを評価するファンクターを提供できるため、ツリーで複雑なアクションを実行するのは簡単です。List<IDeclaration>がそのメンバーを保持する代わりに、を保持しますList<Name>。ここで、Nameは、メンバーを説明する特別にフォーマットされた文字列のハッシュを含む構造体です。名前をオブジェクトにマップする巨大なキャッシュがあります。このようにして、ファイルを再解析するときに、ファイルで宣言されているすべてのアイテムをキャッシュから削除し、更新されたメンバーを再入力できます。ファンクターの構成方法により、すべての式はすぐに新しいアイテムに評価されます。IntelliSense「フロントエンド」
ユーザーが入力すると、ファイルは正しいよりも構文的に正しくないことがよくあります。そのため、ユーザーが入力したときにキャッシュのセクションを無計画に削除したくありません。増分更新を可能な限り迅速に処理するために、多数の特殊なケースのルールを用意しています。インクリメンタルキャッシュは開いているファイルに対してのみローカルに保持され、入力によってバックエンドキャッシュがファイル内の各メソッドなどの誤った行/列情報を保持していることにユーザーが気付かないようにするのに役立ちます。
前のセクションのコードスニペット：
class A
{
int x; // linked to A
void foo() // linked to A
{
int local; // linked to foo()
// foo() ends here because bar() is starting
void bar() // linked to A
{
int local2; // linked to bar()
}
int y; // linked again to A
このレイアウトで実装したIntelliSense機能のリストを追加すると思いました。それぞれの写真はここにあります。
特定の実装でどのアルゴリズムが使用されているかを正確に言うことはできませんが、知識に基づいて推測することはできます。トライは、この問題のために非常に有用なデータ構造である：IDEは、各ノードでいくつかの余分なメタデータを、プロジェクト内のシンボルの全てのメモリに大規模なトライを維持することができます。
キャラクターを入力すると、トライ内のパスを歩きます。特定のトライノードのすべての子孫は、可能な補完です。IDEは、現在のコンテキストで意味のあるものでそれらを除外する必要がありますが、タブ補完ポップアップウィンドウに表示できる数だけ計算する必要があります。
より高度なタブ補完には、より複雑なトライが必要です。たとえば、Visual Assist Xには、キャメルケース記号の大文字を入力するだけでよい機能があります。たとえば、SFNと入力するSomeFunctionNameと、タブ補完ウィンドウに記号が表示されます。
トライ（または他のデータ構造）を計算するには、プロジェクト内のすべてのシンボルのリストを取得するために、すべてのコードを解析する必要があります。Visual Studioは.ncb、これをプロジェクトと一緒に保存されているファイルであるIntelliSenseデータベースに保存するため、プロジェクトを閉じて再度開くたびにすべてを再解析する必要はありません。大規模なプロジェクト（たとえば、フォームソース管理を同期したばかりのプロジェクト）を初めて開くと、VSはすべてを解析してデータベースを生成するのに時間がかかります。
増分変更をどのように処理するのかわかりません。あなたが言ったように、あなたがコードを書いているとき、それは90％の確率で無効な構文であり、アイドル状態になるたびにすべてを再解析することは、特にによって含まれるヘッダーファイルを変更している場合、CPUに大きな負担をかけます。多数のソースファイル。
（a）プロジェクトを実際にビルドするとき（またはプロジェクトを閉じたり開いたりしたとき）にのみ再解析するか、（b）ある種のローカル解析を実行して、現在の場所のコードのみを解析するのではないかと思います。関連するシンボルの名前を取得するために、いくつかの限定された方法で編集されました。C ++は非常に複雑な文法を持っているため、重いテンプレートメタプログラミングなどを使用している場合、暗い場所で奇妙に動作する可能性があります。
次のリンクはさらに役立ちます。
シンタックスハイライト：シンタックスハイライト用の高速カラーテキストボックス