プログラマ専用SNS ミクプラ

• [制約]
  単項&演算子のオペランドは、関数指示子、[]演算子若しくは単項*演算子の結果、又は左辺値でなければならない。
  左辺値の場合、ビットフィールドでもなく、register記憶域クラス指定子付きで宣言されてもいないオブジェクトを指し示さなければならない。
  [意味規則]
  (1)単項&演算子は、そのオペランドのアドレスを返す。
  (2)オペランドが型"〜型"をもっている場合、結果は、型"〜型へのポインタ"をもつ。
  (3)オペランドが、単項*演算子の結果の場合、*演算子も&演算子も評価せず、両演算子とも取り除いた場合と同じ結果になる。ただし、その場合でも演算子に対する制約を適用し、結果は左辺値とならない。
  同様に、オペランドが[]演算子の結果の場合、単項&演算子と、[]演算子が暗黙に意味する単項*演算子は評価されず、&演算子を削除し[]演算子を+演算子に変更した場合と同じ結果になる。
  (5)これら以外の場合、結果はそのオペランドが指し示すオブジェクト又は関数へのポインタとなる。

• (1)「&*array」は「*array」を評価し次に「array of char(要素型はchar)」に対して&演算子を評価しているから「配列(char[3])へのポインタ」を返し、そして型はchar(*)[3]となる。と一見読めるが、これでは両演算子を評価をしてしまっているので定義(3)に反している。
  (2)では、最初から考えて、まず演算子の優先順位から「*array」は評価されていると思う。
  (3)次に&演算子を評価するときに対象は何かなぁ〜？あっ「*array」は*演算子の結果じゃん。
  じゃぁ(返す値の)結果は両演算子とも取り除いた場合と同じ(返す値の)結果になるよ。
  (4)けど定義(2)「オペランドが型"〜型"をもっている場合、結果は、型"〜型へのポインタ"をもつ。」だから
  「*array」を評価した型は、配列型(array of char(要素型はchar))だから、(型の)結果は「配列型へのポイント」になるよ。
  (5)結論
  返す値は、両演算子を取り除いた「array」と同じ「配列の先頭要素のアドレスを返している。」
  型は、char(*)[3]

ISLe さんが書きました:typeidのオペランドは、sizeof演算子と同じく、評価対象式ではないのでポインタに型変換されません。
→JIS X3014:2003(ISO/IEC 14882:2003) 3.2 単一定義規則 2

• JIS X3014
  ・式は、次のいずれかの場合を除いて、評価対象式という。
  　---式が、typeid演算子の演算対象となっており、多相クラス型の左辺値を表していない。

• JIS X3010 6.5.3.4 sizeof演算子
  オペランドの型が可変長配列型である場合、オペランドを評価する。そうでない場合、オペランドは評価せず、その結果は、整数定数とする。

char array[2][3] = { "ai", "ue" };
int x = 1, y = 0;
y = sizeof(++x);
printf("x = %d  y = %d\n", x, y);
printf("array → 型：%s サイズ：%zd\n", typeid(array).name(), sizeof(array));
printf("&*array → 型：%s サイズ：%zd\n", typeid(&*array).name(), sizeof(&*array));
printf("&array → 型：%s サイズ：%zd\n", typeid(&array).name(), sizeof(&array));
printf("array [%zd] *two_array [%zd] **array [%zd]\n", sizeof(array), sizeof(*array), sizeof(**array));

sys さんが書きました:

ISLe さんが書きました:typeidのオペランドは、sizeof演算子と同じく、評価対象式ではないのでポインタに型変換されません。
→JIS X3014:2003(ISO/IEC 14882:2003) 3.2 単一定義規則 2

• JIS X3014
  ・式は、次のいずれかの場合を除いて、評価対象式という。
  　---式が、typeid演算子の演算対象となっており、多相クラス型の左辺値を表していない。

• JIS X3010 6.5.3.4 sizeof演算子
  オペランドの型が可変長配列型である場合、オペランドを評価する。そうでない場合、オペランドは評価せず、その結果は、整数定数とする。

sizeofの定義に出てくる「オペランド」とは全ての演算子(オペランド)を指していないということなのでしょうか？

bitter_fox さんが書きました: sizeofの定義に出てくる「オペランド」とは全ての演算子(オペランド)を指していないということなのでしょうか？
演算子(オペランド)とありますが、
演算子(+-*/etc...)はオペレータで、x + y - zのx, y, zなどをオペランドと呼ぶのですがどちらを指しているのでしょうか？

• ※原文の(オペランド)は削除しました。

sys さんが書きました: char array[2][3] = { "ab", "cd" }; と宣言したとき、
「array」 の返す値は、配列の先頭要素のアドレスを返している。型は、char[2][3]
「&*array」 の返す値は、配列の先頭要素のアドレスを返している。型は、char(*)[3]
※型は typeid(array).name()、 typeid(&*array).name で確認。

sys さんが書きました: sizeof演算子のオペランドは評価せず、はどういう意味なのでしょうかね、、、。

• (1) array 自体の型は「char[2][3]」
  (2) array が式として書かれた場合評価され、その型は「char(*)[3]」となる。
  (3) typeid(array).name は式として評価されない為、「char[2][3]」

