C++中std::unique_ptr隐式删除拷贝构造函数调用错误排查
你遇到的错误核心在于:无法从const引用的std::unique_ptr转移所有权。
在SliceFeatureSetsByCriterion函数中,feature_set是const std::unique_ptr<FeatureSet>&类型——const限定意味着你不能修改这个unique_ptr(包括转移它的所有权)。当你调用std::move(feature_set)时,得到的是一个const std::unique_ptr<FeatureSet>&&(const右值引用),而std::unique_ptr的移动构造函数只接受非const的右值引用。编译器找不到合适的移动构造函数,就会尝试调用被显式删除的拷贝构造函数,从而触发报错。
根据你的业务需求,选择以下一种方案:
方案1:允许转移输入vector的所有权
如果你不需要保留原feature_sets的所有权(即调用SliceFeatureSetsByCriterion后原vector可以被清空),可以修改函数参数为右值引用,允许所有权转移:
// 修改函数参数为右值引用 std::unordered_map<std::string, std::vector<std::unique_ptr<FeatureSet>>> SliceFeatureSetsByCriterion(std::vector<std::unique_ptr<FeatureSet>>&& feature_sets) { std::unordered_map<std::string, std::vector<std::unique_ptr<FeatureSet>>> feature_sets_by_criterion; std::unordered_map<std::string, int> feature_set_count_by_criterion; // 统计逻辑不变 for (const auto& feature_set : feature_sets) { if (some_condition) { ++feature_set_count_by_criterion["criterion_1"]; } else { ++feature_set_count_by_criterion["criterion_2"]; } } for (const auto& [criterion, feature_set_size] : feature_set_count_by_criterion) { feature_sets_by_criterion[criterion].reserve(feature_set_size); } // 这里的feature_set是non-const引用,可以正常move for (auto& feature_set : feature_sets) { feature_sets_by_criterion[GetCriterion(feature_set)].push_back( std::move(feature_set)); } return feature_sets_by_criterion; }
调用时通过std::move传递参数:
std::vector<SomeResult> GetInferenceResults( std::vector<std::unique_ptr<FeatureSet>>&& feature_sets) const { auto feature_sets_by_criterion = SliceFeatureSetsByCriterion(std::move(feature_sets)); std::vector<SomeResult> results = SomeFunction(feature_sets_by_criterion); return results; }
方案2:不转移所有权,仅保存对象指针
如果需要保留原feature_sets的所有权,只是需要在map中访问FeatureSet对象,那么map中应该存储原始指针而非unique_ptr:
// 修改返回值和内部map的类型 std::unordered_map<std::string, std::vector<const FeatureSet*>> SliceFeatureSetsByCriterion( const std::vector<std::unique_ptr<FeatureSet>>& feature_sets) { std::unordered_map<std::string, std::vector<const FeatureSet*>> feature_sets_by_criterion; std::unordered_map<std::string, int> feature_set_count_by_criterion; // 统计逻辑不变 for (const auto& feature_set : feature_sets) { if (some_condition) { ++feature_set_count_by_criterion["criterion_1"]; } else { ++feature_set_count_by_criterion["criterion_2"]; } } for (const auto& [criterion, feature_set_size] : feature_set_count_by_criterion) { feature_sets_by_criterion[criterion].reserve(feature_set_size); } // 保存原始指针,不转移所有权 for (const auto& feature_set : feature_sets) { feature_sets_by_criterion[GetCriterion(feature_set)].push_back( feature_set.get()); } return feature_sets_by_criterion; }
注意:使用这种方案时,必须保证原feature_sets的生命周期长于返回的map,否则会出现悬空指针。
方案3:改用共享所有权的std::shared_ptr
如果需要多个地方共享FeatureSet的所有权,可以将unique_ptr替换为std::shared_ptr。shared_ptr支持拷贝,因此可以直接从const引用中拷贝:
// 替换所有unique_ptr为shared_ptr std::vector<SomeResult> GetInferenceResults( const std::vector<std::shared_ptr<FeatureSet>>& feature_sets) const { std::unordered_map<std::string, std::vector<std::shared_ptr<FeatureSet>>> feature_sets_by_criterion = SliceFeatureSetsByCriterion(feature_sets); std::vector<SomeResult> results = SomeFunction(feature_sets_by_criterion); return results; } std::unordered_map<std::string, std::vector<std::shared_ptr<FeatureSet>>> SliceFeatureSetsByCriterion( const std::vector<std::shared_ptr<FeatureSet>>& feature_sets) { std::unordered_map<std::string, std::vector<std::shared_ptr<FeatureSet>>> feature_sets_by_criterion; std::unordered_map<std::string, int> feature_set_count_by_criterion; for (const auto& feature_set : feature_sets) { if (some_condition) { ++feature_set_count_by_criterion["criterion_1"]; } else { ++feature_set_count_by_criterion["criterion_2"]; } } for (const auto& [criterion, feature_set_size] : feature_set_count_by_criterion) { feature_sets_by_criterion[criterion].reserve(feature_set_size); } // 直接拷贝shared_ptr,无需move for (const auto& feature_set : feature_sets) { feature_sets_by_criterion[GetCriterion(feature_set)].push_back(feature_set); } return feature_sets_by_criterion; }
内容的提问来源于stack exchange,提问作者jjwest

