为什么下面的代码不会产生编译错误？

Question

我正在使用 VS2005 编译器，我希望以下代码给出编译错误。

int a=1, b= 2, c=3;
a = (b,c);

赋值后的值为 3。根据我的理解，它应该给出编译错误。

我很高兴知道这背后是否有任何正当理由。

Answer 1

您的代码中唯一的错误是您忘记了第二行末尾的分号，但我认为这是撰写问题时的印刷错误，而不是问题的实际主旨。

我认为您所显示的代码没有理由产生编译错误。它对我来说编译得很好，事实上，a 的值是 3。

参见你自己：下面的代码返回 3：

int main()
{
    int a=1, b= 2, c=3;
    a = (b,c);

    return a;
}

诀窍是你使用 逗号运算符，它评估其第一个操作数并然后丢弃结果，然后计算第二个操作数并返回其值。

但是，正如 Charles Bailey 指出的那样，您必须将问题中显示的代码包装在函数内，否则您将得到任何编译器中的编译错误。 C++ 不允许在函数之外使用赋值语句。

Answer 2

您在 C++ 中使用逗号运算符，它并不常用。其工作原理如下：

<expression1>, <expression2>

它评估 并丢弃结果，然后评估 并将返回的结果作为整个表达式的值。

Answer 3

这段代码没有错误。为什么你认为应该有编译错误？这里只是一个 逗号运算符，它评估其所有参数，但返回最右边的一个：在本例中为 3。

Answer 4

引用http://en.wikipedia.org/wiki/Comma_o​​perator：

“在 C 和 C++ 编程语言中，逗号运算符（由标记 , 表示）是一个二元运算符，它计算第一个操作数并丢弃结果，然后计算第二个操作数并返回该值（和类型）逗号运算符的优先级是所有 C 运算符中最低的，并且充当序列点。”

Answer 5

我刚刚在 VS2005 上对此进行了测试，并且按照预期得到了编译错误。

Compiling...
main.cpp
d:\dev\work\comptest\main.cpp(2) : error C4430: missing type specifier - int assumed. Note: C++ does not support default-int
d:\dev\work\comptest\main.cpp(2) : error C2374: 'a' : redefinition; multiple initialization
        d:\dev\work\comptest\main.cpp(1) : see declaration of 'a'

声明行很好，但正如预期的那样，赋值语句在函数外部无效。编译器似乎将其解释为尝试使用默认的 int 类型重新初始化 a，这两种类型都不合法。