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个
  双
  100

Answer 1

对于普通函数调用，后缀表达式应该是引用函数的左值（在这种情况下，函数到指针标准转换（4.3）在后缀表达式上被抑制），或者它应该有指针功能类型。

所以，＆＃34;后缀表达＆＃34;在5.2 / 1中定义...它是一个不必要的语法元素，意味着＆＃34; x++＆＃34;一种后缀...看看列表本身。基本上，关键在于表达式：

＆＃34;应该是引用函数的左值（在这种情况下，后缀表达式上的函数到指针标准转换（4.3）被抑制）＆＃34;

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

（值得注意的是，它必须不进行转换的原因是运算符优先级 - 特别为++和--后缀，()用于函数调用，[] ，.和->都具有相同的优先级和从左到右的关联性，因此例如[1]f(1,2,3)被视为[1](f(1,2,3))，因为它是唯一的解析匹配，如果发生指针衰减，那么从左到右的关联性会将其视为([1]f)(1,2,3)。）

＆＃34;或者它应具有指向功能类型的指针。＆＃34;

因此，您还可以提供函数指针。

Answer 2

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

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

2 个答案: