如何在C++中初始化指向std::variant的指针或unique_ptr

我正在处理从二进制文件加载大数据表列的需求，每列是几种预定义类型的std::vector之一，因此用std::variant定义列类型（示例仅用两种，实际有6-7种）：

using column_t = std::variant<
    std::vector<std::uint32_t>,
    std::vector<double>>;

需要实现一个加载单列的函数，为避免拷贝vector，希望用std::unique_ptr把列存放在堆上。但尝试实现时编译器报错，无法将vector指针赋值给variant指针变量，示例代码如下：

#include <cstdint>
#include <iostream>
#include <memory>
#include <string>
#include <variant>
#include <vector>

using column_t = std::variant<
    std::vector<std::uint32_t>,
    std::vector<double>>;

std::unique_ptr<column_t> load(const std::string& file_name) {
    column_t* result;
    // 实际中列类型由文件内容编码决定，这里用文件名长度取模模拟
    switch (file_name.size() % 2) {
        case 0:
            result = new std::vector<std::uint32_t>();
            (std::get<std::vector<std::uint32_t>>(*result)).push_back(5);
            break;
        default: // 1
            result = new std::vector<double>();
            (std::get<std::vector<double>>(*result)).push_back(3.14);
    }
    return std::unique_ptr<column_t>(result);
}

inline std::size_t get_length(const column_t& v) {
    switch (v.index()) {
        case 0:
            return std::get<0>(v).size();
        default: // 1
            return std::get<1>(v).size();
    }
}

int main()
{
    std::unique_ptr<column_t> values = load("myfile");
    std::cout << "Loaded a vector of length "
              << get_length(*values.get()) << std::endl;
    return 0;
}

我知道可以直接返回column_t对象，但下游分析用智能指针更直观。请问如何正确构造对象，才能将指针或std::unique_ptr实例赋值给result变量？

错误原因 #

代码核心问题是类型不兼容：std::vector<uint32_t>/std::vector<double>和column_t是完全不同的类型，column_t是包含这些vector的std::variant，不能直接把vector的指针强制转换成column_t*，编译器无法完成这种隐式转换。

修正方法 #

需要构造**column_t类型的对象**，把对应的vector作为variant的存储值，再将该对象的指针赋值给result。推荐使用std::make_unique直接创建智能指针，避免裸指针操作，更安全高效。

修正后的load函数如下：

std::unique_ptr<column_t> load(const std::string& file_name) {
    std::unique_ptr<column_t> result;
    switch (file_name.size() % 2) {
        case 0:
            // 构造包含uint32_t vector的column_t
            result = std::make_unique<column_t>(std::vector<std::uint32_t>());
            // 获取variant中的vector并添加元素
            std::get<std::vector<std::uint32_t>>(*result).push_back(5);
            break;
        default:
            // 构造包含double vector的column_t
            result = std::make_unique<column_t>(std::vector<double>());
            std::get<std::vector<double>>(*result).push_back(3.14);
            break;
    }
    return result;
}

更高效的写法（避免vector临时拷贝） #

如果想进一步避免vector的临时对象拷贝，可以直接在variant中emplace构造vector：

std::unique_ptr<column_t> load(const std::string& file_name) {
    auto result = std::make_unique<column_t>();
    switch (file_name.size() % 2) {
        case 0:
            // 直接在variant中emplace构造vector并添加元素
            std::get<std::vector<std::uint32_t>>(*result).emplace_back(5);
            break;
        default:
            std::get<std::vector<double>>(*result).emplace_back(3.14);
            break;
    }
    return result;
}

这种方式下，variant会默认构造对应的空vector，然后直接在内部emplace元素，完全避免拷贝操作。

关键点总结 #

• column_t是std::variant类型，必须构造该类型的对象，不能直接用其内部存储的vector类型指针替代。
• 使用std::make_unique替代裸new，符合现代C++安全规范，无需手动管理内存。
• 访问variant内部的vector时，确保std::get的类型或索引与当前variant存储的类型匹配，否则会抛出std::bad_variant_access异常（实际代码建议添加错误处理）。

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