アドレスと内容

通常変数・ポインタ変数・配列変数を
　

int  var ; int *pointer ; int  array[ 10 ] ;

　
と宣言した場合に、これらの変数それぞれの "アドレス参照" と "内容の参照" は以下のように分類される
　

変数のアドレス参照	変数の内容の参照
&var	var
pointer	*pointer
array または & array[ 0 ]	array[0] ... array[9]

　
一般的に、アドレス同士の代入・内容同士の代入（表の縦方向）は OK で、アドレスと内容の間の代入（表の横方向）はNGな場合が多い。
　
例)
 
pointer = &var ;
pointer = array ;

は理にかなっている（アドレス同士の代入である）が、
　
&var = *pointer ;
　
などとは書かない（書けない）。


　
例２）

>>　次のような変数・ポインタ・配列間での代入はどうだろうか？

var = var ; Good
var = & var ;
var = *pointer ; Good
var = pointer ;
var = & pointer;
var = array[0] ; Good
var = array;

pointer = var ;
pointer = & var ; Good
pointer = pointer; Good
pointer = *pointer;
pointer = & pointer; Good
pointer = array[ 0 ] ;
pointer = array ; Good

*pointer = var ; Good
*pointer = & var ;
*pointer = pointer ;
*pointer = *pointer ; Good
*pointer = & pointer ;
*pointer = array [ 0 ]; Good
*pointer = array ;

array[ 0 ] = var ; Good
array[ 0 ] = &var ;
array[ 0 ] = pointer ;
array[ 0 ] = *pointer ; Good
array[ 0 ] = &pointer ;
array[ 0 ] = array[ 0 ] ; Good
array[ 0 ] = array ;

[Q] 変数の代入のルールが守られ無かった場合にはどのようなことがおきるか？
　
[A] その１

代入の型（変数とポインタ）が合っていない場合には翻訳(cc)時に以下のような警告メッセージ(warning)が出る。これらは致命的なエラーではないので実行プログラム(a.out)は生成される（翻訳時の警告）。
　

bash$ cat test.c #include <stdio.h> main() {     int a;     int *b;     b = a;      /* ←　ここがおかしい */ } bash$ cc test.c test.c: In function `main': test.c:9: warning: assignment makes pointer from integer without a cast bash$ ./a.out bash$

　
代入の組み合わせによっては
    "assignment makes integer from pointer without a cast"
などとメッセージが変わる
　
　
[A] その２
　
上記の "アドレス" と "内容" のルールの他に L-Value(L:Left, 左辺値) のルールもあり、それに抵触すると以下のようなエラーメッセージが出る。
この場合のエラーは致命的で実行プログラム(a.out)は生成されない。
　

bash$ cat test.c #include <stdio.h> main() {     int a;     int *b;     &a = b;   /* ←　ここが変　*/ } bash$ cc test.c test.c: In function `main': test.c:9: invalid lvalue in assignment bash$

　
　
[A] その３
　
少し外れるが、次のようのエラーも発生しうるので紹介しておく。
ポインタ変数が正しく初期化されていないとエラーでプログラムが終了する場合（実行時のエラー）。
　

bash$ cat test.c #include <stdio.h> main() {     int a;     int *b;     *b = 10;    /* 初期化されていない */ } bash$ cc test.c bash$ ./a.out Segmentation fault (core dumped) bash$

　

[Back] [Index]