我一直在为我的多个项目运行 clang 3.3 的静态分析器。除了一些问题是我自己的错(这是意料之中的，否则我会非常悲伤和自鸣得意)，除了以下关于 std::function 的问题外，一切都非常顺利移动构造函数，这是误报。

在进一步讨论之前，这里有一个简单的测试用例:

int main() {
  std::function<void ()> f1;
  std::function<void ()> f2 = std::move(f1);
}

通过 clang++ -std=c++11 --analyze -Xanalyzer -analyzer-output=text foo.cpp 运行它(它使用 GCC 的 libstdc++ —— 即4.8.1 版本——不是 clang 的 libc++)，你会得到以下跟踪:

In file included from foo.cpp:1:
In file included from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/iostream:39:
In file included from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/ostream:38:
In file included from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/ios:40:
In file included from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/char_traits.h:39:
In file included from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_algobase.h:64:
In file included from /usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_pair.h:59:
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/move.h:175:7: warning: Assigned value is garbage or undefined
      _Tp __tmp = _GLIBCXX_MOVE(__a);
      ^~~~~~~~~   ~~~~~~~~~~~~~~~~~~
foo.cpp:30:31: note: Calling move constructor for 'function'
  std::function<void ()> f2 = std::move(f1);
                              ^
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/functional:2232:2: note: Calling 'function::swap'
        __x.swap(*this);
        ^
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/functional:2359:2: note: Calling 'swap'
        std::swap(_M_invoker, __x._M_invoker);
        ^
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/move.h:175:19: note: Calling 'move'
      _Tp __tmp = _GLIBCXX_MOVE(__a);
                  ^
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/move.h:142:30: note: expanded from macro '_GLIBCXX_MOVE'
#define _GLIBCXX_MOVE(__val) std::move(__val)
                             ^
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/move.h:175:19: note: Returning from 'move'
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/move.h:142:30: note: expanded from macro '_GLIBCXX_MOVE'
#define _GLIBCXX_MOVE(__val) std::move(__val)
                             ^
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/move.h:175:7: note: Assigned value is garbage or undefined
      _Tp __tmp = _GLIBCXX_MOVE(__a);
      ^
1 warning generated.

如您所见，移动构造函数 std::function(std::function&&) 是根据 swap 实现的。整个操作的步骤是(如果我们相信 clang):

• f1 构造正确
• f2 尚未构建，因此包含垃圾
• f1 被移动到 f2 但实际上它实际上是一个 swap
• f2 现在包含旧的 f1，但是 f1 包含旧的 f2 即。垃圾
• 在某些时候，包含垃圾的 f1 被破坏了......然后会发生什么？

理论说，这很糟糕。实际上，查看实现，似乎 std::function 私有(private)地继承自 _Function_base，它负责初始化所有重要的东西(即 _M_manager) 为 null，因此 clang 关于 _M_invoker 的警告毫无意义。

以防万一有人怀疑，移动对象应该会使它处于不确定状态，您只能分配给它或销毁它。 GCC 的 function 实现正是这样做的:只有 _M_manager 就资源管理而言是重要的，其余的(包括 _M_invoker)只是“方便” "指针。

我对 GCC 的 function 实现进行了足够深入的研究，以至于对 clang 诊断的误报状态完全没有疑问。但由于我的代码中确实有数百个地方会发生这种情况，所以至少可以说，这使得通过静态分析器的结果变得非常痛苦。

我如何指示 clang 不报告这个问题？

再次强调，如果你错过了，我正在使用 clang 3.3 以及 GCC 的 libstdc++ 4.8.1。

注意:如果您正在运行 clang 3.4 构建并且如果它没有触发此误报，请告诉我。就我的尝试而言，我还无法在我的系统 (Debian Jessie) 上运行 3.4，但如果它解决了这个问题，我会更加努力。

最佳答案

您可能会感兴趣: Future directions for the analyzer

基本上，您目前只能针对每个 TU 或使用禁用某些检查器

#ifndef __clang_analyzer__
...
#endif

如果你真的需要。但当然应该报告实际的误报。

关于c++ - clang++ 3.3 静态分析器，如何消除误报？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/19471795/