Coverity检测C++11类构造器成员未初始化问题求助

问题根源 #

Coverity的警告本质是：你在构造函数体内调用setZero()属于赋值操作，而非成员的初始化操作；嵌套的std::array内部的Eigen矩阵默认构造不会初始化内存，Coverity静态分析无法识别后续的赋值为合法初始化，再加上委托构造的追踪限制，最终触发未初始化警告。

解决思路 #

必须确保_trajectory在构造函数初始化阶段（而非函数体内）完成所有元素的零初始化，让Coverity能明确识别到成员已被正确初始化。

具体解决方案 #

方案1：给Trajectory类型添加默认构造函数

将Trajectory定义为自定义结构体，在其默认构造中完成零初始化，确保成员在构造阶段就被初始化：

template <int N>
class Model {
private:
    struct Trajectory {
        std::array<Eigen::Matrix<double, 3, 1>, N> elems;

        // 默认构造中完成所有Eigen矩阵的零初始化
        Trajectory() {
            for (auto& mat : elems) {
                mat.setZero();
            }
        }
    };

    Trajectory _trajectory;

public:
    // 委托构造或默认构造都会自动触发Trajectory的初始化逻辑
    Model() = default;
    Model(int param) : Model() {}
};

方案2：用静态工厂函数在初始化列表中生成已初始化对象

通过静态函数提前生成完成零初始化的Trajectory，在构造函数初始化列表中直接赋值：

template <int N>
class Model {
private:
    using Trajectory = std::array<Eigen::Matrix<double, 3, 1>, N>;
    Trajectory _trajectory;

    // 静态函数返回已完成零初始化的Trajectory
    static Trajectory create_zero_trajectory() {
        Trajectory traj;
        for (auto& elem : traj) {
            elem.setZero();
        }
        return traj;
    }

public:
    // 初始化列表中直接完成_trajectory的初始化
    Model() : _trajectory(create_zero_trajectory()) {}
    Model(int param) : Model() {}
};

方案3：编译期索引生成初始化列表（C++11及以上）

借助std::index_sequence在编译期生成全零初始化的列表，彻底在初始化阶段完成操作：

#include <utility>

template <int N>
class Model {
private:
    using Trajectory = std::array<Eigen::Matrix<double, 3, 1>, N>;
    Trajectory _trajectory;

    // 利用编译期索引生成每个Eigen矩阵的零初始化对象
    template <std::size_t... Idx>
    static Trajectory make_zero_traj(std::index_sequence<Idx...>) {
        return { (Idx, Eigen::Matrix<double,3,1>::Zero())... };
    }

public:
    Model() : _trajectory(make_zero_traj(std::make_index_sequence<N>())) {}
    Model(int param) : Model() {}
};

为什么之前的{}、{{}}无效？ #

std::array的默认聚合初始化只会调用内部元素的默认构造，而Eigen矩阵的默认构造不会初始化内存，仅分配空间。因此即使写_trajectory{}，每个Eigen矩阵仍处于未初始化状态，Coverity依然会判定为未初始化。

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