这个陈述在C++ 11标准中的含义是什么？

Question

从C++ 11标准的第5.2.2/1段中提取的句子中粗体字符是什么意思？

函数调用有两种:普通函数调用和成员函数(9.3)调用.函数调用是后缀表达式,后跟括号,其中包含可能为空的逗号分隔的表达式列表,这些表达式构成函数的参数.对于普通函数调用,后缀表达式应该是引用函数的左值(在这种情况下,函数到指针标准转换(4.3)在后缀表达式上被抑制),或者它应该具有指向函数类型的指针.

编辑

基本上我要问的是:当标准说"(在这种情况下,函数到指针标准转换在后缀表达式上被抑制)"这是否意味着这种抑制是好的或者它将在以后被撤销(例如,在函数重载之后)？

EDIT1

在我看来,上面的"抑制"一词具有误导性,因为它给人的印象是,从函数名到函数指针的转换可能永远不会被编译器完成.我相信情况并非如此.在函数重载过程完成后,此转换将始终发生,因为只有在此时,编译器才能确切地知道要调用的函数.程序初始化函数指针时不是这种情况.在这种情况下,编译器知道要调用的函数,因此不会出现重载,如下例所示.

#include <iostream>
int foo(int i) { std::cout << "int" << '\n'; return i * i; }
double foo(double d) { std::cout << "double" << '\n'; return d * d; }

int main()
{
    int(*pf)(int) = foo;                //  no overloading here!
    std::cout << pf(10.) << '\n';       //  calls foo(int)
    std::cout << foo(10.) << '\n';      //  call foo(double) after function overloading. Therefore, only after function
                                        //  overloading is finished, the function name foo() is converted into a function-pointer.
}

代码打印:

int
100
double
100

Answer 1

对于普通函数调用,后缀表达式应该是引用函数的左值(在这种情况下,函数到指针标准转换(4.3)在后缀表达式上被抑制),或者它应该具有指向函数类型的指针.

因此,"后缀表达式"在5.2/1中定义...它是一个语法元素,并不一定意味着" x++"类型的后缀...查看列表本身.基本上,关键是有一个表达式:

• "应该是引用函数的左值(在这种情况下,后缀表达式上的函数到指针标准转换(4.3)被抑制)"

这意味着表达式实际上是函数的标识符,或类似的东西(x ? fn1 : fn2).它不需要转换为指针 - 编译器已经知道如何调用函数.

(这是值得注意的是,它不能进行转换的原因是运算符优先级-专为后缀++和--,()函数调用,[],.,和->所有具有相同的优先级,左到右结合,所以如[1]f(1,2,3)被视为[1](f(1,2,3)),因为它是唯一的分析比赛,而如果发生指针衰减,则从左到右的关联性会将其视为([1]f)(1,2,3).)

• "或者它应该有指向功能类型的指针."

所以,你也可以提供一个函数指针.

Answer 2

如果标准中没有任何相反的声明，则压制可能是永久性的。我认为转换被抑制是因为（i）需要进行重载解析，并且（ii）在这种情况下没有必要。事实上，在我们确切地知道正在调用哪个函数之前，不可能转换为指针。在重载解析之后，我们知道我们正在直接调用该函数，因此转换是没有意义的。