关于静态全局 lambda 变量的错误警告？

Question

提供以下代码，在全局范围内，clang-tidy 不会给出警告：

auto test = []{};

但是，当执行以下操作时，它会：

#include <tuple>

auto test = []{
    std::tuple t{1, 2, 3};
};

<source>:3:6: warning: initialization of 'test' with static storage duration may throw an exception that cannot be caught [cert-err58-cpp]
auto test = []{
     ^

/opt/compiler-explorer/gcc-8.2.0/lib/gcc/x86_64-linux-gnu/8.2.0/../../../../include/c++/8.2.0/tuple:646:19: note: possibly throwing constructor declared here
        constexpr tuple(_UElements&&... __elements)
                  ^

将 lambda 标记为 noexcept 没有帮助。

但是，我不明白为什么会有问题。理论上，只有在调用 lambda 时才会发生异常，不是吗？

以下代码不会导致出现警告：

auto test = [] {
    throw 0;
};

clang-tidy 是不是错了，还是我错过了什么？

Answer 1

Clang-Tidy 警告是关于全局变量的构造，而不是关于此类的operator()。因此，这看起来像是误报。

我会创建变量constexpr，因为它在程序的生命周期内无法更改。这也应该抑制警告以及 constexpr 不能完成这样的异常被抛出。

PS：您可以在 bugs.llvm.org 记录 Clang-Tidy 的错误