>>515 「数学的に」と書いたのは、法則に従った「規則変化」しているということだ。 言語仕様で決まっているとかではなく、記号パターンで「導出」されるというか。 「代入」の概念というか。 優先順位のために、U (*b)[] のような 記号になっているが、これも数学的に 演算子が演算される順序に従って「平坦」に書くと b --> * --> [] --> U となる。読み方は、一番左の b の部分以外が右から順に bの型は「Uの配列へのポインタ」 となる。ちなみに、 T b の場合は、 b --> T となり、読み方は、 bの型は「T」 となる。