我有一个 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> .
最佳答案
在 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) .
关于C++ - 为 std::array 迭代器的 std::array 创建别名，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/39800900/