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会发出＆＃34;语句没有效果＆＃34;警告，至少在某个警告级别 - 尝试使用-Wextra - 编辑实际上，我现在看到它应该包含在-Wall中。

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

GCC / C ++编译器警告缺少分配的行？

1 个答案: