cにおけるデータ型について

Question

#include<stdio.h>

float getMax(float a,float b){

if(a>=b){
      return a;
}
  else{
  return b;
}

}

int main(void){

float result;
result=getMax(2.3,5.2);
printf("%f\n",result);

return 0;
}

このコードで result=getMax(2.3,5.2);でfloatのbをもらっているのにも関わらずに、
その前にfloatの返り値をもらっていますが、result=getMAX(2.3,5.2)と打った時に
このresultにはfloatのｂではなくただのbが入っているという事ですか？
それとも関数の中におけるfloatはただの名称ですか？
詳しい方教えてください、お願いします

Answer 1

その前にfloatの返り値をもらって

いるというのは、 float result; という変数宣言のことでしょうか。
昨夜のご質問でも回答したとおり、Cという「機械語に皮をかぶせた」言語においてデータ自分自身の型を知ってはおらず、プログラマが、正確にはプログラマが定義する変数が型を決めます。

だから、getMaxがfloat型のデータを返してくる前に、まずその受け皿は同じfloat型を入れる容器でないといけない。

float result;
というのは、resultはfloat型のデータを受け取る専用だよと言う宣言になります。

いやいやあとからgetMaxの結果を入れているのは読めばわかるのだからfloatと明示しなくても、例えば
var result;
と宣言するんでもいいんじゃないの？と思われますか？
コンパイラは人間と違って上から下へしかプログラムを読みません。ですからそういう先読み的な推測はどうしても無理です。

同じ行でなら推測が可能です。新しいC++からになりますが
auto result = getMax(2.9, 5.2);
という型推論が許されるようになりました。

Comments

[reotantan]

そうなんですね、度々質問してすいません。
回答者様のコメントで理解が非常に進みました。