飞翔飞翔
主页
  • 计算机基础

    • TCP/IP协议
    • Linux命令
  • 数据库

    • SQL教程
  • 编程语言

    • C语言
    • Python2
    • Python3
  • 数据格式

    • JSON教程
  • 工具

    • Markdown指南
  • Git

    • GitFlow
  • Quartz

    • Quartz教程
  • Java

    • Java设计模式
  • 缓存

    • Redis教程
联系
阿里云
主页
  • 计算机基础

    • TCP/IP协议
    • Linux命令
  • 数据库

    • SQL教程
  • 编程语言

    • C语言
    • Python2
    • Python3
  • 数据格式

    • JSON教程
  • 工具

    • Markdown指南
  • Git

    • GitFlow
  • Quartz

    • Quartz教程
  • Java

    • Java设计模式
  • 缓存

    • Redis教程
联系
阿里云
  • 学习路径
  • 第1章 编程基础概念

    • 冯·诺依曼体系结构
    • 数据在计算机中的表示
    • 编程语言的层次
    • C语言的起源与发展
    • C99标准的主要改进
    • 开发环境搭建
    • 第一个C程序
    • 编译与运行流程
    • 可移植性风险的三级体系
  • 第2章 数据类型与运算

    • 字符集与标识符
    • 关键字
    • 注释
    • char 类型
    • short 与 int
    • long 与 long long
    • 有符号与无符号
    • 取值范围与 limits.h
    • float 与 double
    • long double
    • _Bool 类型
    • 变量声明与定义
    • 常量
    • 转义序列
    • 算术运算符
    • 赋值运算符
    • 自增自减运算符
    • 关系与判等运算符
    • 逻辑运算符
    • 位运算符
    • 条件运算符
    • 逗号运算符
    • 运算符优先级
    • 隐式类型转换
    • 显式类型转换
  • 第3章 控制流

    • 表达式语句与空语句
    • 复合语句
    • if 语句
    • switch 语句
    • while 循环
    • do-while 循环
    • for 循环
    • break 与 continue
    • goto 语句
    • return 语句
  • 第4章 函数与模块化编程

    • 函数定义
    • 函数声明与原型
    • main 函数
    • 函数调用机制
    • 传值调用
    • 数组参数
    • 作用域
    • 存储期
    • 链接属性
    • static 与 extern
    • 递归
    • 头文件与源文件
    • 头文件保护
    • include 规则
  • 第5章 数组与字符串

    • 一维数组声明与初始化
    • 数组的存储模型
    • 数组访问与越界
    • 数组操作
    • 二维数组
    • 变长数组 VLA
    • 字符串基础
    • 字符串输入输出
    • 字符串处理函数
    • 字符串与数字转换
  • 第6章 指针

    • 指针的概念
    • 指针的声明与使用
    • 指针运算
    • const 与指针
    • 数组名与指针
    • 指针遍历数组
    • 指针与多维数组
    • 指针作为函数参数
    • 函数返回指针
    • 函数指针
    • 二级指针
    • 复杂声明解析
  • 第7章 结构体、联合体与枚举

    • 结构体定义与声明
    • 结构体初始化
    • 结构体成员访问
    • 结构体嵌套
    • 结构体指针
    • 结构体与函数
    • 联合体
    • 联合体与类型双关
    • 枚举类型
    • 位域
    • 内存对齐与填充
  • 第8章 动态内存管理

    • malloc 与 free
    • calloc 与 realloc
    • 内存泄漏
    • 悬垂指针
    • 内存分配策略
    • 自定义内存池
    • Valgrind 与内存检测
    • 内存碎片
    • 内存对齐分配
    • 常见内存错误
  • 第9章 文件输入输出

    • 文件打开与关闭
    • 文本读写
    • 格式化输入输出
    • 二进制读写
    • 文件定位
    • 错误处理
    • 标准流
    • 临时文件
    • 文件操作示例
  • 第10章 预处理器

    • 预处理器基础
    • 宏定义
    • 带参数的宏
    • 条件编译
    • 头文件包含
    • 预定义宏
    • 宏的高级技巧
    • 预处理器陷阱
    • 编译器特定扩展
  • 第11章 标准库概览

    • 标准库概述
    • assert.h
    • ctype.h
    • errno.h
    • float.h
    • limits.h
    • locale.h
    • math.h
    • setjmp.h
    • signal.h
    • stdarg.h
    • stddef.h
    • stdlib.h
  • 第12章 进阶主题

    • 内联函数
    • 变长数组 VLA
    • 复数类型
    • 布尔类型
    • stdint 与 inttypes
    • 灵活数组成员
    • 匿名结构体与联合体
    • 静态断言
    • 线程支持
    • 原子操作

显式类型转换

显式类型转换(强制转换,Cast)用 (类型) 表达式 的语法,将表达式的值转换为指定类型。它让程序员明确表达类型转换的意图,也能消除编译器的隐式转换警告。但强制转换是一把双刃剑——它能解决类型不匹配问题,也能掩盖真正的错误,甚至引入未定义行为。

