含std::optional成员导致OpenCV C++临时右值类引用失效？

核心原因 #

cv::InputOutputArray本质是const _InputOutputArray&的别名，属于引用语义类型——它本身不存储图像数据，仅通过指针和标志位封装对外部cv::Mat等数组对象的引用。当你把它作为类成员长期持有，依赖的是外部图像对象的生命周期始终长于当前类对象。

添加std::optional<int>后出现问题的关键在于：

• 无std::optional时，编译器生成的默认构造/移动/复制逻辑恰好能维持InputOutputArray引用的有效性（比如auto&&绑定临时类对象时，临时对象的生命周期被正确延长）。
• 加入std::optional后，编译器合成的移动构造函数会对cv::InputOutputArray执行移动操作，但_InputOutputArray的移动实现会将内部指针置空，或者改变了编译器对临时对象生命周期的优化策略，导致析构时InputOutputArray指向的原图像对象已经被销毁，所以_img.empty()返回true。

解决方案 #

1. 替换cv::InputOutputArray成员为cv::Mat #

既然需要在析构时处理图像，直接持有cv::Mat对象（或cv::Mat&引用）才是正确的做法：

class MyClass2 {
private:
    cv::Mat& _img; // 若需要修改原图像用引用；若可独立处理则改用值存储cv::Mat _img;
    std::optional<int> _radius_opt;
public:
    // 构造时直接接收cv::Mat引用
    MyClass2(cv::Mat& img, std::optional<int> radius = std::nullopt)
        : _img(img), _radius_opt(radius) {}
    
    ~MyClass2() {
        if (!_img.empty()) {
            // 执行绘图操作
            if (_radius_opt.has_value()) {
                cv::circle(_img, cv::Point(50,50), *_radius_opt, cv::Scalar(0,255,0), 2);
            }
        }
    }
};

这样从根源上避免了引用失效的问题，因为cv::Mat是值语义（内部用引用计数管理数据），即使类对象是临时的，只要原cv::Mat还存在，就能正常处理。

2. 手动实现类的复制/移动构造函数 #

如果必须保留cv::InputOutputArray成员，需要手动控制其生命周期，避免移动时失效：

class MyClass2 {
private:
    cv::InputOutputArray _img;
    std::optional<int> _radius_opt;
public:
    MyClass2(cv::InputOutputArray img, std::optional<int> radius = std::nullopt)
        : _img(img), _radius_opt(radius) {}
    
    // 禁用移动构造，避免引用失效
    MyClass2(MyClass2&&) = delete;
    MyClass2& operator=(MyClass2&&) = delete;
    
    // 手动实现复制构造
    MyClass2(const MyClass2& other)
        : _img(other._img), _radius_opt(other._radius_opt) {}
    
    ~MyClass2() {
        if (!_img.empty()) {
            // 执行绘图操作
        }
    }
};

通过禁用移动构造，避免编译器合成的移动逻辑破坏InputOutputArray的引用关系。

3. 避免auto&&绑定临时类对象的场景 #

直接创建具名类对象，确保类对象和它引用的图像对象生命周期完全一致：

cv::Mat img = cv::Mat::zeros(100,100,CV_8UC3);
// 直接创建具名对象，而非临时对象绑定auto&&
MyClass2 obj(img, 10);

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