C言語 構造体アクセスと後置インクリメントの優先順位

Question

構造体.p++とした場合、

1. 構造体アクセス(.)と後置インクリメント(++)は同じ優先度。
2. 結合順序は左から右。
3. 後置インクリメントはインクリメントする前の値を評価値として返す。

ことから、((構造体.p)++)となると思うのですが、実際には(構造体.(p++))になりました。(((構造体.p)++)が実際にどう評価されるのかはよくわからないですが)

#include <stdio.h>
#define SIZE 5

struct ST {
    int* a;
} st;
int b[SIZE];

void print_all(void) {
    int i;
    for (i = 0; i < SIZE; i++) {
        printf("%d: %d\n", i, b[i]);
    }
}

int main(void) {
    st.a  = b;
	*(st.a++) = 1;
	
	print_all();
	
	return 0;
}

出力:

0: 1
1: 0
2: 0
3: 0
4: 0

しかし、(構造体.(p++))だとしても(構造体.(p++を評価した値))となるのでなにかおかしい気がします。よくわからなくなってきました。構造体アクセスと後置インクリメントが同じ式に現れた場合どういう動作になるのでしょうか？

Answer 1

実際には(構造体.(p++))になりました。

これは意味不明です。pは変数じゃない（メモリ上のエリアが無い）のでインクリメントできません。
構造体.pで初めてメモリ上のエリアを意味します。

後置インクリメントの理解不足では？

*(st.a++) = 1;

は、

*(st.a) = 1;
st.s++;

と同じなので、*bに1が代入されます。

Comments

[justAman22]

嘘みたいな話なのですが、「((構造体.p)++)となると思うのですが、実際には(構造体.(p++))になりました。」の言っている意味がよくわかりません。ちょっと頭を冷やします。

[justAman22]

ポインタpがアドレス0x0001としたとき、

p -評価-> 0x0001
p++ -評価-> 0x0001 その後インクリメント

st.a -評価-> 0x0001
st.a++ == (st.a)++ == (0x0001)++

と謎の勘違いをしてしまったみたいです。
(p)++ -評価-> 0x0001 その後インクリメント
であるにも関わらず。

[justAman22]

C言語においての式の”評価”というのがよくわかっていないみたいです。式を評価するということがどういうことか詳しく解説されている本とか知りませんか？やっぱり規格表を熟読するしかないのでしょうか？

[otn]

評価というのは、式の字面から、値の数値（数値計算の場合）を求めることです。

2つ目のコメントは意味がわかりません。

[justAman22]

1＋1を評価したら2であることはわかるのですが、a=1を評価するとか、a = (b = 10 + 3) = 3を評価するとか、よくわからなくなってきます。「式」が数学でとかで使う式とは少し指すものが違うのでしょうね。お付き合いいただきありがとうございました。

[otn]

> 「式」が数学でとかで使う式とは少し指すものが違うのでしょうね。

そうですね。数学の式は言明と言えると思いますが、プログラミング言語の式は、実行される物です。
このサイトの質問でたまに見る誤解ですが、
a = 1
b = a
a = 3
と書くと、b = a と書いてあるので、a = 3 と書くと b まで 3 になると思っている人が居るようです。
これは式を言明と思っていると言うことでしょう。

[justAman22]

最近、C言語の変数は箱というより、決まったメモリ領域にはられたラベルようなものだと感じています。

Answer 2

値が評価されてから、インクリメントされます
*(st.a) = 1;
st.a=st.a+1;
ってことですね

Comments

[justAman22]

インクリメントが結局はa += 1、 a = a+1 であることがきれいに抜け落ちてました。この回答を見てそのことに気づきました。なぜ気づかなかったのか、ありがとうございます。