c++ - 如何指定函数参数的常量是可选的？

Question

假设我有两个类需要遍历其他类的成员

class Reader {
public:
    template<typename T>
    void Process(const T& t) {
        Traverse(*this, t);
    }
    //... ends of recursion
};

class Writer {
public:
    template<typename T>
    void Process(T& t) {
        Traverse(*this, t);
    }
    //... ends of recursion
};

并且我为 Reader 和 Writer 需要处理的每个类提供函数 Traverse 的重载。例如:

class Foo {
public:
    template<typename T>
    friend void Traverse(T& t, const Foo& foo) { // for class Reader
        t.Process(foo.m1);
        t.Process(foo.m2);
    }

    template<typename T>
    friend void Traverse(T& t, Foo& foo) { // for class Writer
        t.Process(foo.m1);
        t.Process(foo.m2);
    }
private:
    int m1;
    int m2;
};

Foo 类体中函数Traverse 的上述两次重载几乎相同。我怎样才能把它们合二为一？

Answer 1

传递给 const 参数的任何非 const 值都将被转换为 const 因此您不必将第二个 Traverse() 除非你真的需要修改 foo。