C++中如何根据指定类型字符串声明对应类型变量？

你原来的函数行不通，核心原因是C是静态类型语言，函数的返回类型在编译阶段就必须确定，不能根据运行时的条件返回不同类型的值——你的函数里一个分支返回int，另一个返回std::string，这在C里是不允许的。

下面是两种可行的解决方案，优先推荐第一种：

方案1：使用C++17的std::variant（类型安全，推荐） #

std::variant是标准库提供的类型安全联合体，它可以存储多种预设类型的值，并且会自动管理内存和类型信息，比原生union更安全易用。

实现代码 #

#include <variant>
#include <string>
#include <stdexcept>

std::variant<int, std::string> varx(std::string a, std::string b) {
    if (b == "int") {
        return std::stoi(a);
    } else if (b == "string") {
        return a;
    }
    throw std::invalid_argument("b只能取\"int\"或\"string\"");
}

使用方式 #

要获取variant中存储的值，有两种常用方式：

• 直接获取（需确保类型匹配）：用std::get指定类型获取，若存储的类型不匹配会抛出异常

auto var0 = varx("43", "int");
int val = std::get<int>(var0); // 成功得到int类型的43

• 安全遍历所有类型：用std::visit传入一个泛型lambda，自动匹配当前存储的类型并执行对应逻辑

auto var0 = varx("hello", "string");
std::visit([](auto&& arg) {
    using T = std::decay_t<decltype(arg)>;
    if constexpr (std::is_same_v<T, int>) {
        // 这里处理int类型的逻辑，比如打印：
        std::cout << "这是int类型：" << arg << std::endl;
    } else if constexpr (std::is_same_v<T, std::string>) {
        // 这里处理string类型的逻辑：
        std::cout << "这是string类型：" << arg << std::endl;
    }
}, var0);

方案2：使用原生union（需手动管理，不推荐） #

如果你的环境无法使用C++17，也可以用原生union，但union本身不会记录当前存储的类型，需要自己额外维护类型标记，且对于非POD类型（比如std::string）需要手动处理构造和析构，容易出错。

实现代码 #

#include <string>
#include <stdexcept>
#include <iostream>

// 自定义带类型标记的联合体
struct Var {
    enum Type { INT, STRING } type;
    union {
        int i;
        std::string s;
    };

    // 针对int的构造函数
    Var(int val) : type(INT), i(val) {}
    // 针对string的构造函数（手动调用string的构造）
    Var(const std::string& val) : type(STRING) {
        new (&s) std::string(val);
    }

    // 析构函数：手动调用对应类型的析构
    ~Var() {
        if (type == STRING) {
            s.~basic_string();
        }
    }

    // 禁用拷贝（若需要拷贝需自行实现复杂的类型判断逻辑）
    Var(const Var&) = delete;
    Var& operator=(const Var&) = delete;
};

Var varx(std::string a, std::string b) {
    if (b == "int") {
        return Var(std::stoi(a));
    } else if (b == "string") {
        return Var(a);
    }
    throw std::invalid_argument("b只能取\"int\"或\"string\"");
}

使用方式 #

使用时需要先检查类型标记，再访问对应成员：

auto var0 = varx("43", "int");
if (var0.type == Var::INT) {
    std::cout << "获取到int值：" << var0.i << std::endl;
}

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