如何让clang-tidy检测并警告未初始化的数组元素？

我尝试了各种方法，都无法让以下代码触发clang-tidy警告：

#include <iostream>
#include <array>

void foo() {
  std::array<int, 500> i;
  int k[500];
  std::cout << "hello world " << i[0] << k[0] << std::endl;
}

void bar() {
  std::array<int, 1000> i;
  i.fill(0xcdcdcdcd);
}

int main() {
  bar();
  foo();
  return 0;
}

该代码运行输出为：

hello world -842150451-842150451

我希望clang-tidy能对i[0]和k[0]的未初始化情况发出警告，请问它当前是否具备该能力？

clang-tidy具备检测这类未初始化元素访问的能力，但需要启用对应的检查项并确保分析配置正确：

• 启用cppcoreguidelines-init-variables检查项：这个检查可以捕获未初始化的变量（包括普通数组和std::array的元素）的使用场景。
• 这类检测依赖于编译器的数据流分析能力，需要确保clang-tidy在分析时启用了足够的数据流跟踪。

针对你的代码，需要注意：

• 普通数组int k[500]的元素未初始化就被访问，cppcoreguidelines-init-variables可以直接检测到该问题。
• std::array<int,500> i的默认构造函数不会初始化内部元素（行为和普通数组一致），clang-tidy同样可以检测到i[0]的未初始化访问，但必须确保正确启用了对应检查项。

你可以通过以下命令运行clang-tidy来触发警告：

clang-tidy your_file.cpp -checks=cppcoreguidelines-init-variables --

此外，结合clang-analyzer-core.uninitialized.UndefReturn等clang静态分析器的检查项，可以进一步提升未初始化问题的检测覆盖率。

内容的提问来源于stack exchange，提问作者tophyr