質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

ただいまの
回答率

88.92%

ポインタのforループ

解決済

回答 4

投稿

  • 評価
  • クリップ 0
  • VIEW 793

anndonut

score 495

配列の初期化などでポインタのforループを書くことがあります。アセンブリ言語に明るい人間ならばこのように書きたがると思いますが、C/C++言語においてこの動作は未定義となりますでしょうか。主に配列の要素以外の部分をポインタが指すときの比較演算が保証されているか、という質問内容になります。よろしくお願いします。

#include <stdio.h>

int main() {
    int a[5];
    int *pe = a + 5;
    for (int *p = a; p < pe; ++p) *p = 0;
    for (int *p = pe - 1; p >= a; --p) printf("%d\n", *p);
    return 0;
}
  • 気になる質問をクリップする

    クリップした質問は、後からいつでもマイページで確認できます。

    またクリップした質問に回答があった際、通知やメールを受け取ることができます。

    クリップを取り消します

  • 良い質問の評価を上げる

    以下のような質問は評価を上げましょう

    • 質問内容が明確
    • 自分も答えを知りたい
    • 質問者以外のユーザにも役立つ

    評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

    質問の評価を上げたことを取り消します

  • 評価を下げられる数の上限に達しました

    評価を下げることができません

    • 1日5回まで評価を下げられます
    • 1日に1ユーザに対して2回まで評価を下げられます

    質問の評価を下げる

    teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

    • プログラミングに関係のない質問
    • やってほしいことだけを記載した丸投げの質問
    • 問題・課題が含まれていない質問
    • 意図的に内容が抹消された質問
    • 過去に投稿した質問と同じ内容の質問
    • 広告と受け取られるような投稿

    評価が下がると、TOPページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

    質問の評価を下げたことを取り消します

    この機能は開放されていません

    評価を下げる条件を満たしてません

    評価を下げる理由を選択してください

    詳細な説明はこちら

    上記に当てはまらず、質問内容が明確になっていない質問には「情報の追加・修正依頼」機能からコメントをしてください。

    質問の評価を下げる機能の利用条件

    この機能を利用するためには、以下の事項を行う必要があります。

回答 4

checkベストアンサー

+6

p が a[0] の一つ前を指すようになり、その値を a と比較しているので
未定義動作です。
ポインタが配列の要素を指すとき、その値は配列の要素のアドレスと、
最後の要素の次のアドレスだけが許されています。

例えば、セグメントレジスタとオフセットでデータをアクセスする CPU で
ポインタがオフセット値だけを持つ場合、配列 a がオフセット 0 から
割り付けられていたとすれば、a[0] のアドレスが 0x0000 でその前が
0xffff となり、p <= a が成立しなくなります。

通常の処理系では問題ありませんが、次のように書くと規格上の問題も解決します。

    for (int *p = pe; p > a; ) printf("%d\n", *--p);

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2020/07/20 11:26

    そっちもはみ出していたか…

    キャンセル

  • 2020/07/20 20:26 編集

    kazuma-sさん、ご回答ありがとうございます。規格上矛盾のないコード例も非常に参考になりました。ちなみに

    > セグメントレジスタとオフセットでデータをアクセスする CPU でポインタがオフセット値だけを持つ場合

    は正直わかりませんでしたw

    キャンセル

  • 2020/07/21 01:37

    >> セグメントレジスタとオフセットでデータをアクセスする CPU でポインタがオフセット値だけを持つ場合
    >
    > は正直わかりませんでしたw

    むしろ昔のx86/16ビットWindows用CコンパイラのFARポインタ、NEARポインタがそれに相当するかもですね。今のC言語仕様が適用されてはいなかったかもしれないと言うのと、ポインタの操作において内部で特殊な操作がされていたので、ポインタ演算では状況は違ったかもですが。

    キャンセル

+3

もちろん逆参照はできませんが、「配列の末尾の次」を指すポインタは、存在・演算が可能なことは保証されています。

式Pが配列オブジェクトの要素を指しており,式Qが同じ配列オブジェクトの最後の要素を指している場合,ポインタ式Q+1(引用者注:この演算が可能なことも別途保証されています)は,Pと比較してより大きいとする。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2020/07/20 20:30

    maisumakunさん、ご回答ありがとうございます。

    キャンセル

+2

kazuma-sさんの回答の通りであるため、Cに関しての補足の参考文献のみあげておきます。

Pointer arithmetic | Arithmetic operators - cppreference.com
ポインタ算術 | 算術演算子 - cppreference.com

元のポインタと結果のポインタがどちらも同じ配列の要素または同じ配列の最後の要素の次を指す場合にのみ動作は定義されます。 p が配列の最初の要素を指すとき p-1 は未定義動作でありプラットフォームによっては失敗するかもしれないことに注意してください。

6.5.6 Additive operators | n1570(C11最終ドラフト) P.93 

8 (前略)
If both the pointer operand and the result point to elements of the same array object, or one past the last element of the array object, the evaluation shall not produce an overflow; otherwise, the behavior is undefined.
(後略)

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2020/07/20 20:28

    raccyさん、参考文献のご提示ありがとうございます、非常に助かります。

    キャンセル

-4

ポインタの比較自体は大丈夫ですね
アクセスを伴うとヤバいでしょうけど

#環境によりポインタのオーバーフローは考慮の必要はありそうですが。

投稿

編集

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

15分調べてもわからないことは、teratailで質問しよう!

  • ただいまの回答率 88.92%
  • 質問をまとめることで、思考を整理して素早く解決
  • テンプレート機能で、簡単に質問をまとめられる

関連した質問

同じタグがついた質問を見る