C++ 避免 const 和非常量访问的代码重复

Posted 2023-02-22

【中文标题】C++ 避免 const 和非常量访问的代码重复

【英文标题】：C++ avoiding code duplication for const and non-const visitation

【发布时间】：2011-03-09 21:29:34

【问题描述】：

我有一个类应该为每个成员变量调用一个访问者方法。像这样的：

class A
    int a, b, c;

public:
    void accept(Visitor &visitor)
        visitor.visit(a);
        visitor.visit(b);
        visitor.visit(c);
    
;

我怎样才能得到void accept() const 方法与相同的代码没有代码重复？

重复的明显解决方案是添加一个方法：

void accept(Visitor &visitor) const 
    visitor.visit(a);
    visitor.visit(b);
    visitor.visit(c);

那个方法正是我想要的意思，但我想避免代码重复。使用这两种方法的原因是能够通过“阅读”访问者来读取变量，并且可以很好地使用accept 方法const。然后非常量 accept 可以用于“编写/更新”访问者。

【问题讨论】：

代码重复发生在哪里。信息不足。

visit 的签名是什么？如果是 const，则不需要非 const accept。如果不是，那么这个 accept 不能是 const。

你不能在当前的accept 方法上加一个const 吗？为什么需要一个非常量版本的接受？

@Beta：visit() 可能为const 和非const 过载。

@Beta: Visitor::visit 可能在 const int& 与 int& 参数上重载，后者可能会修改访问的内容。不确定这是否明智，但提问者当前的重复代码允许这样做。

【参考方案1】：

您可以创建一个类静态模板帮助函数，该函数将根据您提供给它的this 指针的类型推断常量。像这样：

class A
    int a, b, c;

public:

    void accept(Visitor &visitor)
        acceptImpl(*this, visitor);
    
    void accept(Visitor &visitor) const
        acceptImpl(*this, visitor);
    

private:
    template<typename t_A>
    static void acceptImpl(t_A& aObj, Visitor &visitor)
    
        visitor.visit(aObj.a);
        visitor.visit(aObj.b);
        visitor.visit(aObj.c);
    
;

【参考方案2】：

模板助手：

class A
    int a, b, c;

private:
    template <typename T>
    static void do_visiting(T &self, Visitor &visitor) 
        visitor.visit(self.a);
        visitor.visit(self.b);
        visitor.visit(self.c);
    
public:
    void accept(Visitor &visitor) 
        do_visiting(*this, visitor); // calls do_visiting<A>
    
    void accept(Visitor &visitor) const 
        do_visiting(*this, visitor); // calls do_visiting<const A>
    
;