C++ - 为 std::array 迭代器的 std::array 创建别名

Question

我有一个 std::array<Point, SIZE>::iterator 类型的迭代器数组, 其中SIZE是一个模板变量。

所以拥有这些迭代器的数组就是

std::array<std::array<Point, SIZE>::iterator, SIZE> 

用我拥有的函数数量写起来很痛苦。

我正在考虑为这种类型起别名，但我不知道怎么做，同时有模板变量 SIZE .

我试过了

template<std::size_t SIZE>
using p_iterators = std::array<std::array<Point, SIZE>::iterator, SIZE>;

在我做的函数里面:

template<std::size_t SIZE>
template <typename T>
p_iterators<SIZE> eucledian_closest(T &points) {}

我遇到了这些错误:

closest_pair.cpp:24:70: error: type/value mismatch at argument 1 in template parameter list for ‘template<class _Tp, long unsigned int _Nm> struct std::array’
 using p_iterator = std::array<std::array<Point, SIZE>::iterator, SIZE>;
                                                                      ^
closest_pair.cpp:24:70: error:   expected a type, got ‘std::array<Point, SIZE>::iterator’
closest_pair.cpp:42:1: error: ‘p_iterator’ does not name a type
 p_iterator<SIZE> eucledian_closest(T &points) {

我不知道如何为这样的类型起别名，甚至不知道如何在函数中有另一个模板时将它与该模板一起使用 template <typename T> .

Answer 1

在 C++ 中，dependent模板类型名称需要关键字 typename .

你应该改变你的别名

template<std::size_t SIZE>
using p_iterators = std::array<std::array<Point, SIZE>::iterator, SIZE>;

到

template<std::size_t SIZE>
using p_iterators = std::array<typename std::array<Point, SIZE>::iterator, SIZE>;

---

然后将模板函数签名更改为:

template<std::size_t SIZE, typename T>
p_iterators<SIZE> eucledian_closest(T &points) {}

在上面的例子中，当调用函数时，eucledian_closest ，您至少需要明确提供 SIZE参数如 eucledian_closest<3>(myArry) .如果不这样做，类型推导将无法推导出 SIZE。 ，加上不利的一面是你应该有匹配的尺寸。如果你希望类型推导隐式推导它 SIZE给你:

你可以这样做:

template<template <typename, std::size_t> class Array,
                                          typename T,
                                          std::size_t SIZE
        >
p_iterators<SIZE> eucledian_closest(Array<T, SIZE>& points) {}

通过以上，你可以做到eucledian_closest(myArray) .但是，如果您不需要使用 SIZE在函数中，你可以简单地做

template<typename T>
auto eucledian_closest(T& points) {}

简单地称它为eucledian_closest(myArray) .