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

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

/* 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中,将使用此声明生成以下说明.

1. 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.
 */

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

2. 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年(零)作为输出.