提升变体复制语义

boost variant copy semantics

本文关键字：复制 语义      更新时间：2023-10-16

我想知道boost变体的复制语义是什么。我已经检查了源代码，这对我来说有点莫名其妙，所以我想知道，在示例代码中，我的 getVal(name) 函数在返回时是否复制了底层向量？如果是这样，我应该将其更改为返回的引用 （&） 吗？

using Val = boost::variant<std::vector<int>, std::vector<std::string>>;
Val getVal(std::string& name) {
 return map[name];// where map is std::map<std::string, Val>
}

是的，您的getVal返回整个向量的副本（包括所有元素字符串的副本，例如）。

是的，返回引用可以解决此问题。

请注意，您还可以使用存储引用的变体。在这种情况下，通过"value"返回它仍然具有与返回引用相同的语义：

using Ref = variant<std::vector<int>&, std::vector<std::string>&>;
Ref getVal(std::string& name) {
   return map[name]; // where map is std::map<std::string, Val>
}

具有从Ref转换为Val的必要机制的完整示例（反之亦然）：

住在科里鲁

#include <boost/variant.hpp>
#include <map>
#include <vector>
#include <string>

using Val = boost::variant<std::vector<int>, std::vector<std::string>>;
using Ref = boost::variant<std::vector<int>&, std::vector<std::string>& >;
std::map<std::string, Val> map {
    { "first", std::vector<int> { 1,2,3,4 } },
    { "2nd",   std::vector<std::string> { "five", "six", "seven", "eight" } }
};
namespace { // detail
    template <typename T>
    struct implicit_convert : boost::static_visitor<T> {
        template <typename U> T operator()(U&& u) const { return std::forward<U>(u); }
    };
}
Ref getVal(std::string& name) {
    return boost::apply_visitor(implicit_convert<Ref>(), map[name]);
}
#include <iostream>
int main() {
    for (auto i : boost::get<std::vector<int>         >(map["first"])) std::cout << i << " ";
    for (auto i : boost::get<std::vector<std::string> >(map["2nd"]))   std::cout << i << " ";
}

输出：

1 2 3 4 five six seven eight

无需复制任何向量

相关文章：