【整理】为什么在C/C++中总是对malloc的返回值进行强制转换

============= 文章1 ================  

       首先要说的是,使用 malloc 函数,请包含 stdlib.h(C++ 中可以是 cstdlib),而不是 malloc.h 。因为 malloc.h 从来没有在 C 或者 C++ 标准中出现过!因此并非所有编译器都有 malloc.h 这个头文件。但是所有的 C 编译器都应该有 stdlib.h 这个头文件。   

在 C++ 中,强制转换 malloc() 的返回值是必须的,否则不能通过编译。  
在 C 中,这种强制转换却是多余的,并且不利于代码维护。   

       起初,C 没有 void* 指针,那时 char* 被用作泛型指针(generic pointer),所以那时  malloc 的返回值是 char* 。因此,那时必须强制转换 malloc 的返回值。后来,ISO C 标准定义了 void* 指针作为新的泛型指针。并且 void* 指针可以不经转换,直接赋值给任何类型的指针(函数指针除外)。从此,malloc 的返回值变成了 void* 之后,便不再需要强制转换 malloc 的返回值了。以下程序在 VC6 编译无误通过。 
 
?
1
2
3
4
5
6
#include <stdlib.h>
int main( void )
{
     double *p = malloc ( sizeof *p ); /* 不推荐用 sizeof( double ) */
     return 0;
}
       当然,强制转换 malloc 的返回值并没有错,但画蛇添足!例如,日后你有可能把 double *p 改成 int *p 。这时,你就要把所有相关的 (double *)malloc( sizeof(double) ) 改成 (int *)malloc( sizeof(int) ) 。如果改漏了,那么你的程序就会存在 bug 。就算你有把握把所有相关的语句都改掉,但这种无聊乏味的工作你不会喜欢吧!不使用强制转换可以避免这样的问题,而且书写简便,何乐而不为呢?使用以下代码,无论以后指针改成什么类型,都不用作任何修改。   
?
1
double *p = malloc ( sizeof *p );
       值得一提的是,上述写法中 p 虽然没有指向具体的内存空间,但并不影响通过 sizeof *p 来计算占用内存的大小。  
       类似地,使用 calloc ,realloc 等返回值为 void* 的函数时,也不需要强制转换返回值。  


============= 文章2 ================  

      本文概括叙述了上文的内容,并且针对 malloc 返回值的 3 种转型方式进行总结,(相对于上文)更全面的总结其各自的应用范围。  

以前有篇文章叫《C/C++ 误区 —— 强制转换 malloc() 的返回值》(即上文)。文章大致内容是:  
  • malloc 函数在 <stdlib.h> 或者 <cstdlib> 头文件中,而不是 <malloc.h> 中。
  • 由于 C 语言最初没有 void 类型,所以是使用 char* 来代表通用指针。
?
1
2
3
4
5
6
7
8
9
10
11
/* the old declaration of malloc */
char * malloc ( size_t size);
 
char * p = malloc ( size * sizeof (*p) );
/* 可以,不需要转型 */
 
T1* p1 = malloc (size1 * sizeof (*p1) );
/* (T1!=char) 不可以,char*不能隐式转换成T1*  */
 
T2* p2 = (T2*) malloc (size2 * sizeof (*p2) );
/* (T2!=char) 可以,显示类型转换 */
  • C 语言后来引入了 void 类型,开始使用 void* 代表通用指针,同时规定 void* 可以隐式转换到任意指针类型。 
?
1
2
3
4
5
6
7
8
9
10
11
/* the new declaration of malloc */
void * malloc ( size_t size);
 
char * p = malloc ( size * sizeof (*p) );
/* 仍然可以,void* 可以隐式转换到任意指针类型 */
 
T1* p1 = malloc ( size1 * sizeof (*p1) );
/* 现在可以,void* 可以隐式转换到任意指针类型 */
 
T2* p2 = (T1*) malloc ( size2 * sizeof (*p2) );
/* 仍然可以,但不再必须 */
  • 在引入了 void 之后的 C 语言中,再使用强制转换是画蛇添足,同时影响代码维护,并且说这是一个 C/C++ 的误区。  
上面 4 点属于原文观点,下面阐述本文观点。  

对 malloc 返回值的转型,大致有以下三种方式:   
  • 仅在 C 中
/* legal only in C */  
?
1
2
/* 新头文件,具有 void 类型 */
T* p = malloc (size * sizeof (*p) ); /* T!=void */
?
1
2
/* 旧头文件,不具有 void 类型 */
T* p = (T*) malloc (size* sizeof (*p) ); /* T!=void */
  • 仅在 C++ 中
       C++ 天然支持 void ,但是不允许 void* 隐式转换到任意类型指针,需要 static_cast 。  

// legal only in C++  
?
1
2
// 新头文件
T* p = static_cast <T*>( malloc (size * sizeof (*p) ));
?
1
2
// 旧头文件(目前还有这种编译器吗)
T* p = reinterpret_cast <T*>( malloc (size * sizeof (*p) ));
?
1
2
3
4
5
// 当然在 C++ 中应该考虑
T* p = new T[size];
// 或者
std::vector<T> p(size);
// 但这不是文章讨论重点
  • 在 C/C++ 中
