模板参数无效(唯一指针)

Template arguments are invalid (unique pointer)

本文关键字:唯一 指针 无效 参数      更新时间:2023-10-16

我正在尝试动态调整大小的n维数组类。我的模板类的签名是ndarray<typename data_type, int dimensions>。为了保存数组,我想使用一个唯一的指针类成员来保存类型为std::vector<type_t> (1D), std::vector<std::vector<type_t>> (2D), std::vector<std::vector<std::vector<type_t>>> (3d)等的模板向量…

唯一指针将根据维数的不同具有不同的签名。我想让narray的类构造函数设置唯一指针的签名,并使用new来创建新向量,但我需要将auto成员变量设置为不工作的成员变量类型的向量。我目前的方法是使用一个模板化函数,它返回数组需要的类型的对象,template<typename data_type> auto dimension_helper(int dimensions),然后设置像std::unique_ptr<decltype(<data_type>dimension_helper(dimens))> array这样的唯一指针签名。这也不起作用,给我错误模板参数1无效,模板参数2在唯一指针内无效。

我能做些什么来使我现有的代码工作,或者是否有更好的方法以类似的方式处理问题?

代码示例

#ifndef ND_H_
#define ND_H_
#include <cstring>
#include <vector>
#include <memory>

namespace NdArray{
    //use the following for dimension types 
    template<typename T>
    using d1 = std::vector<T>;
    template<typename T>
    using d2 = std::vector<d1<T>>;
    template<typename T>
    using d3 = std::vector<d2<T>>;
    template<typename T>
    using d4 = std::vector<d3<T>>;
    template<typename T>
    using d5 = std::vector<d4<T>>;
    template<typename data_type>
    auto dimension_helper(int dim);

    template<typename data_type,int dimensions>
    class ndarray{
            int dims;
            std::unique_ptr<std::vector<int>> xsub_spans;
        public:
            ndarray();
            ~ndarray();
            std::unique_ptr<decltype(<data_type>dimension_helper(dimensions))> array;
            template<typename dat_type, int dim>
            friend std::ostream& operator<<(std::ostream& , ndarray<dat_type, dim>&);
    };
}

#endif

到目前为止的定义

#include "nd.h" 
using namespace NdArray;
template<typename data_type, int dimensions>
ndarray<data_type, dimensions>::ndarray(){
    dims = dimensions;
    array = new <data_type>dimension_helper(dimensions); 
}
template<typename data_type>
auto dimension_helper(){
    switch (dims) {
        case 1 : {
            d1<data_type> type;
            return type;
            break;
        }
        case 2 : {
            d2<data_type> type;
            return type;
            break;
        }
        case 3 : {
            d3<data_type> type;
            return type;
            break;
        }
        case 4 : {
            d4<data_type> type;
            return type;
            break;
        }
        case 5 : {
            d5<data_type> type;
            return type;
            break;
        }
    }
}

模板的参数列表在模板名之后,所以:

dimension_helper<data_type>(dimensions)
不是

<data_type>dimension_helper(dimensions)

但是,您的"维度助手"没有机会工作,因为switch语句是运行时分支,并且由于返回语句中的表达式类型不相等而无法编译。相反,您可以这样重写它:

template <typename T>
struct identity { using type = T; };    
template <typename T, std::size_t D>
struct dimension_helper : identity<std::vector<typename dimension_helper<T, D-1>::type>> {};
template <typename T>
struct dimension_helper<T, 0> : identity<T> {};
template <typename T, std::size_t D>
using dimension_helper_t = typename dimension_helper<T, D>::type;

并声明指针为:

std::unique_ptr<dimension_helper_t<data_type, dimensions>> array;