定义常量和穿越功能

Question

我有类似列表的数据结构的非const版本：

template<typename T> 
struct node { 
    T val; 
    unique_ptr<node<T>> next; 
}; 

和一个简单的穿越功能：

template<typename T, typename UnaryOp> 
void traverse(node<T>& list, UnaryOp op) { 
    node<T>* current = &list; 
    while(current) { 
    op(*current); 
    current = current->next.get(); 
} 

我现在需要一个const和non-const版本的traverse函数接受const node<T>& list或node<T>& list，这取决于上下文，最好避免代码重复。这怎么可能实现？

Answer 1

一个可能的解决方案是创建一个静态模板函数，它*this作为转发参考：

class node 
{ 
private: 
    template <typename TSelf> 
    static void traverse_impl(TSelf& self, node<T>& list, UnaryOp op) 
    { 
     node<T>* current = &list; 
     while(current) 
     { 
      op(*current); 
      current = current->next.get(); 
     } 
    } 

public: 
    void traverse(node<T>& list, UnaryOp op) 
    { 
     traverse_impl(*this, list, op); 
    } 

    void traverse(node<T>& list, UnaryOp op) const 
    { 
     traverse_impl(*this, list, op); 
    } 
}; 

这工作，因为template argument deduction rules - 总之，TSelf都接受const和非const引用。

如果您需要访问traverse_impl中的this的成员，请使用self.member。

此外，还可以使用std::conditional或类似设施内traverse_impl取决于const -ness的TSelf做不同的事情。您也可以使用转发参考（TSelf&&）并处理this正在移动的情况，这要归功于ref-qualifiers和perfect-forwarding。