6
#include <stdio.h>
int main()
{
    int end = 0;
    char d[5];
    int digits = 0;
    d[digits++] = digits;
    printf("digits=%d\n",digits);
    printf("d[0]=%d\n",d[0]);

    do{
        printf("if enter 1, end.");
        scanf("%d",&end);
    }while (end = 0);

    return 0;
}

---実行結果---
digits=1
d[0]=1
if enter 1, end.

---僕の理想の実行結果---
digits=1
d[0]=0 ←ここが0
if enter 1, end.

4
  • 1
    do-whileの条件式ですが、end = 0だと代入になってしまいますし、"1が入力されるまでループを続ける"としたいならwhile (end != 1)の様な気がします。
    – cubick
    Commented 2018年9月28日 0:55
  • わかりました。ありがとうございました。
    – zerosen
    Commented 2018年9月28日 1:05
  • 1
    ちなみに、gcc version 8.2.0 で -Wsequence-point オプションを付けてコンパイルすると、warning: operation on ‘digits’ may be undefined と表示されます。
    – user39889
    Commented 2018年9月28日 2:55
  • 1
    この質問は解決しましたか?解決した場合は参考になった回答を承認してください。承認は回答横のチェックマークを選択することで行えます。また解決していない場合は、不明点を質問に追記してください。質問の修正は編集ボタンから行えます。
    – user10259
    Commented 2018年9月29日 2:37

2 件の回答 2

9

EXP30-C. 副作用が発生する式の評価順序に依存しないが参考になるでしょうか。

d[digits++] = digits;

C言語では、演算子の結合順序は定められていますが、評価順序は一部を除いて定められていません。=の左右どちらを先に評価するかは未定義です。

左辺値を先に評価した場合

d[digits++]が評価されます。d[0]を得つつdigits1にインクリメントされます。次にdigitsが評価されます。digits1です。最後に=が評価されd[0]1となります。

右辺値を先に評価した場合

digitsが評価されます。digits0です。次にd[digits++]が評価されます。d[0]を得つつdigits1にインクリメントされます。最後に=が評価されd[0]0となります。


「一部を除いて」とは、よく知られているように&&||,は左辺値を先に評価することが定められていますし、?:も条件式が先に評価されます。

2
  • すごくよくわかりました。ありがとうございます。
    – zerosen
    Commented 2018年9月28日 1:38
  • 3
    厳密にいうとこの例は jpcert の例でいう未定義動作のほうなのですけど、それを説明しだすと長くなるし大変ですよね。
    – 774RR
    Commented 2018年9月28日 2:03
4

式が終わった後にインクリメントされてるからd[0]1が入ってるんですよ。

インクリメントは値を返した後に行われます。
つまり、digitsの値をd[digits++]に使った後には加算済み。
なので、左辺の処理が終わった後にはdigitsは加算済みで、その後右辺が処理され、代入処理がうごいていると思われます。

ただ、この左辺と右辺の演算順は定義されていなかったんじゃないかな?
なのでビルド環境を変えると、右辺処理して、左辺処理して、インクリメント、代入と所望の動きが得られるものもあるんじゃないかと思います。

Cでは定義されていない仕様もあって、その場合の結果は処理系に依存してしまいます。
要は、コンパイラなどのバイナリを出力する過程で使われるプログラムによって、出力結果が変わってしまう事があるということですね。
関数の定義などを見ていても、~の場合は未定義と説明されているのを見かけた事があるんじゃないでしょうか?

どのビルド環境だとそうなるという解は持ち合わせていませんが、処理系に依存するプログラムを書いていると、移植などを行う際に想定外の挙動が起きたりするのでオススメ出来ません。

1
  • すごくよくわかりました。ありがとうございます。
    – zerosen
    Commented 2018年9月28日 1:04

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。