よく分からない文面

関数の型を決定するために、仮引数リストの型には、変換が加えられる。その変換の一つに、

8.3.5 Functions [dcl.fct] paragraph 5

"Any cv-qualifier modifying a parameter type is deleted."

anyとはどういう事だろう。

void f( int const * const ) ;

という関数の宣言があるとする。引数の型は、int const * constである。ここから、any cv-qualifierをdeleteすると、int *である。とすれば、関数の型はvoid ( int * )となるのだろうか。いや、実際は、void ( int const * )となる。とすれば、anyというのは解せない。

似たような他の文面はどうなっているだろうか。typeidも、一部のconstを無視する。

5.2.8 Type identification [expr.typeid] paragraph 5

The top-level cv-qualifiers of the glvalue expression or the type-id that is the operand of typeid are always ignored.

ここでは、top-levelのcv-qualifier（複数可）が無視されると書いてある。

さて、もう一度文面を見直すと、Any cv-qualifierと書いてある。まてよ、名詞に複数形を表すsが付いていない。とすれば、ひとつだけ消し去るという意味であろうか。しかし、anyとあるからには、複数あるうちの、どれを消し去っても問題はないはずである。それに、top-levelのcv-qualifierにしたって、複数である。そんな問題ではないと思う。

解せない。あるいは、paremeter typeというのは、識別子の前までの完全な型名をすべてひっくるめていうのだろうか。つまり、完全な型名をTとして、もし、parameter typeが、Tに対してcv-qualifierを適用しているならば、それを消し去るという意味だろうか。

やはり、どうもそう考えるしかなさそうである。parameter typeは、decl-specifier-seq と declaratorとで決定されるとある。つまり、parameter typeをTとしたとき、もし、void f(T const parameter)となっている場合に、このconstが消されるのだろうか。

規格では、modify typeという表現は、二箇所しかみられない。ここと、8 Declarators [dcl.decl] paragraph 2にある、

The declarators specify the names of these entities and (optionally) modify the type of the specifiers

だけである。