如果模板参数是引用类型，如何从模板参数获取迭代器类型

Question

问题标题可能不是很清楚，但希望下面能解释我的问题。

假设我有以下（简化的）class 模板：

template <typename T, typename Container = std::vector<T>>
class MyVector {
  using iterator = typename Container::iterator;
    
  Container data{};

public:
  MyVector(initializer_list<T> l) : data(l) {}
  iterator begin() { return data.begin(); }
};

如果我创建一个 object 像MyVector<int> vec {1, 2, 3}; 它工作正常。

但是，如果我尝试创建一个 object 像MyVector<int, std::vector<int>&> vec; （注意& ），然后在iterator类型定义中我得到错误：

Type 'std::vector<int> &' cannot be used prior to '::' because it has no members

我尝试探索 std::remove_reference 并将行更改为：

using iterator = typename std::remove_reference<Container>::type::iterator;

但这也不起作用 - 我在这种情况下得到的错误是：

No type named 'iterator' in 'std::remove_reference<std::vector<int>>'

我想要实现的是有一个类型定义（用于迭代器），如果 Container 是std::vector<T>以及对std::vector<T>的引用（或使用任何 Container 类型，例如 std::array - 这意味着我不能简单地在 typedef 中使用std::vector<T>::iterator )。

有什么办法可以做到这一点？

Answer 1

std::remove_reference将在这里工作。 或者你需要它的std::remove_reference_t版本

using iterator = std::remove_reference_t<Container>::iterator;
//                             ^^^^^^^^^^^^

也就是说，如果您无权访问c++14 ，请为此提供类型别名

template< class T >
using remove_reference_t = typename remove_reference<T>::type;

---

另请注意，为了与

MyVector<int, std::vector<int>&> vec(v);
//                              ^^^^^^^^ --> not an ini-list

class MyVector必须有一个构造函数

MyVector(Container c) : data(c) {} 

std::initializer_list不适用于引用限定容器类型。

这是演示