外部声明,T * v / s T []

发布时间：2020-12-16 03:18:26 所属栏目：百科来源：网络整理

导读：我在遗留项目中看到了下面的代码. /* token.c */struct token id_tokens[MAX_TOKENS];/* analyse.c (v1) */extern struct token *id_tokens; /* Raised my eyebrow,id_token declares a pointer */ 我坚持改变analyse.c来包含如下声明： /* analyse.c (v2) *

我在遗留项目中看到了下面的代码.

/* token.c */
struct token id_tokens[MAX_TOKENS];

/* analyse.c (v1) */
extern struct token *id_tokens; /* Raised my eyebrow,id_token declares a pointer */

我坚持改变analyse.c来包含如下声明：

/* analyse.c (v2) */
extern struct token id_tokens[]; /* I am happy with this. id_tokens declares array of unspecified size. */

我想要v2,因为T的指针与T的数组不一样.我的朋友的反对者认为两者的行为是一样的,所以我是否使用v1和v2并不重要.

问题1：不完整类型的数组是否耗尽指针？

问题2：我的朋友是否对这两个版本的行为保证是等同的？

解决方法

/* token.c */
struct token id_tokens[MAX_TOKENS];

/*
 id_tokens
  +-----+-----+-----+-----+...+-----+
  |     |     |     |     |   |     |
  +-----+-----+-----+-----+...+-----+
    [0]   [1]   [2]   [3]  ...  [MAX_TOKEN-1]

  To access id_tokens[i],add offset of ith element
  i.e. i * sizeof(struct token) to the **address**
  of array token
 */

因此,在您的analyse.c中,将使用此声明生成以下说明.

extern struct token id_tokens[];
id_tokens[i]
a. Address of id_tokens that might be linked from other compilation unit
is taken
b. offset of i is added
c. Value is referenced

/* analyse.c (v1) */
extern struct token *id_tokens;

/*
 id_tokens
  +------+           +-----+...
  | addr |---------->|     |
  +------+           +-----+...


  To access id_tokens[i],fetch **contetnts** of pointer
  token,add offset of ith element i.e. i * sizeof(struct token)
  is added to this.
 */

因此,将使用此声明生成以下说明：

extern struct token *id_tokens;
id_tokens[i]
a. Contents from address of id_tokens that is linked from other
compilation unit is taken.
(Will result in compilation error if present in same compilation unit because of type mismatch)
b. offset of i is added
c.
Value is referenced

我们假设sizeof id_token [0]是2字节,sizeof指向id_token [0]的指针是4字节.

你以后的声明可能(误)插入id_tokens [0]& id_tokens [1]作为地址,并添加一些偏移量(可能是现有或不存在的地址,对齐或不对齐的地址谁知道).

如果这是您的美好日子,程序可能会立即崩溃或破坏,并有机会修复错误.如果这是糟糕的一天,程序可能会混乱一些其他内存,或者向一些模块传达错误的状态,这可能导致难以追踪错误并导致噩梦.

现在我想你明白为什么你在Mr. 32’s answer年(零)作为输出.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!