基本语法

(目标类型) 表达式
double d = 3.14;
int i = (int)d;             /* 截断小数:i = 3 */

int x = 65;
char c = (char)x;           /* int 转为 char:c = 'A' */

int a = 5, b = 2;
double result = (double)a / b;  /* a 转为 double,浮点除法:2.5 */

常见转换场景

整数转浮点:

int count = 10;
int total = 3;

double average = (double)count / total;     /* 10.0 / 3 = 3.333... */

/* 错误 */
double wrong = count / total;               /* 整数除法:10/3 = 3,再转 3.0 */

浮点转整数:

double pi = 3.14159;
int approx = (int)pi;       /* 向零截断:3 */

/* 四舍五入 */
int rounded = (int)(pi + 0.5);      /* 3.14159 + 0.5 = 3.64159,截断为 3 */
                                    /* 对负数不适用! */

/* 正确的四舍五入 */
#include <math.h>
int rounded2 = (int)round(pi);      /* C99 round 函数 */
int floor_val = (int)floor(pi);     /* 向下取整:3 */
int ceil_val = (int)ceil(pi);       /* 向上取整:4 */

大整数转小整数:

long long big = 10000000000LL;
int small = (int)big;       /* 截断高位,可能溢出 */

/* 先检查范围 */
if (big >= INT_MIN && big <= INT_MAX)
    small = (int)big;
else
    /* 处理溢出 */

指针类型转换:

int arr[] = {1, 2, 3};
void *vp = arr;             /* 任何指针可以隐式转为 void* */
int *ip = (int *)vp;        /* void* 转回具体类型需要显式转换 */

/* 字节级访问 */
int value = 0x12345678;
unsigned char *bytes = (unsigned char *)&value;
for (int i = 0; i < sizeof(value); i++)
    printf("%02X ", bytes[i]);    /* 查看内存中的字节序 */

去除 const 限定:

const int *cp = &some_value;
int *p = (int *)cp;         /* 去除 const,危险! */

/* 如果原变量确实是 const,修改它是未定义行为 */
*p = 10;                    /* 可能崩溃或产生不可预测结果 */

去除 const 的转换应极其谨慎,只在确实需要且保证安全时使用。

转换的风险

精度丢失:

double precise = 1e20;
int coarse = (int)precise;  /* 溢出!结果未定义 */

有符号与无符号的误解:

int s = -5;
unsigned int u = (unsigned int)s;   /* 4294967291(32 位) */

/* 不是"取绝对值"! */

指针类型不匹配:

double d = 3.14;
int *ip = (int *)&d;        /* 类型不匹配 */
printf("%d\n", *ip);        /* 未定义行为:按 int 解释 double 的位模式 */

对齐要求:

char buffer[8];
int *ip = (int *)buffer;    /* 可能未对齐 */
*ip = 10;                   /* 某些平台崩溃(对齐错误) */

某些架构(如 ARM、SPARC)要求数据按自然边界对齐,int 必须在 4 字节对齐的地址上。从 char 数组转换来的指针可能不满足对齐要求。

类型转换与 void*

void* 是通用指针类型,可以指向任何数据。C 语言允许 void* 与任何对象指针类型隐式转换(不需要显式 cast):

int arr[5];
void *vp = arr;             /* 隐式转换,合法 */
int *ip = vp;              /* 隐式转换回 int*,合法 */

/* malloc 返回 void* */
int *data = malloc(5 * sizeof(int));    /* 不需要显式 (int *) */

但在 C++ 中,void* 不能隐式转回具体类型,需要显式 static_cast。这是 C 和 C++ 的一个重要差异。

函数指针转换

函数指针可以转换为其他函数指针类型,但转换回来调用是安全的:

int add(int a, int b) { return a + b; }

void *fp = (void *)add;     /* 函数指针转 void*(非标准但常见) */
int (*f)(int, int) = (int (*)(int, int))fp;   /* 转回来 */

printf("%d\n", f(2, 3));    /* 5 */

但调用与实际签名不匹配的函数指针是未定义行为:

int (*wrong)(double) = (int (*)(double))add;
wrong(3.14);                /* 未定义行为:参数类型不匹配 */

最佳实践

  • 需要转换时,用显式 cast 表达意图
  • 窄化转换前检查范围
  • 避免去除 const 和 volatile 的转换
  • 避免不兼容指针类型的转换
  • 开启 -Wconversion 警告,关注所有隐式转换
  • 优先使用 <stdint.h> 的定宽类型减少转换需求
/* 安全的类型转换模式 */
int64_t big = ...;
if (big >= INT32_MIN && big <= INT32_MAX) {
    int32_t small = (int32_t)big;   /* 安全 */
} else {
    /* 处理溢出 */
}
上一页
隐式类型转换