かずま さんが書きました: &*array を評価する場合、まず、array は上記の評価結果となる。
*array の評価結果は、値が array[0] すなわち "ab"。型は char [3]。
&*array の評価結果は、値が array[0] のアドレス。
型は、array[0] へのポインタで、char (*)[3]

ISLe さんが書きました: オペランド式は評価されませんが、オペランド式の型にもとづいた結果が返るわけなので、それを求めるために型変換は行われます。
ただしいくつかの例外があって、配列名が単独で現れたときのポインタへの変換などは行われません。
(追記)
型変換(だけ)が行われるというのはおかしな表現ですね。
型変換の規則にもとづいてオペランド式の型が求められる、というのが正しいですかね。

sys さんが書きました: (3) typeid(array).name は式として評価されない為、「char[2][3]」
ここまでの解釈はあっていますか？

sys さんが書きました: これだと、*演算子と&演算子は評価してしまっているので、JIS X3010 6.5.3.2 の定義に反していませんか？
ただ単に説明の問題になってやぶさかですが、、、
&*array は、「*演算子も&演算子も評価せず、両演算子とも取り除いた場合と同じ結果になる。」の定義から両演算子は評価せず array と同じ型と値になる。という説明はどうでしょうか？

sys さんが書きました: (1)typeid(&array).name は式は評価されないけど、型を求める為の計算(型を求める目的の為だけに評価する）がされているので「char(*)[2][3]」になる、ということでしょうか？

sys さんが書きました: (2)sizeof(&array) がポインタのサイズを返すのはなぜなのでしょうか？

sys さんが書きました: これもtypeidと一緒で式は評価されないけど、サイズを求める為の計算(サイズを求める目的の為だけに式を評価）がされている、ということでしょうか？

• JIS X3010 6.5.3.4 sizeof演算子
  オペランドの型が可変長配列型である場合、オペランドを評価する。そうでない場合、オペランドは評価せず、その結果は、整数定数とする。

かずま さんが書きました: array は、ポインタに変換されず配列のままなので、&演算子は、配列の先頭要素へ
のポインタでななく、その配列全体へのポインタを返します。

かずま さんが書きました:

sys さんが書きました: sizeof演算子のオペランドは評価せず、はどういう意味なのでしょうかね、、、。

計算しない、実行しない、という意味です。

かずま さんが書きました: &演算子は、配列の先頭要素へ
のポインタでななく、その配列全体へのポインタを返します。

• JIS X 3010 3.1 アクセス(access)
  <実行時の動作>オブジェクトの値を読み取る、又は変更すること。
  参考1)これらの二つの動作のうちのいずれか一方だけを意味する場合は、"読み取る"又は"変更する"という用語を使う。
  2)"変更する"は、格納する新しい値が、格納前の値と同じである場合も含む。
  3) 評価されない式は、オブジェクトをアクセスしない。

• 評価されない式は、オブジェクトをアクセス(オブジェクトの値を読み取る、又は変更する)しない。

• 「オブジェクト(変数など)に記憶されているデータや式の評価結果」

sys さんが書きました:

• (1) array 自体の型は「char[2][3]」
  (2) array が式として書かれた場合評価され、その型は「char(*)[3]」となる。
  (3) typeid(array).name は式として評価されない為、「char[2][3]」

ここまでの解釈はあっていますか？

sys さんが書きました:&*array は、「*演算子も&演算子も評価せず、両演算子とも取り除いた場合と同じ結果になる。」の定義から両演算子は評価せず array と同じ型と値になる。という説明はどうでしょうか？

sys さんが書きました:(1)typeid(&array).name は式は評価されないけど、型を求める為の計算(型を求める目的の為だけに評価する）がされているので「char(*)[2][3]」になる、ということでしょうか？
(2)sizeof(&array) がポインタのサイズを返すのはなぜなのでしょうか？
これもtypeidと一緒で式は評価されないけど、サイズを求める為の計算(サイズを求める目的の為だけに式を評価）がされている、ということでしょうか？

ISLe さんが書きました: arrayがどのように評価されるかは、arrayがどこに記述されているかで異なるので(2)は誤りです。
特にsizeofやtypeidのオペランドに演算子をともなわない配列名が現れたときは例外扱いになりますから。

ISLe さんが書きました: 評価した結果がどんな型になるかきちんと定義されています。
評価した結果がどんな型になるかきちんと定義されているので、評価しなくても結果がどんな型になるか分かります。

sys さんが書きました:現在はC MAGAZINE は休刊とのことなのですが、こういったC言語の定義や解釈、雑学(?)について記載された書籍や雑誌で、お薦めってありますか？
今回で実感したのですが、やはりJISやISOだけで定義を理解するのは限界を感じました。

ISLe さんが書きました: 書籍や雑誌は知らないのですが、そのサイト(フィンローダ氏の初級C言語Q&Aですよね)のインデックスページにcomp.lang.c FAQのリンクがあります。
"C FAQ"とか"C++ FAQ"で検索するとその手のサイトがヒットしますよ。