函数返回值类型由什么决定？

C语言规定,函数返回值的类型是由 函数定义时，在函数名前声明的返回类型 决定的。

详细解释

这个“返回类型”声明告诉编译器两件重要的事情：

1. 函数将返回什么类型的数据：比如是一个整数 (int)、一个字符 (char)、一个浮点数 (float)、一个指向内存地址的指针 (int*)，或者不返回任何值 (void)。
2. 调用者应该如何处理这个返回值：编译器会根据这个类型来预留正确的存储空间，并对返回值进行相应的处理。

关键点

1. 声明在函数定义中： 返回类型的声明是函数定义的一部分，它位于函数名和函数体（由花括号 包围的代码块）之间。

2. 必须与 return 语句中的表达式类型兼容： 在函数体内部，return 语句返回的表达式的类型应该与函数声明的返回类型兼容。

   • 如果类型不匹配，C编译器会进行隐式类型转换（也称为“窄化转换”或“提升”），这可能会导致数据丢失或产生意想不到的结果，编译器通常会给出一个警告。
   • 如果完全不兼容（返回一个结构体地址却声明为返回 int），编译器会报错。

3. 如果函数不返回值，必须声明为 void： 对于那些只执行操作而不需要返回计算结果的函数（只打印信息的函数），其返回类型必须被声明为 void，在这种情况下，函数体中的 return 语句可以不带任何值，或者直接省略 return 语句（函数执行到末尾自动返回）。

   
   （图片来源网络，侵删）

代码示例

让我们通过几个例子来具体说明。

示例 1: 返回 int 类型

#include <stdio.h>
// 1. 函数定义，返回类型是 int
int add(int a, int b) {
    // 2. return 语句返回的表达式 (a + b) 的类型是 int，
    //    与函数声明的返回类型 int 完全匹配。
    return a + b;
}
int main() {
    int result = add(5, 3);
    printf("The result is: %d\n", result); // 输出: The result is: 8
    return 0;
}

分析：

• int add(...) 中的 int 明确告诉编译器：这个函数将返回一个整数值。
• return a + b; 返回的是一个整型表达式，与声明一致。

示例 2: 返回 void 类型

#include <stdio.h>
// 1. 函数定义，返回类型是 void，表示不返回任何值
void print_message(const char* message) {
    // 2. 函数只执行打印操作，不需要返回值。
    //    可以使用不带值的 return，或者直接省略。
    printf("Message: %s\n", message);
    // return; // 这行代码是可选的
}
int main() {
    // 3. 调用 print_message 时，不能将它的结果赋给任何变量，
    //    因为它没有返回值。
    print_message("Hello, C World!");
    // int x = print_message("..."); // 错误！不能给 void 类型的表达式赋值
    return 0;
}

分析：

• void print_message(...) 中的 void 告诉编译器：这个函数执行完毕后，不会返回任何有意义的值。
• 调用时,不能像使用 int 或 char 函数那样接收它的返回值。

示例 3: 类型不匹配（隐式转换）

#include <stdio.h>
// 函数声明返回一个 double (双精度浮点数)
double divide(int a, int b) {
    // return 语句返回的是一个 int (a / b 的结果是整数除法)
    // 这里会发生隐式类型转换，int 会被提升为 double
    return a / b;
}
int main() {
    double result = divide(10, 4);
    // 10 / 4 在整数除法中等于 2
    // 2 会被隐式转换为 2.0 然后返回
    printf("The result is: %f\n", result); // 输出: The result is: 2.000000
    return 0;
}

分析：

• 函数声明返回 double，但 return a / b; 在 a 和 b 都是 int 时，执行的是整数除法，结果也是 int 类型（值为 2）。
• 编译器会发出警告（如：warning: conversion from 'int' to 'double' may lose precision），然后自动将整数 2 转换为 0 再返回。
• 这就是为什么 printf 输出的是 000000 而不是期望的 5。这是一个非常常见的错误来源！

记住这个核心规则：函数返回值的类型，由函数定义时在函数名前声明的类型决定。 这是编写正确、无歧义C代码的基础。