Question

让我们输入以下代码：

#include <iostream>
#include <simd/simd.h>
class X {
public:
    X(int a) : x{a} {} // <-- only x is initialized, y is not

    int x;
    int y;
    simd_double3 d;
};

int main(int argc, const char * argv[]) {
    X x(1);
    X* xx = new X(2);
    std::cout<<x.x<<" "<<x.y<<" "<<x.d.x; // <-- y and x.d are used, but not initialized
    std::cout<<xx->x<<" "<<xx->y<<"END\n";
    return 0;
}

我要发出警告，提示X中的y未初始化。 -Wall，-Wmissing-field-initializers似乎无能为力。它编译时没有警告。此示例代码产生以下输出： 1 0 6.95323e-310 因此，即使y初始化为0（由于clang分析将其标记为未初始化，也没有将其初始化），显然simd_double3并未初始化为0。

另外，lang声分析标记x.y为未初始化的。（第一个函数调用参数是未初始化的值）

此外，当在释放模式下在堆上创建X时，x.y的内容是垃圾。第二行打印：2 -1094795586，y显然没有初始化。

Answer 1

我使用clang 8（最新发行版）命令行检查所有警告：
c -O2-墙-Wextra-一切
检查：https://godbolt.org/z/kKp-N5
Clang对类和结构中未初始化的变量没有任何警告。但是将clang-tidy与check cppcoreguidelines-pro-type-member-init 一起使用可能对您有所帮助。
https://releases.llvm.org/8.0.0/tools/clang/tools/extra/docs/clang-tidy/checks/cppcoreguidelines-pro-type-member-init.html

C ++对类中的未初始化变量启用警告

1 个答案: