C言語 ポインタ インクリメント

Question

###疑問
ポインタをインクリメントすると、インクリメントされたアドレス値はどこにいく（置かれる）のでしょうか？

下記のコードでは、アドレスをインクリメントしながら文字をコピーしています。
関数の外でアドレスを確認すると、文字列の先頭アドレスを指しますが、
関数内ではインクリメントされたアドレスを指しています。
インクリメントしたアドレスは戻さないといけないかなと思ったのですが、予想がはずれました。

また、これは参考書のコードですが、
関数の初めに新しいポインタ変数に代入することに意味あるのでしょうか？
当方では、そのままdestを使うこととの違いが分かりませんでした。
また、新しくメモリを確保するわけでなく、そのまま参照先を書き換えているので、戻り値として返す意味も分かりません。
定石の作法はあるのでしょうか。

また、このコードはバッファオーバーフローなど考慮されてないと思いますが
(strcpyなどもそうですよね？)、
基本的にC言語はパフォーマンス優先するから、例外処理をしないし、
実装者が仕様を理解した上で気をつけて使えという思想でしょうか？

###該当のソースコード

char* scpy(char* dest, const char* source){
          char* p = dest;
          while((*p++ = *source++) != '\0');
          printf("%d\n",p);
          return p;
 }
printf("%d\n",s1);
scpy(s1,s2);
printf("%d\n",s1);

Comments

[coco_bauer]

s1が、整数（"%d"でprintfされる）として扱われたり、char*として扱われたりしていて、非常に行儀の悪いコードだと思います。　別の参考書を使われることをお勧めします。

[ikasoumen]

ありがとうございます。
完全に参考書を模倣したわけではありませんでした。
例えば、関数の前に*をつけるのと戻り値の後ろに*を付けるのでは、
感覚が全然違えると思えたからです。
char *scpy(
ポインタに慣れてないのもあるかもしれませんが、
戻り値はcharへのポインタなのだからchar*とした方が理解しやすかったからです。*scpy だと関数（受け入れ側）自体に情報を付与しているようで気持ち悪かったのです。
%dについては、デバッグのためにこちらで追加したもので、正しく書式を指定するように気をつけます

Answer 1

Cでは関数へ値渡しをしているので
関数内で操作した結果が
そのまま呼びもとへ帰るわけではないのは
前に解答された方の通りです
(関数で使う値は関数用にコピーされた値を使用しています)

destを一度pに入れてから操作しているのは
別物だとはっきり示すためか
返り値で返す時に違う値になっていることを
明示するためではないでしょうか？

また、インクリメントした後のポインタを返しているのは
文字列の連結などでコピーした文字の後ろのアドレスが欲しい時ようだと思います。

Comments

[ikasoumen]

ありがとうございます。
戻り値について、そんな考えもあるのですね。

Answer 2

こんにちは。

C言語は全て値渡しです。scpy()のdest(sourceも)は呼び出し側のdestに設定されているアドレス値が「値渡し」されます。scpy内部のdestと呼び出し側のdestに設定されているアドレス値は異なるメモリに記録されています。
従って、scpy()内部のdestをインクリメントしても呼び出し側のdestはインクリメントされません。

関数の初めに新しいポインタ変数に代入することに意味あるのでしょうか？

強い意味はないと思います。呼び出し側のdestは変更されないですよって意味を明確にしたいと言う意図があるかも知れません。（あまりそのような使い方は見たことないですが。）

また、このコードはバッファオーバーフローなど考慮されてないと思いますが

(strcpyなどもそうですよね？)、
基本的にC言語はパフォーマンス優先するから、例外処理をしないし、
実装者が仕様を理解した上で気をつけて使えという思想でしょうか？

全くその通りです。
C言語はプログラマーの注意力をトコトン消費しますので、個人的には可能であれば業務には使わない方がよいように思います。お勧めはC++です。（組み込み系では必ずしもそうとは限りませんが。）

Comments

[ikasoumen]

全て値渡しに納得しました。
*という怪しげな構文に悩まされていましたが、
糖衣構文だと思ったらなんか理解できました。
*a → GetValuebyAddress(a) SetValuebyAddress(a,1)

[Chironian]

そのイメージであってます。

確かに*とか->って鬱陶しく感じることあるのですが、C#やJavaのように参照（ポインタ）も実体も一緒くたに扱うのはハマるとかなり痛いです。
きっちり理解していてもC#で一度ハマりました。見た目同じなのでデバッグが難しいのですよ。一度ハマると*や->の有り難みを実感します。

Answer 3

ポインタをインクリメントすると、インクリメントされたアドレス値はどこにいく（置かれる）のでしょうか？

関数に渡されるのはあくまでも変数のアドレスです。
例えばこのようなソースの場合。

main()
{
  int a;
  func( &a );
}
func( int *pa )
{
  pa++;
}

引数paにはmain関数で定義した変数aのアドレスが入っています。
図で書くとこんな感じでしょうか（番地は適当です）

1000番地｜a
2000番地｜pa(1000)

つまりfunc内でpaの値をインクリメントしてもpaの値が変わるだけで変数aには影響がありません。

関数の初めに新しいポインタ変数に代入することに意味あるのでしょうか？

直接引数のdestを使っても同じ動きはしますね。
そうするとdestはインクリメントして値が変わってしまうので、関数で受け取った当初の値（格納先の先頭アドレス）がわからなくなってしまうので保存の意味で代入して使っているのではと思います。
というのもありますし、引数の値を更新するというのはあまり一般的ではないかもしれません。

実装者が仕様を理解した上で気をつけて使えという思想でしょうか？

まさにその通りです。

Comments

[ikasoumen]

ありがとうございます。
そのような代入の考え方はできませんでした。