C中函数调用运算符的关联性

Question

我正在讨论 C 运算符的关联性。

我发现函数调用运算符() 具有从左到右的关联性。但是只有当一个表达式中出现多个具有相同优先级的运算符时，关联性才会发挥作用。但我找不到任何涉及函数调用运算符的示例，其中关联性起着至关重要的作用。

例如在语句a = f(x) + g(x); 中，结果取决于评估顺序，而不取决于两个函数调用的关联性。 同样，调用f(g(x)) 将首先评估函数g()，然后是函数f()。这里我们有一个嵌套的函数调用，并且关联性再次不起作用。

此优先级组中的其他 C 运算符是数组下标 []、postfix ++ 和 postfix --。但是我找不到任何涉及这些运算符与() 组合的示例，其中关联性在表达式评估中起作用。

所以我的问题是函数调用的关联性被定义为从左到右是否会影响 C 中的任何表达式？谁能提供一个例子，说明函数调用运算符 () 的关联性在表达式评估中很重要吗？

Answer 1

函数应用程序关联到左边的语句在 C 语言定义中完全是多余的。函数参数列表出现在函数表达式本身的右侧并且必须用括号括起来这一事实暗示了这种“关联性”。这意味着对于给定的函数表达式，它的参数列表的范围永远不会有任何疑问：它从函数表达式之后的强制左括号延伸到匹配的右括号。

函数表达式（通常只是一个标识符，但可能更复杂）本身可能是一个（裸）函数调用，如f(n)(1,0)。 （当然，这要求f(n) 返回的值是可以用参数列表(1,0) 调用的东西，C 有一些可能性，C++ 更多，但这些都是语义上的考虑，只能发挥作用解析后，因此在讨论关联性时应该忽略它们。）这意味着函数调用的语法规则是左递归的（函数部分本身可以是函数调用）；这可以通过说“函数调用关联到左侧”来表述，但事实是显而易见的。相比之下，右部分（参数列表）不能是（裸）函数调用，因为需要括号，所以不能有右递归。

例如考虑(a)(b)(c)（我在其中添加了多余的括号以表明对称性和可能的​​歧义）。这里 (b)(c) 本身可能被认为是带有参数 c 的 b 的调用（用括号括起来）；然而，这样的调用不能被解释为a 的参数，因为这需要额外的括号，如(a)((b)(c))。所以不提任何关联性，很明显(a)(b)(c)只能表示a用参数b调用，结果值用c参数调用。

Answer 2

除了@GrzegorzSzpetkowski 的回答，你还可以有以下：

void foo(void) { }

int main(void) {
    void (*p[1])(void);
    p[0] = foo;
    p[0]();
    return 0;
}

这将创建一个函数指针数组，因此您可以将数组下标运算符与函数调用运算符一起使用。

Answer 3

这是一个例子，函数调用运算符的左右关联性很重要：

#include <stdio.h>

void foo(void)
{
    puts("foo");
}

void (*bar(void))(void) // bar is a function that returns a pointer to a function
{
    puts("bar");
    return foo;
}

int main(void)
{
    bar()();

    return 0;
}

函数调用：

bar()();

相当于：

(bar())();