C++声明含静态cv::Mat成员类的全局对象时程序崩溃问题咨询

问题1：为什么全局声明对象时静态成员未完成初始化？ #

这是C++跨编译单元静态初始化顺序未定义的特性导致的：

• 3个cv::Mat类型的静态成员变量定义在texture.cpp编译单元，全局Texture对象定义在main.cpp编译单元
• C++标准没有规定不同编译单元的全局变量初始化顺序，若main.cpp的全局Texture对象先执行构造，此时texture.cpp中的静态cv::Mat成员还未完成初始化，处于空状态
• 空cv::Mat的rows属性为0，因此rowSpan = 0 - 1 = -1，后续调用OpenCV接口时触发越界崩溃
• 而main函数内部声明局部对象时，所有编译单元的全局静态变量已经全部初始化完成，因此运行正常。

问题2：如何让全局对象声明获得和局部对象声明一致的运行效果？ #

核心思路是延迟静态成员的初始化时机，保证首次使用前一定完成初始化，推荐使用Meyer单例思路实现：
修改类的静态成员定义，把静态cv::Mat放到静态成员函数内部返回引用，C++11及以后标准保证函数内静态变量会在首次调用时完成初始化，且线程安全：

// texture.h 类内修改静态成员声明
class Texture
{
public:
    Texture();
    ~Texture();
private:
    const static int MAXIMUM_GLCM = 4;
    const static int MAX_LEVELS = 256;
    // 替换原静态Mat成员为访问接口
    static cv::Mat& getLutWeights();
    static cv::Mat& getContrastWeights();
    static cv::Mat& getDissimilarWeights();
    static void generateLUT();
    static void prepareWeightMatrices();
    // 增加初始化标记防止重复计算
    static bool& isInitialized();
};

// texture.cpp 实现修改
bool& Texture::isInitialized() {
    static bool init_flag = false;
    return init_flag;
}
cv::Mat& Texture::getLutWeights() {
    static cv::Mat mat = cv::Mat::zeros(cv::Size2i(MAX_LEVELS,1), CV_32FC1);
    return mat;
}
cv::Mat& Texture::getContrastWeights() {
    static cv::Mat mat = cv::Mat::zeros(cv::Size2i(MAX_LEVELS, MAX_LEVELS), CV_32FC1);
    return mat;
}
cv::Mat& Texture::getDissimilarWeights() {
    static cv::Mat mat = cv::Mat::zeros(cv::Size2i(MAX_LEVELS, MAX_LEVELS), CV_32FC1);
    return mat;
}

// 所有原静态Mat的引用位置替换为对应接口调用
void Texture::generateLUT()
{
    std::cout << "\ngenerateLUT()";
    auto& lutWeights = getLutWeights();
    for (int i = 0; i < lutWeights.cols; i++)
    {
        lutWeights.at<float>(i) = (float)i;
    }
}

void Texture::prepareWeightMatrices()
{
    if (isInitialized()) return; // 已初始化直接返回，避免重复计算
    std::cout << "\nprepareWeightMatrices()";
    generateLUT();
    auto& dissimilarWeights = getDissimilarWeights();
    int rowSpan = dissimilarWeights.rows - 1;
    std::cout << "\n rowSpan: " << rowSpan;
    auto& lutWeights = getLutWeights();
    for (int i = 0; i < rowSpan; i++)
    {
        lutWeights.colRange(1, (rowSpan +1) - i).copyTo(dissimilarWeights.row(i).colRange(i+1, rowSpan +1));
    }
    cv::completeSymm(dissimilarWeights, false);
    cv::accumulateSquare(dissimilarWeights, getContrastWeights());
    isInitialized() = true;
}

问题3：当前类设计是否合理，是否需要调整？ #

当前设计存在明显缺陷，建议优化：

1. 重复初始化问题：目前每实例化一个Texture对象，就会调用一次prepareWeightMatrices重算权重矩阵，但静态资源全局只需要计算一次，完全浪费算力，多线程场景下还会出现竞态风险
2. 职责不清晰：构造函数承担了和实例无关的全局静态资源初始化工作，不符合单一职责原则
3. 可维护性差：静态成员的初始化顺序依赖编译顺序，容易出现类似本次的崩溃问题，后续迭代风险高

优化建议 #

• 保留静态成员共享特性的前提下，通过初始化标记或者std::call_once保证静态资源只初始化一次
• 可以把静态资源初始化逻辑和实例构造解耦，单独提供公开的静态初始化接口，由上层代码在程序启动时显式调用
• 若业务场景不需要支持多实例，也可以直接把Texture设计成单例类，进一步简化逻辑

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