为什么 gcc 会给我带有过滤范围的 deque::insert 可能未初始化的警告

Question

为什么在使用-O2 和-DNDEBUG 编译时，gcc 会给我带有过滤范围的deque::insert 可能未初始化的警告

#include <deque>
#include <vector>
#include <boost/range/adaptor/filtered.hpp>

auto foo(){
    std::deque<int> d{3,4};
    std::vector<int> v{0,2};
    auto b = 1;
    using boost::adaptors::filtered;
    auto r = v | filtered([&b](auto i){return i>b;});

    d.insert(std::end(d),r.begin(),r.end());
    return d;
}

编译器 gcc 9.2，标志 -std=c++2a -O2 -Wall -Werror -DNDEBUG

这是警告：

<source>: In member function 'void std::deque<_Tp, <source>: In member function 'void std::deque<_Tp, _Alloc>::_M_insert_aux(std::deque<_Tp, _Alloc>::iterator, _ForwardIterator, _ForwardIterator, std::deque<_Tp, _Alloc>::size_type) [with _ForwardIterator = boost::iterators::filter_iterator<boost::range_detail::default_constructible_unary_fn_wrapper<foo()::<lambda(auto:1)>, bool>, __gnu_cxx::__normal_iterator<int*, std::vector<int> > >; _Tp = int; _Alloc = std::allocator<int>]':

<source>:10:48: error: '*((void*)& __mid +16)' may be used uninitialized in this function [-Werror=maybe-uninitialized]

   10 |     auto r = v | filtered([&b](auto i){return i>b;});

      |                                               ~^~

In file included from /opt/compiler-explorer/gcc-9.2.0/include/c++/9.2.0/deque:69,

                 from <source>:1:

/opt/compiler-explorer/gcc-9.2.0/include/c++/9.2.0/bits/deque.tcc:793:24: note: '*((void*)& __mid +16)' was declared here

  793 |       _ForwardIterator __mid = __first;

      |                        ^~~~~

<source>:10:48: error: '*((void*)& __mid +16)' may be used uninitialized in this function [-Werror=maybe-uninitialized]

   10 |     auto r = v | filtered([&b](auto i){return i>b;});

      |   

如果b被值捕获，则警告消失。

https://godbolt.org/z/8Tbfgf

Answer 1

您正在通过引用捕获编译时间常数。

filtered([](auto i){return i>b;})

那是legal，因为const auto b = 1 是编译时常量，您可以在不引用的情况下使用。

编译器对按名称捕获的对编译时常量的未使用引用感到困惑。它可能会优化所述捕获，因为可以跳过从未使用过的引用。这会给您留下未初始化的捕获 b，其他代码会将其与同名的编译时值混淆，并且您会收到警告。

这显然是一个编译器错误。相反，它可能应该警告您：

variable captured but unused

或类似的东西。