如何指定函數參數的常量是可選的？

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上述兩個超載幾乎相同。我怎樣才能讓他們成爲一體？傳遞給const參數

Answer 1

任何非const值將被強制轉換爲const所以您不必到第二Traverse()，除非你確實需要修改foo。