c++ - 是否可以在 C++14 中创建具有可选模板参数的类型元组？

Question

我在模拟器中工作。该模拟器接收 2 种模型、行为模型和结构模型作为输入。

行为模型，是一些提供一些必需功能并需要模板参数“TIME”的任何类。

结构模型是一组模型(行为或结构)以及它们之间的交互列表。结构模型，不提供行为，因此不需要 TIME 参数。

行为模型示例:

template<typename TIME>
struct B {...};

结构模型示例:

template<typename connections, typename Ms>
struct S {
    template<typename TIME>
    using models=typename Ms::template type<TIME>;
    ...
};

这里的主要问题是“模型”。正如那里列出的那样，每个模型都有一个 TIME 模板参数，我可以根据需要获得任意数量的 B 模型。但是，我无法将 S 模型传递给它。

我对 models_tuple 的实现如下

template<template<typename TIME> class... Ms>
struct models_tuple {
    template<typename T>
    using type=std::tuple<Ms<T>...>;
};

有什么方法可以使元组同时接收带有模板参数(时间)的类和没有它的其他类？我使用 static_assert 来验证类是否满足实现功能的要求。

Answer 1

您不能混合使用模板模板参数和模板类型参数。但是您可以将前者包装成一个类型。

template<template<class> class B>
struct wrap {};

然后，添加时间，但前提是它是第一种类型的包装器:

template<class W, class>
struct maybe_apply_time { using type = W; };

template<class T, template<class> class B> 
struct maybe_apply_time<wrap<B>, T> { using type = B<T>; };

template<class... Ms>
struct models_tuple {
    template<typename T>
    using type=std::tuple<typename maybe_apply_time<Ms, T>::type...>;
};

并将其用作 models_tuple<wrap<B>, S</*...*/> /*, etc. */>.