6

我真的很喜欢自由begin end编写更通用的算法和数据结构的新概念。目前，有时我必须区分调用begin(range)和begin(*range)类型何时将对集合的引用作为指针进行区分。我考虑是否总是为我自己的集合类型的指针提供开始/结束的重载是否是一个好主意。

struct Container {
    int values[3];
};

const int* begin(const Container& c);
const int* end(const Container& c);
const int* begin(const Container* c);
const int* end(const Container* c);

template<typename Range>
int Sum(const Range& range)
{
    return std::accumulate(begin(range), end(range), 0);
}

int main(void)
{
    Container c = {1, 2, 3};
    std::cout << Sum(c);
    std::cout << Sum(&c);
}

如果这是一个好主意，为什么不为此提供一个模板：

template<typename Range>
auto begin(const Range* r) -> decltype(begin(*r)){
    using std::begin;
    return begin(*r);
}

template<typename Range>
auto end(const Range* r) -> decltype(end(*r)) { /* ... */ }

int main(void)
{
    Container c = {1, 2, 3};
    std::vector<int> v = {1, 2, 3}
    std::cout << Sum(c);
    std::cout << Sum(&c);
    std::cout << Sum(v);
    std::cout << Sum(&v);
}

如果这是一个好主意，为什么标准库不定义它？

我的问题是template<typename R> auto begin(const R* r)：模板有什么问题吗？是否存在由于某种原因而失败的情况？

4

1 回答 1

4

如果你这样做，你就不能再使用std::begin()和std::end()重载数组：

Container c[2] = { };
std::accumulate(begin(c), end(c), 0);

这不应该编译，因为您不能添加c[i]to 0，但它确实是因为begin(Container*)选择了重载而不是通用重载std::begin(T (&)[N])。

再举一个例子：

Container c[2] = { };
auto dist = std::distance(begin(c), end(c));

这应该设置dist=2，因为数组有两个元素，但你得到的dist=3是因为end(*c) - begin(*c)等于 3。

于 2012-12-17T17:47:33.677 回答