结构化模板参数

Question

建立在这个答案之上：

https://stackoverflow.com/a/3319851/13250135

我想将我的模板参数结构化为方案，因为在同一应用程序的不同上下文中使用相同的类。

// adapted from https://stackoverflow.com/a/3319851
template<typename _string, typename _real>
struct scheme{
    public:
    using string = _string;
    using real = _real;
};

using scheme1 = scheme<std::string_view, double>;
using scheme2 = scheme<std::string, float>;

template<class scheme>
class Test {
    scheme::string text;
    scheme::real value;
    std::array<int, 10> array{};
};

Test<scheme1> test1{};
Test<scheme2> test2{};

到目前为止一切顺利。但现在我需要一种本身就是参数的类型。例如，我想用潜在的替代方案对std::array<T> 进行同样的参数化。

编辑：添加更多信息。

我想实现这样的目标：

template<typename _string, typename _real, typename _collection>
struct scheme{
    public:
    using string = _string;
    using real = _real;
    using collection = _collection;
};

using scheme1 = scheme<std::string_view, double, std::array>;
using scheme2 = scheme<std::string, float, myNamespace::myArray>;

template<class scheme>
class Test {
    scheme::string text;
    scheme::real value;
    scheme::collection<int, 10> array{};
};

但这当然行不通，因为没有参数的std::array 不是有效的类型名。但是我需要能够仅在模板实例化的地方提供这些最终参数，例如在Test 类中。

我为什么想要这样的东西？

有些类既可用于constexpr 方案（显然是所有 const 数据），也可用于各种非 const 方案。例如，我可以将std::string_view 用于constexpr 方案，将std::string 用于非常量方案。

另一个示例可能是提供与在特定于版本的二进制数据方案中持久保存的数据的兼容性（将数据从 32 位迁移到 64 位，代码页到 Unicode 等）。较新版本的应用程序需要实现所有方案才能在升级后读取旧数据。

谢谢， 标记

Answer 1

您需要将_collection 设为模板模板参数。

template<typename _string, typename _real, template<typename, size_t> typename _collection>
struct scheme{
    public:
    using string = _string;
    using real = _real;
    // This is now a template type alias, i.e. "variable inside the scheme"
    template<typename T, size_t N>
    using collection = _collection<T, N>;
};

您的 Test 类如下所示：

template<class scheme>
class Test {
    scheme::string text;
    scheme::real value;
    // As collection is no longer a type, the additional template disambiguator is needed here...
    scheme::template collection<int, 10> array{};
};

请注意，此解决方案仅适用于与std::array 具有相同“签名”的模板，即一个类型参数后跟一个整数非类型参数。 std::vector 例如不起作用。 因此，根据myNamespace::myArray 的实际类型，此解决方案可能不适用于您的问题。

编辑：我意识到您在问题中添加了 c++20 标签。在这种情况下，您可以省略 Test 类中的三个 typenames。 直播代码here.