GCC警告：向vector赋值初始化列表时的未初始化值问题及解决方法

问题代码 #

#include <cstdint>
#include <vector>

template<typename BaseType>
class InitInt {
public:
    using base_type = BaseType;

private:
    BaseType value_;

public:
    InitInt() : value_(0) {}

    explicit InitInt(BaseType value) : value_(value) {}

    InitInt(
        const InitInt<BaseType>& other)
        : value_(other.get()) {}

    const BaseType& get() const { return value_; }
};

using InitInt16 = InitInt<int16_t>;

class IntInt16PairVector {
public:
    std::vector<std::pair<InitInt16, InitInt16>> m;
};

void f(IntInt16PairVector& v) {
    v.m = {{InitInt16(0), InitInt16(0)}};
}

int main(void) {
    IntInt16PairVector v;

    f(v);
}

编译警告信息 #

使用GCC 12.3.0，添加-O3 -Wall编译标志时，会触发如下警告：

In copy constructor ‘InitInt<BaseType>::InitInt(const InitInt<BaseType>&) [with BaseType = short int]’,
    inlined from ‘std::pair<_T1, _T2>::pair(const std::pair<_T1, _T2>&) [with _T1 = InitInt<short int>; _T2 = InitInt<short int>]’ at /usr/lib/gcc/x86_64-pc-linux-gnu/12.3.0/include/c++/bits/stl_pair.h:195:17,
    inlined from ‘void std::_Construct(_Tp*, _Args&& ...) [with _Tp = pair<InitInt<short int>, InitInt<short int> >; _Args = {const pair<InitInt<short int>, InitInt<short int> >&}]’ at /usr/lib/gcc/x86_64-pc-linux-gnu/12.3.0/include/c++/bits/stl_construct.h:119:7,
    inlined from ‘_ForwardIterator std::__do_uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = const pair<InitInt<short int>, InitInt<short int> >*; _ForwardIterator = pair<InitInt<short int>, InitInt<short int> >*]’ at /usr/lib/gcc/x86_64-pc-linux-gnu/12.3.0/include/c++/bits/stl_uninitialized.h:120:21,
    inlined from ‘static _ForwardIterator std::__uninitialized_copy<_TrivialValueTypes>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = const std::pair<InitInt<short int>, InitInt<short int> >*; _ForwardIterator = std::pair<InitInt<short int>, InitInt<short int> >*; bool _TrivialValueTypes = false]’ at /usr/lib/gcc/x86_64-pc-linux-gnu/12.3.0/include/c++/bits/stl_uninitialized.h:137:32,
    inlined from ‘_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = const pair<InitInt<short int>, InitInt<short int> >*; _ForwardIterator = pair<InitInt<short int>, InitInt<short int> >*]’ at /usr/lib/gcc/x86_64-pc-linux-gnu/12.3.0/include/c++/bits/stl_uninitialized.h:185:15,
    inlined from ‘_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = const pair<InitInt<short int>, InitInt<short int> >*; _ForwardIterator = pair<InitInt<short int>, InitInt<short int> >*; _Tp = pair<InitInt<short int>, InitInt<short int> >]’ at /usr/lib/gcc/x86_64-pc-linux-gnu/12.3.0/include/c++/bits/stl_uninitialized.h:372:37,
    inlined from ‘void std::vector<_Tp, _Alloc>::_M_assign_aux(_ForwardIterator, _ForwardIterator, std::forward_iterator_tag) [with _ForwardIterator = const std::pair<InitInt<short int>, InitInt<short int> >*; _Tp = std::pair<InitInt<short int>, InitInt<short int> >; _Alloc = std::allocator<std::pair<InitInt<short int>, InitInt<short int> > >]’ at /usr/lib/gcc/x86_64-pc-linux-gnu/12.3.0/include/c++/bits/vector.tcc:339:35,
    inlined from ‘std::vector<_Tp, _Alloc>& std::vector<_Tp, _Alloc>::operator=(std::initializer_list<_Tp>) [with _Tp = std::pair<InitInt<short int>, InitInt<short int> >; _Alloc = std::allocator<std::pair<InitInt<short int>, InitInt<short int> > >]’ at /usr/lib/gcc/x86_64-pc-linux-gnu/12.3.0/include/c++/bits/stl_vector.h:785:21,
    inlined from ‘void f(IntInt16PairVector&)’ at test.cpp:32:37:
test.cpp:19:11: warning: ‘<anonymous>’ may be used uninitialized [-Wmaybe-uninitialized]
   19 |         : value_(other.get()) {}
      |           ^~~~~~~~~~~~~~~~~~~
test.cpp: In function ‘void f(IntInt16PairVector&)’:
test.cpp:32:44: note: ‘<anonymous>’ declared here
   32 |         v.m = {{InitInt16(0), InitInt16(0)}};
      |                                            ^

问题原因 #

这是GCC在-O3优化下的误判：当用初始化列表给vector赋值时，STL内部会调用未初始化拷贝逻辑，而自定义的拷贝构造函数通过get()访问成员变量，编译器的数据流分析无法确定other对象一定是已初始化的（尽管实际代码中它确实是初始化好的），从而触发警告。

解决方案 #

方法一：让InitInt成为平凡可拷贝类型 #

InitInt类的拷贝构造函数只是简单复制成员变量，完全可以用编译器生成的默认版本，这样类型会被标记为平凡可拷贝。STL容器对平凡类型会直接用内存拷贝（如memcpy），不会走用户定义的拷贝构造，自然就不会触发警告。

修改拷贝构造函数为默认：

// 替换原有的拷贝构造
InitInt(const InitInt<BaseType>& other) = default;

或者直接删除自定义的拷贝构造函数，编译器会自动生成等价的默认版本。

方法二：显式构造std::pair对象 #

避免依赖初始化列表的隐式推导，直接构造std::pair后再赋值给vector，让编译器的分析路径更清晰：

void f(IntInt16PairVector& v) {
    // 用make_pair显式构造
    v.m = {std::make_pair(InitInt16(0), InitInt16(0))};
    // 或者直接构造std::pair
    // v.m = {std::pair<InitInt16, InitInt16>(InitInt16(0), InitInt16(0))};
}

方法三：临时屏蔽警告（不推荐） #

如果暂时不想修改代码，可以在编译时添加-Wno-maybe-uninitialized选项来屏蔽这个警告，但这会忽略所有同类警告，可能漏掉真正的未初始化问题，所以仅作为临时应急方案。

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