?
1
2
3
/* legal in both C and C++ */
/* legal in both new  and old header */
T* p = (T*) malloc (size * sizeof (*p) );
       第 1 种对新头文件的转型方式,如同代码第 1 行所说,仅在 C 编译器中合法。因为 C++ 不支持 void* 到其他指针类型的隐式转换。所以,原文章说这是 C/C++ 的误区,并不准确。这仅仅是(引入 void 类型之后的)C 语言中的“非必须”的动作,是否是误区,还有待考量。  
       第 2 种对新旧头文件的转型方式,代码第 1 行也说了,仅在 C++ 编译器中合法。因为 C 编译器不认识 static_cast 或者 reinterpret_cast 。  
       第3种,是一种中庸的写法。如同代码第 1 行所说:此代码无论是在 C 还是 C++ 编译器,无论是新头文件还是旧头文件,都是合法的代码。是可移植性最好的代码。   因为代码中使用的(C 风格的)转型、malloc,C/C++ 都支持。  
       所以,这种写法并不一定是误区或者画蛇添足。因为代码的作者也许比原文章的作者对移植性(C 和 C++ 的新旧编译器)考虑更多。  

参考资料:ISO/IEC 9899:1999 (E) Programming languages — C 7.20.3.3 The malloc function  
  • 0
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
1. C 语言的指针和内存泄漏 5 2. C语言难点分析整理 10 3. C语言难点 18 4. C/C++实现冒泡排序算法 32 5. C++指针和引用的区别 35 6. const char*, char const*, char*const的区别 36 7. C可变参数函数实现 38 8. C程序内存组成部分 41 9. C编程拾粹 42 10. C语言实现数组的动态增长 44 11. C语言的位运算 46 12. 浮点数的存储格式: 50 13. 位域 58 14. C语言函数二维数组传递方法 64 15. C语言复杂表达式的执行步骤 66 16. C语言字符串函数大全 68 17. C语言宏定义技巧 89 18. C语言实现动态数组 100 19. C语言笔试-运算符和表达式 104 20. C语言编程准则之稳定篇 107 21. C语言编程常见问题分析 108 22. C语言编程易犯毛病集合 112 23. C语言缺陷与陷阱(笔记) 119 24. C语言防止缓冲区溢出方法 126 25. C语言高效编程秘籍 128 26. C运算符优先级口诀 133 27. do/while(0)的妙用 134 28. exit()和return()的区别 140 29. exit子程序终止函数与return的差别 141 30. extern与static存储空间矛盾 145 31. PC-Lint与C\C++代码质量 147 32. spirntf函数使用大全 158 33. 二叉树的数据结构 167 34. 位运算应用口诀和实例 170 35. 内存对齐与ANSI Cstruct内存布局 173 36. 冒泡和选择排序实现 180 37. 函数指针数组与返回数组指针的函数 186 38. 右左法则- 复杂指针解析 189 39. 回车和换行的区别 192 40. 堆和堆栈的区别 194 41. 堆和堆栈的区别 198 42. 如何写出专业的C头文件 202 43. 打造最快的Hash表 207 44. 指针与数组学习笔记 222 45. 数组不是指针 224 46. 标准C字符串分割的方法 228 47. 汉诺塔源码 231 48. 洗牌算法 234 49. 深入理解C语言指针的奥秘 236 50. 游戏外挂的编写原理 254 51. 程序实例分析-为什么会陷入死循环 258 52. 空指针究竟指向了内存的哪个地方 260 53. 算术表达式的计算 265 54. 结构体对齐的具体含义 269 55. 连连看AI算法 274 56. 连连看寻路算法的思路 283 57. 重新认识:指向函数的指针 288 58. 链表的源码 291 59. 高质量的子程序 295 60. 高级C语言程序员测试必过的十六道最佳题目+答案详解 297 61. C语言常见错误 320 62. 超强的指针学习笔记 325 63. 程序员之路──关于代码风格 343 64. 指针、结构体、联合体的安全规范 346 65. C指针讲解 352 66. 关于指向指针的指针 368 67. C/C++ 误区一:void main() 373 68. C/C++ 误区二:fflush(stdin) 376 69. C/C++ 误区三:强制转换 malloc() 的返回值 380 70. C/C++ 误区四:char c = getchar(); 381 71. C/C++ 误区五:检查 new 的返回值 383 72. C 是 C++ 的子集吗? 384 73. C和C++的区别是什么? 387 74. 无条件循环 388 75. 产生随机数的方法 389 76. 顺序表及其操作 390 77. 单链表的实现及其操作 391 78. 双向链表 395 79. 程序员数据结构笔记 399 80. Hashtable和HashMap的区别 408 81. hash 表学习笔记 410 82. C程序设计常用算法源代码 412 83. C语言有头结点链表的经典实现 419 84. C语言惠通面试题 428 85. C语言常用宏定义 450

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值