你的浏览器版本过低,可能导致网站不能正常访问!
为了你能正常使用网站功能,请使用这些浏览器。

typedef 与 define 作声明的区别

[复制链接]
gaosmile 发布时间:2020-9-29 22:42
前言

  以前在使用 typedef 与 define 作声明时,总感觉没啥区别,两个的使用方法都一样,但是最近在看《C 陷阱与缺陷》时,才发现大有不同,因此还是有必要总结记录一下。

参考资料

  部分参考网址如下

  参考书本资料如下

  • 《C Primer Plus 第六版》P478

  • 《C 陷阱与缺陷》P100

  • 《C++ Primer Plus 第六版》P248

    8 ^+ l% Y# O, i5 S4 h% d% L, a
问题来源

  在学习《C 陷阱与缺陷》时,遇到这样一个问题,搞不明白,然后翻阅资料,才理解其中含义!

#define T1 struct foo *# U3 U8 g  F% Z  G/ S" j. U
typedef struct foo *T2;
6 I: I. [3 H6 {
# O% e- x9 c  _3 u$ {  _: {T1 a, b;; Q" ~) H7 T8 m8 `" K
T2 a, b;
" E# a  y4 s1 t+ g4 w
6 U* o. S$ {  f5 o' s, D8 @2 fstruct foo *a, b;      // 宏定义方式,声明展开,T1
6 R) Z( R. U& x: {' Jstruct foo *a, *b;     // 类型定义方式,声明展开,T25 ?) i. p* m. _

  我当时看了之后,对这种带指针的总是迷迷糊糊,不甚了解。一直不明白为什么 T2 展开之后是这个样子?

  如果你已经看懂了,那很棒,这就是一个很大的区别!如果没看懂,没关系,下边我也会自己分析。

分析总结

  我在查阅相关参考资料之后,明白了一个基本的事实;

  • 使用 define 宏定义,只是名字的替换;
  • 使用 typedef 类型定义,出来之后,是一个真真切切的 类型 。2 w% x: `! j% O

  接着,我从《C Primer Plus》中看到了另外一个例子

#define BYTE unsigned char      // typedef 与 #define 功能重合7 Q/ u+ p5 `1 X. ?+ B* T
% `8 V% d. @; a7 W4 m' R9 A
typedef char * STRING;          // #define 没有的功能6 g  f% Y3 i/ L5 p. b
STRING name, sign;
8 S0 j% N/ y) ]& C  N; E+ U' k. D: echar *name, *sign;
( N* w- t7 Q$ j8 y3 W9 {0 T0 A; ~- Q- [6 V
#define STRING char *           // 定义多个变量时,导致只有第一个有效。
/ q1 _. B: g6 o+ @STRING name, sign;; U! \* c2 ~0 a! X3 |3 J1 H( L2 ?
char *name, sign;
8 |, M) B( ^7 `2 V$ T- s! l4 s8 w+ N2 f

  由上述伪代码可以看到,当只用作名称定义时, typedef 与 define 作用一样。

  但是当用作其他复杂类型定义时,这两种方式,使用出来的结果,大不相同!

  比如代码中,要使用 typedef 定义一个 char * 的类型,使用 typedef 定义如下:

typedef char * STRING;   // typedef类型声明: R4 S2 w3 E) Z7 o& [. y6 E  E
STRING name, sign;       // 变量声明8 v5 a& [% |1 f/ }/ r% }- s
char *name, *sign;       // 声明展开结果
8 C8 o" |6 X! x& s) n; M9 D& Q2 Q

  但是如果使用 define 声明的结果,很显然不同,示例代码如下:

#define STRING char *    // 声明STRING,当遇到STRING时,替换为char *1 V9 S0 V) F: d' a) r
STRING name, sign;       // 变量声明+ F9 A2 e- I1 g& l
char *name, sign;        // 声明展开结果4 p* }& m8 M, \. ~4 F8 E

  从上述代码可以看到,使用 define 声明的结果,只是在预处理过程中,遇到名字为 STRING 的声明,就原封不动的替换为 ( char * ) ,仅此而已!(此处可以联想到使用 define 的其他陷阱,后续再细细总结。)

  简单的总结一下原因

  • 如果没有 typedef 关键字,编译器将把 STRING 识别为一个指向 char 的指针变量;
  • 如果使用 typedef 关键字,编译器则把 STRING 解释成一个 类型的标识符 ,该类型是指向 char 的指针;
    0 {1 {9 P. ^; A2 ^
总结
  • typedef 这种方式,编译器会把 STRING 解释为一个 类型的标识符 !此过程是 编译器 处理的!
  • define 这种方式,只是把名称替换掉而已,此过程是在 预处理器 中处理的!
  • 谨记这两条总结,以此避免更多类似的陷阱。
  • 再重复一遍, define 只是替换名字,而 typedef 是类型标识符!!!
    ! \' M) D* F/ I
. n2 X6 T; x0 J, \% v% [7 L
赞 收藏 评论0 发布时间:2020-9-29 22:42

举报

0个回答
关于
我们是谁
投资者关系
意法半导体可持续发展举措
创新与技术
意法半导体官网
联系我们
联系ST分支机构
寻找销售人员和分销渠道
社区
媒体中心
活动与培训
隐私策略
隐私策略
Cookies管理
行使您的权利
官方最新发布
人形机器人运动控制、感知与智能配电
半导体创新技术与应用方向
EE架构与软件定义汽车
12V/48V 汽车智能配电(SPD)
区域控制单元(ZCU)与分区架构
关注我们
st-img 微信公众号
st-img 手机版