11

C++0x 的 ranged-for 循环对处理数组有一个特殊的例外（FDIS §6.5.4），并且有两个函数 std::begin 和 end 被重载以处理数组或选择开始/结束方法。这让我相信可以编写一个接受泛型序列的函数来匹配 ranged-for 循环的行为：

template<class C>
void f(C &c) {
  using std::begin;
  using std::end;
  do_something_with(begin(c), end(c));
}

如果 C 的命名空间中有一个“更具体的”开始/结束，它将通过 ADL 选择，否则代码“默认”为 std::begin/end。

但是，ranged-for 有这个特殊例外是有原因的。如果在命名空间中传递一个类型的数组，该数组具有语义不同的 begin/end 并接受一个指针，则不会选择 std::begin/end 的数组形式：

namespace ns {
  struct A {};
  void begin(A*);  // Does something completely different from std::begin.
}

void f_A() {  // Imagine above f() called with an array of ns::A objects.
  ns::A c[42];
  using std::begin;
  begin(c);  // Selects ns::begin, not array form of std::begin!
}

为了避免这种情况，有没有比编写我自己的开始/结束包装器（在内部使用 ADL）并显式调用它们而不是 std::begin 或 ADLized 开始更好的解决方案？

namespace my {
  template<class T>
  auto begin(T &c)  // Also overload on T const &c, as std::begin does.
  -> decltype(...)  // See below.
  {
    using std::begin;
    return begin(c);
  }

  template<class T, int N>
  T* begin(T (&c)[N]) {
    return c;
  }
}
// my::end omitted, but it is analogous to my::begin.

template<class C>
void f(C &c) {
  do_something_with(my::begin(c), my::end(c));
}

但是，如上面的省略号所示，我什至不知道如何编写 my::begin！对于该 decltype，我如何选择将通过本地 using-declaration 和 ADL 选择的类型？

4

2 回答 2

3

我在使用元组时遇到了同样的情况：

template<typename Tuple>
auto f(Tuple&& tuple)
-> /* ??? */
{
    using std::get;
    return get<Idx>(tuple);
}

它同时接受std::tupleand boost::tuple，并且接受左值和右值而不是template<typename... Types> auto f(std::tuple<Types...>& tuple) -> /* ??? */.

这个特殊情况是通过一个特性类解决的，实际上是由标准提供的：std::tuple_element。像往常一样，特征类的想法是这tuple是一个协议，任何想要遵守它的东西都将为 eg 提供专门化tuple_element。所以在我的情况下，解决方案已经存在。

在您的情况下，如果您正在编写一个库，我建议您编写（并记录）这样一个特征类。在应用程序代码或其他情况下，我不太确定。

于 2011-05-18T13:24:16.673 回答
1

您可以自己对数组进行特殊处理。数组的类型是（并且必须是开始/结束工作）ElementType (&)[Size]，所以如果你重载函数，比如：

template<class C, size_t S>
void f(C (&c)[S]) {
  do_something_with(std::begin(c), std::end(c));
}

它的行为应该特别像 for 循环。

在旁注中，您不需要std::begin然后std::end，它们是微不足道的：

template<class C, size_t S>
void f(C (&c)[S]) {
  do_something_with(c, c + S);
}

（可能需要强制转换；我实际上只将它用于需要指针的东西，而不是任何迭代器）。

另一方面，采用指针begin的end函数是相当愚蠢的事情。如果指向的对象是一个集合，那么它们可能应该取而代之的是引用。

于 2011-05-18T13:35:53.297 回答