Question

我有一个链表结构：

struct SomeLinkedList
{
    const char* bar;
    int lots_of_interesting_stuff_in_here;
    DWORD foo;
    SomeLinkedList* pNext;
};

它是现有API的一部分，我无法更改。

我想添加迭代器支持。 boost::iterator_facade<>库似乎是出于此目的的理想选择。

class SomeIterator
    : public boost::iterator_facade< SomeIterator, 
                                     const SomeLinkedList, 
                                     boost::forward_traversal_tag >
{
public:
    SomeIterator() : node_( NULL ) {};

    explicit SomeIterator( const SomeLinkedList* p ) : node_( p ) {};

private:
    friend class boost::iterator_core_access;

    void increment() { node_ = node_->pNext; };

    bool equal( SomeIterator const& other ) const { /*some comparison*/; };

    SomeLinkedList const& dereference() const { return *node_; };

    SomeLinkedList const* node_;
}; // class SomeIterator

目标是能够在std::for_each

等标准库函数中使用它

void DoSomething( const SomeLinkedList* node );

SomeLinkedList* my_list = CreateLinkedList();
std::for_each( SomeIterator( my_list ), SomeIterator(), DoSomething );

不幸的是，我收到一条错误消息，说它试图按值而不是指针传递列表。

error C2664: 'void (const SomeLinkedList *)' : cannot convert parameter 1 from 'const SomeLinkedList' to 'const SomeLinkedList *'

如何更改SomeIterator以使其正常工作？

谢谢， PaulH

编辑：我试过这个：

class SomeIterator
    : public boost::iterator_facade< SomeIterator, 
                                     SomeLinkedList, 
                                     boost::forward_traversal_tag,
                                     SomeLinkedList* >
{
    // ...

但是我得到了这个编译错误：

error C2664: 'boost::implicit_cast' : cannot convert parameter 1 from 'SomeLinkedList **' to 'boost::detail::operator_arrow_proxy<T>

编辑2：

我尝试修改解除引用类型：

class SomeIterator
    : public boost::iterator_facade< SomeIterator, 
                                     const SomeLinkedList, 
                                     boost::forward_traversal_tag >
{
    // ...

    const SomeLinkedList* dereference() const { return node_; };

但是，我得到了原始错误：

error C2664: 'void (const SomeLinkedList *)' : cannot convert parameter 1 from 'const SomeLinkedList' to 'const SomeLinkedList *'

Answer 1

我一直在努力了解boost :: iterator_facade。在寻找一个简单的例子时，我发现了这个（旧的）问题和单一的，被接受的答案。我想我会发布我需要的代码来让这个例子在这里工作，因为现有的问题和答案从未真正解决问题。

在第一个实例中注意到for_each（）的第二个参数是结束迭代器。我发现在原始问题代码中使用的NULL迭代器（不确定这是否是正确的术语）效果很好，但只有在完成.equal（）的不完整定义时才会如下;

bool equal( SomeIterator const& other ) const { return node_ == other.node_; }

除了简单地将DoSomething（）参数的定义从ptr更改为引用之外，如接受的答案中所述，是使其编译和运行的关键。我在下面放了一些原始的测试代码来说明。

void DoSomething( const SomeLinkedList& node )
{
    std::cout << "DoSomething " << node.foo << "\n";
}

int main()
{
    SomeLinkedList temp[5];
    memset(temp,0,sizeof(temp));
    temp[0].pNext = &temp[1];
    temp[1].pNext = &temp[2];
    temp[2].pNext = &temp[3];
    temp[3].pNext = &temp[4];
    temp[4].pNext = 0;
    temp[0].foo   = 0;
    temp[1].foo   = 1;
    temp[2].foo   = 2;
    temp[3].foo   = 3;
    temp[4].foo   = 4;
    SomeLinkedList* my_list = &temp[0];
    std::for_each( SomeIterator( my_list ), SomeIterator(), DoSomething );
    return 0;
}

Answer 2

当你的迭代器被解除引用时，它会返回const SomeLinkedList&但是你的DoSomething函数需要const SomeLinkedList*。在取消引用或改变你的DoSomething函数时，改变迭代器以某种方式返回指针。

编辑回应进一步讨论：

我自己并没有真正使用过boost :: iterator_facade，但是看看你发布的其他代码，你可能还没有同时更改所有所需的部分。

你真的试过吗

class SomeIterator
    : public boost::iterator_facade< SomeIterator, 
                                     SomeLinkedList, 
                                     boost::forward_traversal_tag,
                                     SomeLinkedList* >
{

和

const SomeLinkedList* dereference() const { return node_; };

一起？

或者，如果这不起作用，那么：

class SomeIterator : public boost::iterator_facade< SomeIterator, SomeLinkedList*, boost::forward_traversal_tag> { const SomeLinkedList* dereference() const { return node_; };

或者，正如davka在评论中所建议的那样，通过围绕DoSomething创建一个包装来解决指针与引用问题的关系呢？如：

void DoSomethingWrapper( const SomeLinkedList& node ) { DoSomething(&node); }

实际上，你甚至可以保持包装器与它包装的函数的名称相同，只是让指针或引用版本被调用时重载规则处理。

使用boost :: iterator_facade＆lt;＆gt;

2 个答案: