ポインタ変数にアドレスを代入していないのに、勝手にアドレスが代入される仕組みを知りたいです。

前提・実現したいこと

ポインタ変数を初期化しないでprintf()でアドレスを表示させると（nil)になりますが、初期化していないポインタ変数を３つ宣言し、それぞれのアドレスをprintf()で表示させると最初の２つはアドレスが表示されますが、最後のアドレスは表示されませんでした。ポインタ変数にアドレスを入れていないのにアドレスが代入されていました。
どのような仕組みになっているのでしょうか？

発生している問題・エラーメッセージ

warningメッセージです。

test10.c:7:1: warning: return type defaults to ‘int’ [-Wimplicit-int]
7 | main()
| ^~~~
test10.c: In function ‘main’:
test10.c:12:2: warning: ‘s’ is used uninitialized in this function [-Wuninitialized]
12 | printf("%p\n", s);
| ^~~~~~~~~~~~~~~~~
test10.c:13:2: warning: ‘j’ is used uninitialized in this function [-Wuninitialized]
13 | printf("%p\n", j);
| ^~~~~~~~~~~~~~~~~
test10.c:14:2: warning: ‘i’ is used uninitialized in this function [-Wuninitialized]
14 | printf("%p\n", i);;

該当のソースコード

#include <stdio.h>
#include <stdlib.h>

int i;

main()
{
char *s;
int *j;
int *i;
printf("%p\n", s);
printf("%p\n", j);
printf("%p\n", i);;
}
実行結果
0x7f0b04bbe060
0x7fffc893ea10
(nil)

補足情報（FW/ツールのバージョンなど）

Ubuntu でviエディタで編集し、gccでコンパイルしています。
ここにより詳細な情報を記載してください。

行動規範の内容に同意します

回答3件

ベストアンサー

Cの変数には「値がない」という状態はありません。変数として生まれたからには、代入されていなくても必ずなにかの値を持っています。文法的にはRubyあたりでいうnilに相当するものはありません。ポインタがどこも指していないことはNULLと表される特別な値をそれに割り当てているだけで、それも値の一つです。実際には0ですが。
参考:過去Q&A

もう一つ、Cでは特に指定しない場合、静的寿命をもつ変数(グローバル変数やstatic属性の変数)はプログラム開始前に0に初期化されることに決まっています。一方、動的な変数の初期値は特に指定しない限り「不定」です。不定とういのは、なんだかわからない値という意味ではなく、変数が生成されるときに特定の値を持っていることを期待できないということ。0かも、1000かも、-1億かも...

警告メッセージは、
最初のreturn type defaults to ‘int’は、Cの規格上mainのシグニチャは
int main(void)
int main(int , int)あるいはそれとtypedef等で等価なもの
コンパイラが許すもの
となっていて、標準的な前者二つに合致してないけどいいの? というプロンプトです。
戻り値の型が省略されてるからint型が返るということにするからね、ということ。(なんでエラーにせずそうするかというと歴史的な経緯です)
warning: ‘s’ is used uninitialized in this functionは、
前述のように「不定」の値を参照しているので、その結果もまた不定だけどそれで大丈夫? ということです。