有没有办法将编译时间常量存储在类实例中？

Question

我试图看看我是否可以创建一个在其生命周期中只能包含几种类型之一的异构类型（两种模式），我想这样做：

//strong typed (heterogeneous) container
template<typename list>
struct STC
{
    template<typename a>
    STC(const a& value) :hc_(value), index_(TMP::elem_index<a, list>::value) {}

    template<typename a>
    STC(a&& value) : hc_(value), index_(TMP::elem_index<a, list>::value) {}

    //imaginary compile time const
    constexpr size_t index()const { return index_; }

    typename TMP::index<list,index()>::type get() { return c_.get<index()>(); } 

    operator typename TMP::index<list,index()>::type ()const { return get(); }

private:
    union_magic<list> c_;
    const size_t index_;
};

其中 typename list 是模板元类型列表，TMP::elem_index 是用于检索列表元素索引的模板元函数，TMP::index 是用于检索具有已知索引的元素的元函数。

在我看来，没有办法跨越类数据成员和编译时间常数之间的界限。我错过了什么吗？这是错误的方法吗？或者这只是c++中不可能做到的事情，必须在运行时解决？

至于容器如何使用：

    void call_with(char c)
    {
        std::cout << "calling function with char type: " << c << std::endl;
    }

    void call_with(int i)
    {
        std::cout << "calling function with int type: " << i<< std::endl;
    }

    int main()
    {        
    STC<Cons<int, Cons<char, Nil>>> value(1);
    call_with(value);
    }

应该显示“调用 int 类型的函数：1”。

Answer 1

以下两个答案的组合是否有助于获得您想要的东西？

building and accessing a list of types at compile time

How can I get the index of a type in a variadic class template?

顺便说一句，将编译时元类型存储在index_ 中没有用处，它已分配并且只能在运行时使用。您可能会将其定义为 static constexpr size_t kIndex。