C 语言类型转换

C 语言类型转换

我们在前面学习了 C 语言的数据类型,那么变量在参与运算的时候类型是始终如一不变的吗?

带着这个疑问,我们可以先看一个例子:

#include <stdio.h>#define typename(x) _Generic((x),        /* Get the name of a type */             \
                                                                                  \_Bool: "_Bool",                  unsigned char: "unsigned char",          \         char: "char",                     signed char: "signed char",            \short int: "short int",         unsigned short int: "unsigned short int",     \          int: "int",                     unsigned int: "unsigned int",           \     long int: "long int",           unsigned long int: "unsigned long int",      \long long int: "long long int", unsigned long long int: "unsigned long long int", \float: "float",                         double: "double",                 \  long double: "long double",                   char *: "pointer to char",        \       void *: "pointer to void",                int *: "pointer to int",         \      default: "other")int main(){int a=,b=;float c=,d=;printf("a type: %s, b type: %s, c type: %s, d type: %s\n",typename(a),typename(b),typename(c),typename(d));a=b+c;printf("a=b+c, a=%d\n",a);printf("type (b+c): %s\n",typename(b+c));d=b+c;printf("d=b+c, d=%f\n",d);return ;}

经过编译运行后得到如下的结果:

Tips:有关如何编译运行的内容请参考前面的章节。
Tips:同时值得注意的是,这个程序中的 _Generic 来自于 C11 标准中,所以在你之前可能看到的 C 语言的书籍中是没有的。请大家不要使用过于古老的编译器,请使用推荐的较新的编译器。也就是支持 C11 以上标准的编译器。具体情况可以参照你们所选择的编译器的手册。或者直接选择 GCC 7 及更新版本的编译器。

a type: int, b type: int, c type: float, d type: floata=b+c, a=type (b+c): floatd=b+c, d=

这里面的 a, b 变量为整形,而 c 和 d 都是浮点型。那么当一个整形和一个浮点型相加的时候会发生什么呢?这就是我们今天要介绍的内容

1. 隐式类型转换

C 语言是强类型语言,也就是说不同类型的数据之间是不能进行运算的。必须保持一致的类型才能进行运算。也就是说在这个不同数据类型的计算过程中,C 语言自动进行了一次类型转换,使得两个变量的数据类型一致,才能进行相关的计算。这种自动的转换,也称之为隐式类型转换。

从前面提及的例子还可以看出,我们定义的数据类型,在不同的类型的数据运算结束后,并没有发生改变,也就是数据类型保持着我们最开始定义时候的类型。这时会发生丢弃精度的事情,也就是上面例子中小数点后面的数值就会消失。

那么这种隐式的转换有什么规律可循吗?

下面的表格就展示了类型转换的规律,当在计算过程中,数值类型不一致的时候,就会发生自动的类型转换,转换的类型是将表格中处于下方的较低优先级的数据类型,向表格上方的较高优先级的数据类型进行转换。

级别数据类型
1long double
2double
3float
4unsigned long long
5long long
6unsigned long
7long
8unsigned int
9int
10char short int

根据这个表格我们就可以看出之前的转换中,int 与 float 类型进行计算,编译器会自动将 int 类型转换为 float 类型进行计算。从而使得运算在相同的数据类型间进行。

2. 显式类型转换

如果说隐式类型转换是编译器自动进行的类型转换,那么显式类型转换,则是我们人为的进行数据类型的转换,这里可以理解为是一种强制的类型的转换,这种转换将不再遵守上面的转换规则,而是按照我们人为的标明的类型进行转换。

就是在我们需要指定类型的变量前加上数据类型,并用圆括号包裹。例如: (int)a, (float)b, (long)c 等。

下面我们通过一个示例程序来看一下显式类型转换:

#include <stdio.h>#define typename(x) _Generic((x),        /* Get the name of a type */             \
                                                                                  \_Bool: "_Bool",                  unsigned char: "unsigned char",          \         char: "char",                     signed char: "signed char",            \short int: "short int",         unsigned short int: "unsigned short int",     \          int: "int",                     unsigned int: "unsigned int",           \     long int: "long int",           unsigned long int: "unsigned long int",      \long long int: "long long int", unsigned long long int: "unsigned long long int", \float: "float",                         double: "double",                 \  long double: "long double",                   char *: "pointer to char",        \       void *: "pointer to void",                int *: "pointer to int",         \      default: "other")int main(){int a=,b=;float c=,d=;printf("a type: %s, b type: %s, c type: %s, d type: %s\n",typename(a),typename(b),typename(c),typename(d));a=(float)b+(float)c;printf("a=b+c, a=%d\n",a);printf("type (b+c): %s\n",typename((int)b+(int)c));d=(int)b+(int)c;printf("d=b+c, d=%f\n",d);return ;}#include <stdio.h>#define typename(x) _Generic((x),        /* Get the name of a type */             \
                                                                                  \_Bool: "_Bool",                  unsigned char: "unsigned char",          \         char: "char",                     signed char: "signed char",            \short int: "short int",         unsigned short int: "unsigned short int",     \          int: "int",                     unsigned int: "unsigned int",           \     long int: "long int",           unsigned long int: "unsigned long int",      \long long int: "long long int", unsigned long long int: "unsigned long long int", \float: "float",                         double: "double",                 \  long double: "long double",                   char *: "pointer to char",        \       void *: "pointer to void",                int *: "pointer to int",         \      default: "other")int main(){int a=,b=;float c=,d=;printf("a type: %s, b type: %s, c type: %s, d type: %s\n",typename(a),typename(b),typename(c),typename(d));a=(float)b+(float)c;printf("a=b+c, a=%d\n",a);printf("type (b+c): %s\n",typename((int)b+(int)c));d=(int)b+(int)c;printf("d=b+c, d=%f\n",d);return ;}

下面是执行结果。

a type: int, b type: int, c type: float, d type: float
a=b+c, a=5
type (b+c): int
d=b+c, d=5.000000

通过显式类型转换,我们可以控制在计算过程中的数据类型。之前自动转换为 float 类型的数据,在我们显式指定为 int 类型后,计算过程中就会按照 int 类型来进行计算。

3. 小结

对于隐式类型转换。其实变化的原因主要是因为计算的数值为了匹配计算精度而进行的,一般情况下都是较低精度的变量类型会转变为较高精度的变量类型。

而显式类型转换则是我们主动控制了类型的精度,可以抛去我们不需要的高的精度。同时,由于指定了类型,在转换过程中不会产生歧义。

Tips: 请注意,这里在类型转换的过程中不会自动进行四舍五入等操作,因此如果使用不当会造成数据的精度丢失。