基于 lval/rval 的部分模板特化？

Question

我正在编写一个适配器类来允许我这样写：

for (auto item : ButFirst(myvec)) { ... }

当参数为 lval 时，以下类定义效果很好：

template <typename Container>
class ButFirst {
  const Container& container_;
public:
 ButFirst(const Container& container) : container_(container) {}
  typename Container::const_iterator begin() { return ++(container_.begin()); }
  typename Container::const_iterator end() { return container_.end(); }
};

但是，当参数是 rval 时，我也想使用它，如：

for (auto item : ButFirst(get_vec(3)) { ... }

因此，我将编写以下类定义：

template <typename Container>
class ButFirst {
   const Container container_;

public:
  ButFirst(Container&& container) : container_(std::move(container)) {}
...
};

如何编写一个同时处理两者的类定义？或者可能是一个类和一些部分模板专业化？

Answer 1

template <typename Container>
class ButFirst {
  Container container_;
public:
  ButFirst(Container container) : container_(std::forward<Container>(container)) {}
  typename std::decay_t<Container>::const_iterator begin() { return std::next(container_.begin()); }
  typename std::decay_t<Container>::const_iterator end() { return container_.end(); }
};

然后添加扣除指南：

template <typename Container>
ButFirst(Container&&)->ButFirst<Container>;

还有……噗。

尽管看起来这仅在右值上复制。

ButFirst 推导指南中的转发引用在您使用左值构造 Container 时将其推导出为引用类型，在您传递右值时将 Container 推导出为值类型。这正是你想要的。

这不是巧合；转发引用以这种方式工作是有原因的。

live example.

顺便说一句，我的版本有点不同。

我定义了一个range_view 类型，它可以从一个范围类构造，并存储 2 个迭代器。

range_view 像begin() 这样的方法是const； range_view 就像一个指针，而不是一个值。

它有方法：

range_view except_front(std::size_t n=1)const;
range_view except_back(std::size_t n=1)const;
range_view only_front(std::size_t n=1)const;
range_view only_back(std::size_t n=1)const;

根据范围的大小确定n。

然后：

for(auto item: range_view(container).except_front())

做你做的。

我考虑检查迭代器计数错误并在这种情况下返回空范围非常值得我从中获得可靠性的开销，因为该数学每次循环发生一次，而不是每次迭代一次。

另外，range_view 还有许多其他有用的用途。