什么概念允许容器在基于范围的 for 循环中可用？ [复制]

Question

我有一个实际上是std::shared_ptr< std::vector< Element > > 的容器。我将这种类型包装到 MyVector 类中，因为我不希望人们用指针把事情搞砸：

class MyVector
{
    std::shared_ptr< std::vector< Element > > m_vector;
};

我希望能够将MyVector 用于基于范围的for 循环，如下所示：

int main( )
{
    MyVector vector;

    // ...

    for( const auto& element : vector )
    { 
        // ...
    }

    return 0;
}

所以现在我必须将正确的函数重定向到内部指针才能使其工作。 MyVector 必须符合哪个 C++ 概念？ 我怎样才能实现当内部std::shared_ptr 是nullptr 时，MyVector 的行为与空的std::vector 完全相同（这样它就不会在基于范围的循环中崩溃，但不会进行迭代完全）？

Answer 1

要回答您的问题，请查看 cppreference documentation 中对基于范围的 for 循环的解释

{
    auto && __range = range_expression ; 
    auto __begin = begin_expr ;
    auto __end = end_expr ;
    for ( ; __begin != __end; ++__begin) { 
        range_declaration = *__begin; 
        loop_statement 
    } 
} 

还有这句话

如果 range_expression 是具有名为 begin 的成员和/或名为 end 的成员的类类型 C 的表达式（无论此类成员的类型或可访问性如何），则 begin_expr 是 __range.begin() 和 end_expr是__range.end();

1. 所以首先你需要提供一个begin()方法，一个end()方法。两者都应该返回某种迭代器类的实例（它们可以是不同的类型！）

2. begin() 返回的迭代器应该支持从上面的解释中推断的预增量运算符和取消引用运算符。

3. 最后begin() 和end() 返回的迭代器应该与!= 相当。