c - C99 中的声明符语义

Question

根据 ISO/IEC 9899:1999 6.7.5 §2，

Each declarator declares one identifier, and asserts that when an operand of the same form as the declarator appears in an expression, it designates a function or object with the scope, storage duration, and type indicated by the declaration specifiers.

我不知道为什么表达式突然出现在声明符语义中。你能举一些例子来帮助我理解意思吗？

Answer 1

假设你有声明

int foo[42];

声明部分是foo[42]。每当相同形式的内容(即 foo 后跟 [ 后跟表达式后跟 ])出现在表达式中(并且声明在范围)，该子表达式的类型将是声明的类型 int。

换句话说:就语法而言，像这样的声明

int *bar;

不将bar声明为int *类型，而是将*foo声明为输入 int。

更复杂的例子，拿声明

float (*op[42])(float, float);

在表达式中，相同形式的操作数可能如下所示

c = (*op[i])(a, b);

根据引用，右侧的类型为float。

这意味着

*op[i]

必须有函数类型(我们忽略了函数指示符衰减到相应的指针类型和通过后缀 () 进行的函数调用实际上对指针起作用，而不是指示符这一事实)。

这又意味着

op[i]

必须表示一个函数指针，我们最终到达

op

表示一个函数指针数组，因为我们可以对其应用后缀 [] 并返回正确的类型。

很有趣，不是吗 ;)