非常函數使用常量性

Question

我有一個程序結構類同：

class A { 
    private: 
     std::set<B> members; 
    public: 
     void func(const C& arg) { 
      std::set<B>::iterator iter = members.find(a); 
      if(iter != members.end()) { 
       iter->check(arg); 
      } 
     } 
} 



class B { 
    private: 
     std::deque<C> writers; 
    public: 
     void check(const C& arg) { 
      if(std::find(writers.begin(), writers.end, arg) != writers.end()) { 
       /* Code */ 
      } 
     } 
} 


class C { 
    private: 
     int id; 
    public: 
     bool operator==(const C& arg) { 
      return arg.id == this->id; 
     } 
} 

當我編譯，我得到以下錯誤消息：

no matching function for call to ‘B::check(const C&) const’ 
note: candidates are: void B::check(const C&) <near match> 

如果我宣佈check()爲const然後編譯器會拋出一個錯誤，要求將C類中的重載運算符==聲明爲const。我不知道是否讓const這個重載的操作符是正確的。 （我嘗試過一次，只要我能記得它也給了一些錯誤）。

我一直試圖解決這個問題超過五天，仍然沒有線索。

Answer 1

首先是operator==應該是const。它不會修改數據，除非您想要混淆用戶，否則不應該修改數據。通常，每個不需要修改對象狀態的函數應該是const，以提供最大的靈活性（即允許通過常量引用進行調用）。

同樣可以應用於B::check，如果只測試而不修改，則應該是const。並且通過A::func的擴展，如果它不需要修改，那麼它應該是const。

錯誤信息在不同的編譯器中會略有不同。在你的情況下，編譯器執行重載決議並沒有找到一個匹配的號召是什麼抱怨：

沒有匹配函數調用「B ::檢查（常量ç&）常量」
注意：考生是：無效B ::檢查（常量ç&）

這表明它認爲你的成員，但丟棄它，因爲它需要與const標籤的成員函數。在其他編譯器中，錯誤消息將包含以下內容：調用void B::check(const C&)丟棄限定符這有點複雜，並且試圖說在const引用上調用非const成員函數將需要忽略const限定符。

Answer 2

您絕對應聲明B::check()和C::operator==爲const，因爲它們不會更改對象狀態中的任何內容。

也可能不那麼明顯，但std::set<B>::iterator實際上是const_iterator（假設您使用C++ 11編譯器）！因此，您無法通過set迭代器調用B對象中的任何非const函數成員。

Answer 3

請記住，在可能的情況下，您應該更喜歡非常量版本。至少這是斯科特·麥伯所說的。

這是一個長時間的討論：

Should I prefer iterators over const_iterators?