GCC/C++ 缺少赋值的行的编译器警告

Question

我在这一点上对C和编译器的了解已经过时了，几天前我遇到了这样的代码：

foo + bar + quz;

该行应为：

foo += bar + quz;

我们正在用-Wall进行编译，我希望编译器至少会抛出警告。

我是否遗漏了什么，或者第一个示例是 C/C++ 中完全合理且经常看到的行？

以下是来自gcc -v的信息：

# gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/6/lto-wrapper
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Debian 6.3.0-18' --with-bugurl=file:///usr/share/doc/gcc-6/README.Bugs --enable-languages=c,ada,c++,java,go,d,fortran,objc,obj-c++ --prefix=/usr --program-suffix=-6 --program-prefix=x86_64-linux-gnu- --enable-shared --enable-linker-build-id --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --with-default-libstdcxx-abi=new --enable-gnu-unique-object --disable-vtable-verify --enable-libmpx --enable-plugin --enable-default-pie --with-system-zlib --disable-browser-plugin --enable-java-awt=gtk --enable-gtk-cairo --with-java-home=/usr/lib/jvm/java-1.5.0-gcj-6-amd64/jre --enable-java-home --with-jvm-root-dir=/usr/lib/jvm/java-1.5.0-gcj-6-amd64 --with-jvm-jar-dir=/usr/lib/jvm-exports/java-1.5.0-gcj-6-amd64 --with-arch-directory=amd64 --with-ecj-jar=/usr/share/java/eclipse-ecj.jar --with-target-system-zlib --enable-objc-gc=auto --enable-multiarch --with-arch-32=i686 --with-abi=m64 --with-multilib-list=m32,m64,mx32 --enable-multilib --with-tune=generic --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 6.3.0 20170516 (Debian 6.3.0-18) 

编辑

我

创建了一个简短的示例来显示我的问题：https://godbolt.org/g/WWKNCv

这是代码：

#include <iostream>
#include <string>
static const char FOO[] = "hello";
int main( int argc, const char* argv[] )
{
    std::string a = FOO;
    std::string c = "world";
    a + ", " + c;
    std::cout << a << "n";
}

我可以用g++ -Wall test.cpp成功编译它，并且行a + ", " + c没有编译器警告。有人可以解释为什么吗？

我知道string有一个运算符+（阅读 http://www.cplusplus.com/reference/string/string/operator+/后）。这是一个编译器无法知道该行无用的示例吗？

Answer 1

（从注释中移动）

我很确定，对于内置类型，gcc 会发出"语句无效"警告，至少在某些警告级别 - 尝试使用-Wextra - 实际上编辑，我现在看到它应该包含在即使在-Wall

。

但是，如果任何操作数是具有重载operator+的类类型（可能不是完全平凡的，或者，如果微不足道，其定义不是内联的），编译器没有理由怀疑该语句是无用的 - 没有人说重载运算符具有与内置运算符相同的语义。想想所有这些cout<<"hello world!";，如果编译器假设与内置类型相同的语义，它们都会生成"语句无效"警告。