如何用std::variant实现支持运行时动态切换类型的C++类？

你想要实现的类核心需求如下：

• 在std::variant中存储值，支持可配置的类型选项（目标类型为double和float）
• 通过setType<T>()方法在运行时动态切换当前活动类型
• 重载函数调用运算符，将输入值转换为当前活动类型

你的现有实现已经走对了方向，但存在一些可以优化的点，比如类型检查时机、错误处理方式，以及冗余类型的保留。下面是改进后的实现方案：

#include <variant>
#include <iostream>
#include <type_traits>
#include <stdexcept>
#include <string>

class TypeConverter {
public:
    // 默认初始化活动类型为float
    TypeConverter() : value(float{}) {}

    // 重载函数调用运算符，将输入转换为当前活动类型
    template <typename T>
    auto operator()(T&& input) const {
        return std::visit([&input](const auto& active_val) {
            using ActiveType = std::decay_t<decltype(active_val)>;
            
            // 编译期检查转换可能性，避免运行时冗余判断
            if constexpr (std::is_convertible_v<std::decay_t<T>, ActiveType>) {
                return static_cast<ActiveType>(std::forward<T>(input));
            } else {
                throw std::invalid_argument(
                    "无法将输入类型转换为当前活动类型: " + std::string(typeid(ActiveType).name())
                );
            }
        }, value);
    }

    // 切换当前活动类型
    template <typename T>
    void setType() {
        // 确保T是variant支持的合法类型
        static_assert(
            std::disjunction_v<std::is_same<T, float>, std::is_same<T, double>>,
            "仅支持float和double类型"
        );
        value = T{};
    }

private:
    // 仅保留需求的float和double类型，精简存储
    std::variant<float, double> value;
};

示例用法 #

int main() {
    try {
        TypeConverter converter;

        converter.setType<double>();
        std::cout << converter(3.14f) << "\n";  // 输出3.14（float转换为double）

        converter.setType<float>();
        std::cout << converter(123.456) << "\n"; // 输出123.456（double转换为float）

        // 尝试转换不兼容类型，会抛出异常
        converter("69");
    } catch (const std::exception& e) {
        std::cerr << "错误: " << e.what() << "\n";
    }
    return 0;
}

优化说明 #

1. 编译期类型检查：用if constexpr替代运行时的std::is_convertible_v判断，减少运行时开销，同时在编译期就能拦截部分不合法的转换操作。
2. 类型约束：在setType<T>()中添加static_assert，强制限制只能切换到预先定义的合法类型，避免误用。
3. 标准异常处理：用std::invalid_argument替代std::cerr直接输出，更符合C++错误处理规范，方便调用方捕获和处理错误。
4. 精简存储：移除了不需要的int类型，只保留需求的float和double，缩小std::variant的存储开销。
5. 完美转发：在函数调用运算符中使用std::forward处理输入参数，避免不必要的拷贝操作。

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