不明确的语法

Question

#include <iostream>
using namespace std;

typedef int MYINT;

int main() 
{ 
    int y = MYINT();                     // As expected, y = 0; value initialization
    cout << MYINT();                     // Error
    cout << sizeof(MYINT());             // Error
} 

为什么主函数中右大括号之前的最后两行给出错误？为什么表达式 MYINT() 在不同上下文中的处理方式不同？任何标准参考都会有所帮助。

Answer 1

根据上下文，MYINT() 可以解释为 MYINT 类型的表达式，或不带参数并返回 MYINT 的函数类型说明符代码>.
在某些情况下，表达式或类型说明符有效，这会产生歧义。如果可能的话，可以通过将其解释为类型说明符来解决此问题（编辑：C++03 8.2/2，如果您想要标准参考）。

sizeof 可以采用表达式或带括号的类型说明符作为参数，从而产生歧义。所以这里MYINT()被解释为类型说明符；然后你会得到一个错误，因为 sizeof 不能应用于函数类型。

编辑：您可以通过删除括号来修复错误，以便将其解释为表达式 (sizeof MYINT())，添加额外的括号，使其不是有效的类型说明符 (sizeof((MYINT())))，或将其更改为正确的类型 (sizeof(MYINT))。

cout << MYINT() 是明确的，所以不应该有错误，而且我的编译器上确实没有错误。错误是什么，你的编译器是什么？

Answer 2

如果您的 MINTINT 是 typedef int MYINT 那么 MYINT() 不是一个函数，而是 int() 这是默认初始化，相当于 int y = 0 或 int y = int(0)。

你的第二行，即 cout <<出于同样的原因，MYINT() 使用 g++ -Wall -ansi -pedantic 可以正确编译。

但是 g++ 会抱怨 sizeof 并出现以下错误 error: invalid application of "sizeof" to a function type 因为它解释 MYINT() 作为“对 int 的默认构造函数的调用”（编辑：这是不正确的）“返回 MYINT 的函数类型是不允许的”（编辑< /strong>：这是正确的答案，请参阅迈克的）。但这与typedef无关。

摘要：

#include <iostream>
typedef int myint;
int main()
{
int y = myint();
int z = myint(0);
std::cout << y << z; // Will output 0 0
std::cout << std::endl << myint(0) << myint(); // Will output 0 0
std::cout << sizeof(int()); // The error is here; same with sizeof(myint())
}

编辑（再次）

正如评论中所说，cout 行对您不起作用，这是因为您可能忘记包含;。

编辑
另请参阅 Mike Seymour 的回答，了解 sizeof 的歧义。

Answer 3

// OK. Implicit conversion to int.
int y = MYINT();          

// OK. Implicit conversion again. Which compiler do you use?
cout << MYINT();          

// Invalid. Tries to get size of a function that returns MYINT,
// because sizeof expects a type-id and according to 8.2/2,
// which is forbidden according to the C++ Standard 5.3.3/1
cout << sizeof(MYINT());  
// Do you want this instead?
cout << sizeof(MYINT);  

Answer 4

我没有看到 cout << 出现任何错误MYINT(); 行。但是，我发现 cout << 的 'sizeof' 无效应用于函数类型。 sizeof(MYINT()); 行。问题在于 MYINT() 周围的 ()。 C++ 标准对 sizeof 及其解析方式进行了这样的规定：

sizeof unary-expression
sizeof ( type-id )

sizeof unary-expression 和 sizeof ( type-id ) 之间存在解析歧义>。通过使用更长的匹配来解决。它将 sizeof (MYINT()) 解析为 sizeof ( type-id )，MYINT() 是一个函数类型，因此您会看到错误。

Answer 5

为什么主函数中右大括号之前的最后两行会出错？

cout << MYINT(); 不起作用，因为 cout 未定义。一旦你执行了#include和using std::cout，它就会正常工作。

sizeof(MYINT()) 确实不起作用，但 sizeof(int()) 也不起作用，所以这是可以预料的。 sizeof(MYINT) 可以正常工作。

为什么表达式 MYINT() 在不同的上下文中会有不同的处理方式？

它不是。在每种情况下，MYINT() 的行为都与 int() 完全相同。