为什么 Visual Studio 在自分配时不发出警告 (int foo = foo;)

我正在重构一个出现了无数次的术语，不小心产生了如下代码所示的情况：

#include "stdafx.h"
#include <iostream>

int foo = foo;

//By replacing with the following instruction we causes a compile error
//int foo(foo);

int _tmain(int argc, _TCHAR* argv[])
{
    int bar = bar;
    std::cout << "Well this is awkward " << foo << std::endl;
    return 0;
}

对于不同的调试和发布配置，编译器对此保持沉默int foo = foo;.

我看不出该语句不是等待发生的错误的情况。 Visual Studio 编译器不应该发出警告吗？

我并不是假装这是一种未定义的行为。我的意思是，默认情况下，将变量赋值给自身可能是程序员的错误。除非有人对赋值运算符的使用有一个奇怪的方案。

类似的问题（i=i++) 确实是未定义的行为，但这主要是因为该指令包含对同一变量的两次赋值：

• 的递增i (i++），这是在某个时刻完成的after指令i++回报i

• 的分配i

问题是我们无法真正知道分配i发生在递增之前或之后，因此是未定义的行为。

在你的例子中，foo=foo，我们先进行读取，然后进行写入。毫无疑问，我们必须在写入之前读取该值，因此很容易定义。

附带说明的是，如果operator=被重新定义，那么foo=foo可以做很多事情，而不仅仅是 foo 本身的复制。 C++ 有目的地允许您以多种不同的方式向食物中开枪。但无论如何，C++ 编译器都不是主动发出警告/错误的黄金标准。