プログラミング言語で定義した変数をメモリのどのアドレスに割り当てるかの制御は、どのレイヤーで行っているのでしょうか。

Question

例えばある言語で変数を定義したとします。
var i = 1;
この i をどのメモリアドレスに割り当てるかは、どのレイヤーで行っているのでしょうか。

少なくとも、OSレベルではない認識です。
なぜなら、OSはC言語で出来ていて、C言語標準の機能で変数宣言が可能だからです。

Comments

[maisumakun]

> ある言語

言語、処理系によりますので、どのような環境を前提としているか書いてください。

Answer 1

コードをコンパイル後、リンクの時にアドレスは決まります

Comments

[raise_a_hand]

その場合、実行環境に夜メモリのサイズ変更に対応できないと思ったのですが、いかがでしょうか。
例えばC言語をバイナリにコンパイルした際に、リンカで「メモリのxx番地に割り当てる」と決まったとします。
それが64GBのメモリサイズを前提としたものであった場合、
例えば32GBのメモリサイズを使っているコンピュータにて同じコンパイル後のバイナリを実行した際に、
そのアドレスは無いといったエラーが起こる可能性があ流のではないかと思いました。

[y_waiwai]

OSベースで実行する場合はそこらへんのメモリマッピングはOSがしてくれます
OSが介在しない場合（あなたの質門はこの場合ですよね？）は、決め打ちでアドレスは決まります
メモリ構成の違う環境で走らせるものは、その都度、そのメモリ構成の設定でリンクし直す必要があります

[raise_a_hand]

ありがとうございます！まさにその辺り（OSが介在しないケース）をお伺いしたいと思っていました。
質問の仕方が悪かったのにありがとうございます。

[Zuishin]

ローカル変数のアドレスは実行時に決まるので、この回答は誤りだと思います。
たとえば、同じ関数を二か所で呼び出す場合、その時のスタックの状態によって呼び出される関数の変数のアドレスが変わることは容易に確かめられるでしょう。

[Zuishin]

このような回答でいいなら、次回から知恵袋をお勧めします。
精度の高い回答が必要なら、質問の追記修正依頼で尋ねられたことにきちんと答えましょう。

[hihijiji]

この回答が正解になる環境ってどれほどあるのでしょうか？
少なくても私は知りません。
一つでも上げてもらえたら低評価を取り消します。

Answer 2

どのレイヤーで

それを言うためには、どういうレイヤーモデルを意図しているのかを知らないと...
「レイヤー」を無視して言うなら、
言語処理系は、何らかのメモリープールを持っていて、そこの中で変数のエリアを確保します。
そのメモリープールは、場合によってはシステム固定で持っているかも知れませんし(それなら変数を使うことを決めた時点でアドレスも決まるかも知れません)、OSに取得を依頼するものかもしれません(その場合具体的なアドレスはOSから貸与されたメモリアドレスに依存するかも知れません)。

OSはC言語で出来ていて、C言語標準の機能で変数宣言が可能だからです

C言語でできたプログラムはC言語の文法規則のように動くのではありません。ここは勘違いしないように...
C言語で作っていようとアセンブラで作っていようと、C言語の変数確保の仕組みとは切り離した話になります。

変数からは話が離れてしまいますが、ときどき見るC言語のソースとCで書いたプログラムの「勘違い」の例を言えば...
Cで文字列のエスケープシーケンスってありますよね。'\n'とか'\0'とか。あれは、C言語のソースコード中で文字/文字列の中に記述したときだけに有効なルールです。
あるいは、数値リテラルの先頭に0があるのは8進数、0xがあるのは16進数として解釈しますが、それもCのソースコードの中でだけ有効なルールです。

char buf[256];
int n;
...
  scanf("%s",buf);
  scanf("%d",&n);
  printf("%s %d %d\n",buf,n,0123);
...

に対して
abc\ndef\0ghi
0123
と入力を与えたらどういう結果になるでしょう?

「C言語の変数宣言」をそこで持ち出すのは、これが
abc
def
83
となるのを期待するようなものです。