仮引数で型を決めていることの意味

Question

こんにちは。

c言語にて、仮引数部分で型を宣言している関数を見かけたのですが、どのようなことが起こるのですか？
関数外から受け取った実引数を強制的にその型に変換したりする作用があるのでしょうか？
次のコードのようなものです。

void func(double a) {
  return ;
}

Comments

[ozwk]

むしろ仮引数に型が書いてないほうがおかしいんですが

[slimat]

そうなんですか！知識が浅いので知りませんでした。質問のコードの場合だと、関数外でint型で実引数を送った場合double型に変換されて、関数内で処理が進むのですか？

Answer 1

型変換できる場合は変換します。
できない場合はコンパイルエラーにしてくれます
変換できる場合でも、環境によっては警告を出してくれます。

Comments

[slimat]

回答ありがとうございます！
おかげさまで理解できました。

[slimat]

すみません！いまさらなんですが、逆に仮引数で型を宣言していない場合だと、どうようになるのか疑問が生じました。
質問のコードだと、関数外からdouble型の実引数が来た時、aにはそのdouble型の実引数が入るのでしょうか？

[otn]

型を書いてないと、intが仮定されると思います。つまり、foo(x) は、foo(int x) と同じです。

[slimat]

なるほど！そのようになるのですね。
回答ありがとうございました。

Answer 2

ちなみに、規格化されたC89以前のCでは
関数宣言部の仮引数に型は書けなかったらしいです。

void func(param);

void func(param)
double param;
{
    return;
}

ANSIによる標準化によって

void func(double param);

void func(double param)
{
    return;
}

と書けるようになりました。

Comments

[slimat]

コメントありがとうございます！
おかげさまで知識が増えました。

[otn]

当時はvoidも無かったですね。返り値を使わない場合でもint型でした。
また、関数の宣言だけする場合は、仮引数を書く意味が無いので、括弧内は空でした。
返り値の型がint型の関数は、宣言だけする意味が無いので、宣言は書かないのが普通。

Answer 3

その型の変数しか受け付けない、と考えましょう

違う型の変数を入れてその関数を呼ぼうとするとコンパイルエラーになったりします

＃整数型どおしならある程度変換してくれますが

Comments

[slimat]

回答ありがとうございます！
おかげさまで理解できました。