c++ - 模板模板函数定义

Question

我有一个名为 Array 的模板类

template<typename T, int dimension>
class Array<typename T, int dimension>{

    //definition of the class

}

我想编写一个非成员函数转换，以便我可以将 Array 转换为不同的类型。例如

Array<int, 2> a;
Array<float, 2> b = cast<float>(a);

这个函数应该怎么写？我更感兴趣的是如何声明它而不是如何实现详细的转换。我试过了

template<template<typename T, int dimension> class Array, typename New_T, int dimension>
Array<typename New_T, int dimension> cast(Array<typename T, int dimension> a){

// detailed implementation of casting, which I do not care for this question.

}

但无法通过编译。

Answer 1

这里根本不需要模板模板参数。简单的 typename 和 int 参数就可以:

template <typename T, int dimension>
class Array
{
    // ...
};

template <typename NewT, typename T, int dimension>
Array<NewT, dimension> cast(const Array<T, dimension>& a)
{
    // ...
}

Live Demo

只有当你想接受不同类型的模板时，你才需要模板模板参数。例如，如果您希望 cast 能够接受 Array 或 std::array，您可以使用模板模板参数:

template<typename NewT, typename T, auto dimension, template<typename, auto> typename ArrayT>
ArrayT<NewT, dimension> cast(const ArrayT<T, dimension>& a)
{
    // ...
}

Live Demo

请注意，在这种情况下，我还将 dimension 的类型更改为 auto，因为 std::array 使用 size_t 用于其维度，而您的 Array 使用 int。