c - 我应该将参数存储类说明符放在函数定义中还是同时放在声明和定义中？

Question

我正在努力将一些旧的 K&R 代码移植到 ANSI C，因此我正在编写缺少的函数原型(prototype)声明。很多函数定义都带有寄存器存储类的参数，但我不确定函数原型(prototype)中是否可以省略寄存器存储类说明符？

无论有没有寄存器存储类特定声明，代码都能正确编译(我试过 GCC、VC++ 和 Watcom C)。我在 ISO/ANSI C89 标准中找不到任何关于正确方法的信息 - 如果我只是将 register 关键字放在函数定义中就可以了吗？

int add(register int x, register int y); 

int add(register int x, register int y)
{
  return x+y;
}

这也能正确构建:

int add(int x, int y);

int add(register int x, register int y)
{
   return x+y;
}

我想确保根据标准真正考虑了寄存器存储说明符(我的目标是使用非常旧的编译器进行编译，其中此存储类说明符很重要)。两者都可以，这只是编码风格的问题吗？

Answer 1

关键规定是函数的每个声明都必须为其指定一个兼容类型。这需要兼容的返回类型，并且对于像您这样包含参数列表的声明，每对相应参数的兼容类型。

然后问题就变成了存储类说明符是否区分类型。它们没有，尽管该标准通过在类型派生的讨论中省略了存储类说明符来间接说明这一点。因此，对象声明中存储类说明符指定的属性与该对象的类型是分开的。

此外，C89 specifically says

The storage-class specifier in the declaration specifiers for a parameter declaration, if present, is ignored unless the declared parameter is one of the members of the parameter type list for a function definition.

(强调)。函数定义是伴随函数体的声明，而不是前向声明，因此您的两个代码具有相同的语义。

With and without the register storage class specific declaration, the code compiles correctly (I tried gcc, VC++ and Watcom), I could not find any information in the ISO/ANSI C89 standard on what is the correct way to do, or is it ok if i just put the register keyword in the function definition?

就个人而言，我倾向于使每个前向声明与相应函数定义中的声明相同。如果函数定义本身是正确的，这永远不会错。

但是，

1. register 关键字是一个遗迹。编译器根本没有义务尝试将 register 变量实际分配给寄存器，现代编译器在决定如何将变量分配给寄存器以及无论如何生成快速代码方面比人类要好得多。只要您要转换旧代码，我就会借此机会删除所有出现的 register 关键字。

2. C89 已过时。该标准最新版本为C 2018； C 2011 被广泛部署；和 C99(从技术上讲，也已过时)几乎随处可用。也许您有充分的理由以 C89 为目标，但您应该强烈考虑以 C11 或 C18 为目标，或者至少 C99。