使用模板元编程 (TMP) 制作同构可存储的模板化配置

Question

很抱歉这个残暴的标题。

场景是我的程序中有一个配置系统，它需要能够保存所有类型的值。这些值（配置）需要保存在同质容器中。

例如：（这是伪代码，我不确定它的实际外观）

configurant i(64);
configurant b(true);
configurant f(128.f);
configurant custom(Color(255, 255, 255));

vector<configurant> confs;
confs.emplace_back(i);
confs.emplace_back(b);
confs.emplace_back(f);
confs.emplace_back(custom);

// some form of accessing the vector with proper configurant type here:
// casting?

就像我说的，我不知道这个系统在实践中会是什么样子。我知道这样的声明

auto color = confs.at(3).rgb();

在 C++ 中通常是不可能的，但是我可以用模板化元编程做些什么来尝试尽可能接近这个解决方案吗？ （也许配置器可以映射到它们的类型？但这不会是编译时操作）

我希望创建一个可同质存储、立即访问（不存储在堆上）并在编译时评估操作有效性的系统。

欢迎任何建议。

在 cmets 进来之前，我已经尝试过 std::any/std::any_cast、std::variant、访问者模式和其他类似性质的东西。我不想使用任何这些系统。

编辑 为避免混淆，有 N 个配置器：它不是一组静态大小的配置器。此界面的用户将添加更多配置项。

编辑 2 所需用法的其他示例

class foo {
configurant enabled;
configurant bar;
public:
    foo() {
        this->enabled = configurant(true);
        this->bar = configurant(5);
    }

    void body() {
        if(this->enabled) {
            std::cout << (this->bar < 100) << "\n";
        }
    }

    // It also needs to be kept in mind that these configurant classes
    // cannot be templated (directly, at least), since they need to be stored in 
    // a homogeneous container.
};

Answer 1

因为这个要求 "在编译时评估操作的有效性。", 这意味着您的示例 auto color = confs.at(3).rgb(); 仅适用于编译时已知的 index 3 （为什么不2 或4？）。
这个索引在这种情况下不是很相关/有用。

如果您只考虑一个结构提供 具有正确名称而不是 编译时索引？

struct Confs
{
  configurant<int> i;
  configurant<bool> b;
  configurant<float> f;
  configurant<Color> custom;
};

...
Confs confs{64, true, 128.f, Color(255, 255, 255)};
auto color = confs.custom.rgb();

这样的事情可能依赖于编译时索引 但我并没有真正看到指定成员的好处。

auto confs=std::make_tuple(64, true, 128.0f, Color{255, 255, 255});
auto color = std::get<3>(confs).rgb();