std::optional容纳不可拷贝类型的报错问题及最优解决方案咨询

首先直接给你最优的解决办法：显式构造std::optional对象来包裹返回的std::pair，修改后的代码如下：

std::optional<std::pair<double*, std::scope_lock<std::mutex>>> getDataTogetherWithLock() { 
    if (!some_ptr) { 
        return std::nullopt; 
    } 
    // 方法1：用std::make_optional显式构造
    return std::make_optional(some_ptr->getDataTogetherWithLock());
    // 或者方法2：直接用optional的列表构造
    // return std::optional{some_ptr->getDataTogetherWithLock()};
}

问题根源解释 #

你遇到的报错本质是因为std::scope_lock<std::mutex>是仅可移动、不可拷贝的类型——它的设计就是用来管理锁的生命周期，不能被复制（否则会导致同一锁被多个scope_lock同时持有，违反锁的核心语义）。而包含它的std::pair<double*, std::scope_lock<std::mutex>>也会继承这个特性，变成仅可移动的类型。

在C++17及以后，std::optional是支持容纳移动-only类型的，但编译器无法隐式地将一个移动-only的T转换为std::optional<T>——因为隐式转换过程中，编译器会规避可能的意外资源转移操作。而显式构造std::optional则明确告诉编译器：我们要把这个临时返回对象移动到optional内部，这样就能正确触发移动构造逻辑，完成类型转换。

额外注意事项 #

• 确保你的项目使用C17或更高版本：std::optional是C17引入的，对移动-only类型的完善支持也是从这个版本开始的。
• 确认some_ptr->getDataTogetherWithLock()确实按值返回std::pair<double*, std::scope_lock<std::mutex>>，这样移动操作才是合法有效的。

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