'const'와 'non-const'객체 모두에서 인스턴스화 할 수있는 유니버설 멤버 함수 정의

Question

'const'& 'const가 아닌'객체에서 액세스 할 수있는 멤버 함수를 정의하는 방법이 있습니까?

내 sList 목록 클래스 구현에 필요합니다. 그것에서 나는 매개 변수로 다른 함수를 'const'또는 'non-const'포인터를 sList으로 취하고 현재 sList 구조의 각 목록에 대해 호출 할 함수를 선언하려고합니다. 나는 결국 너무 람다 전달하려는 때문에 내가 auto pFunc을 사용하고

template <typename T> 
struct sList 
{ 
    sList(initializer_list<T>); 

    inline void DoForEachList(auto pFunc) 
    { 
     for(auto p = this; p; p = p->pNext) 
      pFunc(p); 
    } 

    ~sList(); 

    T dat; 

    sList *pNext = nullptr; 
}; 

:

여기에 선언합니다. 그래서 지금 내가이 타입의 const 객체를 가지고 있고 그것으로부터 'DoForEachList'를 호출하면 'auto'타입으로부터 1 arg를 가진 인자 λ 함수로 전달됩니다. 코드가 DoForEachList를 호출

error: passing const sList<unsigned char> as this argument of void sList<T>::DoForEachList(auto:1) [with auto:1 = main()::<lambda(sList<unsigned char>*)> ; T = unsigned char ]' discards qualifiers [-fpermissive]

그리고 : 제 컴파일러는 같은 실패합니다

void main() 
{ 
    extern const sList<unsigned char> cvobj; 
    cvobj.DoForEachList([] (auto pCurr) {/* Do something */}); 
} 

나는이 같은 DoForEachList 멤버 함수를 정의 (또는 멤버 함수의 템플릿) 할 수있는 몇 가지 방법이 있나요 :

template <typename T> 
struct sList 
{ 
    inline void DoForEachList(auto pFunc) auto //either 'const' or none 
    { 
     for(auto p = this; p; p = pNext->pNext) 
      pFunc(p); 
    } 

    //... 
}; 

Answer 1

는 의견 @dyp에 의해 대답에 빌드하려면 :

this의 constness에 과부하를 걸려면 실제로 두 개의 별도 기능이 필요합니다. 그러나 작업을 도우미 함수로 오프로드하여 중복을 최소화 할 수 있습니다.

@dyp에는 friend 함수 템플릿을 사용하는 것이 좋지만 친구 함수에는 액세스 제어가 없으므로 대신 정적 멤버 함수를 사용하는 것이 좋습니다.

는

template <typename T> 
struct sList 
{ 
    void DoForEachList(auto pFunc) 
    { 
     DoForEachListHelper(*this, pFunc); 
    } 
    void DoForEachList(auto pFunc) const 
    { 
     DoForEachListHelper(*this, pFunc); 
    } 
private: 
    static void DoForEachListHelper(auto&& self, auto pFunc) 
    { 
     for(auto p = &self; p; p = pNext->pNext) 
      pFunc(p); 
    } 
}; 

Answer 2

당신 만 const 멤버 함수를 사용하여 컴파일러를 알려주는 멤버 변수 mutable을 확인해야합니다/당신을 회원이 영향을 미치지 않는다는 "-변경되었습니다-: 당신은 다음이 개인 또는 보호 할 수 있습니다 "클래스의 동작. 이것이 사실이 아니라면, 이것이 옳지 않기 때문에 디자인을 다시 생각해보십시오. mutable이 더 정확합니다. 지도의 핵심 요구는 그지도의 순서에 영향을주지 않는 방식으로 수정하지만, 수 그렇다하더라도 ...

코드 예제 :

struct Bla 
{ 
    void increment() const { i++; } 
private: 
    mutable int i = 0; 
}; 

int main() 
{ 
    const Bla bla; 
    bla.increment(); 
} 

Live demo here.