C++模板中在运行时使用条件类型

在 C++ 中，使用模板可以在编译时实现条件类型。但是，在某些情况下，我们需要在运行时使用条件类型。一种解决方法是使用 std::variant 类型，它允许定义一个值可以是多种类型之一的联合类型。以下是一个示例代码：

#include <iostream>
#include <variant>

template <typename T>
auto getType(T var) {
    using type = std::variant<int, double, std::string>;

    if constexpr (std::is_same_v<T, int>) {
        return type(var);
    } else if constexpr (std::is_same_v<T, double>) {
        return type(var);
    } else if constexpr (std::is_same_v<T, std::string>) {
        return type(var);
    }
}

int main() {
    auto i = getType(42);
    auto d = getType(3.14);
    auto s = getType("hello");

    std::cout << std::get<int>(i) << std::endl;
    std::cout << std::get<double>(d) << std::endl;
    std::cout << std::get<std::string>(s) << std::endl;

    return 0;
}

在上面的示例代码中，我们定义了一个 getType() 模板函数，它接受一个参数并返回一个 std::variant 类型。我们使用 if constexpr 语句来根据不同的类型创建不同的 variant 值。然后，在主函数中，我们可以使用 std::get<> 函数来访问 variant 值的不同类型。