可変識別子は、一日の終わりに全く不要ですか？

Question

私はTOCとコンパイラのデザインを勉強していますが、まだ完成していません。一方、私はアセンブリとマシンコードについて非常に浅い知識を持っています。私はC++を勉強しているので、両側（コードのHLLとLLL表現）を結ぶという欲求と必要性を常に持っていますパフォーマンスと最適化に関する議論を行います。

私の質問は次のとおりです：コードの文の中で式として書かれたときに私たちの変数は、これらすべての変数（および識別子を持つ他のエンティティ）実行時になって、単なる指示を行う

C++は静的型付け言語であります仮想メモリの位置（静的およびグローバル）と、ローカル変数のスタックアドレスに関連するアドレッシングについて説明します。

つまり、セマンティックおよび構文検証を含むコンパイルが成功した後、実行時にシンボルテーブルを使用しなくても、識別子やチェックを考えずにターゲットメモリバイトの保証されたエンティティとしてデータを処理するのは賢明ではありません必要なの？

私の質問が、学習努力が不足していることが原因の質問のタイプ（私はそうではないと思っています）のように見える場合は、そのことを教えてください。それが正しかったのは、私が最近C++に集中しており、まだ低レベル言語の知識を持っていないという機会がないからです。事前にお詫びします。

Answer 1

はい、ほとんどです。識別子が単なるアドレスまたはスタックオフセット以上に残るようにするいくつかの詳細があります。

最初に、RTTIにはC++が含まれています。つまり、実行時に少なくともタイプの名前が引き続き使用可能な場合があります。例：

const std::type_info &info = typeid(*ptr_interface); 
std::cout << info.name() << std::endl; 

*ptr_interfaceの種類の名前を印刷します。

第2に、プログラムがリンクされる方法のために、オブジェクトファイルのシンボルが実行中のイメージにまだ存在する可能性があります。たとえば、関数名を含むスタックのバックトレースを生成できるので、linuxカーネルはこれを利用しています。また、モジュールをロードしてリンクするために、関数名の知識を使用します。同様の機能がGnu Cライブラリに存在します。リンクされていると、スタックトレース内の関数名を取得できます。

通常の場合、コードは変数の元の名前の影響を受けません（しかし、コンパイラは変数が持つ型に適したコードを出力します）。

Answer 2

あなたがいます。マシンコードにコンパイルされると、もはや変数識別子（またはそのような変数型）の概念はなくなります。特定の場所のバイトだけです。 どのの場所は、変数名に基づいて（コンパイル時に）コンパイラによって、グローバル変数の場合にはリンカー（リンク時）によって決定されました。

もちろん、デバッグの目的で識別子などの情報を保持すると便利です。これはまさに「デバッグ情報を使ったコンパイル」という意味です。コンパイラは、そのようにすると、（冗長な）識別子を生成されたコードに埋め込み、デバッガがそのコードにアクセスできるようにします。あるいは、それらを別のファイルに入れてください。その詳細はデバッグ情報の形式に依存します。