sizeof演算子で型のｻｲｽﾞがわかるのはそれは処理系(ｺﾝﾊﾟｲﾗｰ)が知っているからとしか言えません｡型のｻｲｽﾞがわからなければまともにﾒﾓﾘｰの確保もできません｡逆に言えばC言語はそれを使う人に､型のｻｲｽﾞを取得するｲﾝﾀｰﾌｪｲｽ､つまりsizeof演算子を提供しないときちんとしたﾌﾟﾛｸﾞﾗﾑが書けない場面がでてくる言語でもあります｡

なお､ほとんどのｺﾝﾊﾟｲﾗｰはsizeof(int)のような場合は最適化の一部としてｺﾝﾊﾟｲﾙ時に数値化してしまうはずです｡

aを宣言したｽｺｰﾌﾟ内でのaの型はint[10]ですので､sizeof(a)の値はsizeof(int)*10になります｡関数で渡した先では型は int* ですので､ﾎﾟｲﾝﾀのｻｲｽﾞがsizeofの値となります｡

C言語では配列の値渡しはできませんので､常にこうなります｡呼び出された関数のｽｺｰﾌﾟ内では元の配列のｻｲｽﾞ情報は失われています｡

なお､構造体のﾒﾝﾊﾞｰとして配列を宣言してしまえば値渡しにすることができますが､一般的にはそのぶんﾒﾓﾘと速度が犠牲になります｡