作为模板参数的值列表（任何类型）

Question

我的类有一个静态 constexpr 成员函数 get，我需要它返回一个指向从模板参数生成的任意结构的第一个元素（声明为 char key;）的指针。

这就是我所拥有的：

template <char id, typename DataType, int... args>
struct MyStruct {
    static constexpr DataType member { id, args... };

    static constexpr void *get() {
        return(&member.key);
    }
};

只要 DataType 的所有成员（在第一个成员之后）都是 int 类型，这就会起作用，但是如果它们是 int 和 void * 的混合呢？我应该如何更改模板以允许这样做？

这是用于语言之间的外来函数接口，因此另一端检查密钥，并据此知道内存中跟随它的结构类型。

Answer 1

您不能发送任何类型的任何值作为模板参数。您不能发送结构值或浮点值或字符串文字。我提出了一个我认为可以取代任何需求的解决方案。

选项 1

只需定义一个带有返回对象的静态函数的结构。

struct Initializer {
    constexpr static SomeType initialize(char id) {
        return SomeType{id, 1.2, "blerg"};
    }
};

然后，将初始化器作为模板参数发送：

template <char id, typename Init> struct MyStruct {
    using DataType = decltype(Init::initialize(id));

    static constexpr DataType member = Init::initialize(id);     
    static constexpr void *get() {
        return(&member.key);
    }
};

选项 2

您可以将初始化函数放在打算为Datatype 的结构中，这样您就可以这样做：

DataType = DataType::initialize(id);

选项 3

在结构初始化器中，您也可以使用DataType 结构所需的所有额外参数创建一个元组。这将是您想要编写的代码中最接近的解决方案。初始化结构将如下所示：

struct Initializer {
    constexpr static std::tuple<float, const char*> args{1.5, "patate"};
    using args_t = decltype(args);
};

那你必须用整数序列解包：

template<char, typename, typename, typename> struct Base;

template<char id, typename DataType, typename Init, std::size_t... S>
struct Base<char, DataType, Init, std::index_sequence<S...>> {
    constexpr static DataType member{id, std::get<S>(Init::args)...};
};

您现在可以使用MyStruct 扩展Base：

template <char id, typename DataType, typename Init> 
struct MyStruct : Base<id, DataType, Init,
    std::make_index_sequence<std::tuple_size<typename Init::args_t>::value>
> {
    static constexpr void *get() {
        return(&member.key);
    }
};

这些是一堆有用的解决方案。我敢肯定还有其他人。