값이 서로 다른 두 개의 std :: map의 iterators입니까?

Question

퍼포먼스상의 이유로 값이 서로 다른 두 요소를 가리키는 두 개의 코드가 필요합니다.
다른 요소가 이미 통과 된 경우 요소의 일정 시간 삽입/제거를 허용하기위한 것입니다.

C++에서 이것을 올바르게 구현하는 가장 빠른 방법은 무엇입니까? 첫 번째 맵의 값 유형으로 iterator를 선언하기 전에 두 번째 맵의 유형이 불완전하기 때문에 명백한 접근 방식이 작동하지 않는다는 점에 유의하십시오. Variants이 내 유일한 옵션입니까 아니면 더 나은 솔루션입니까?

Answer 1

필자는 알고있는 것처럼 (전달) 선언으로는 달성 할 수없는 방식으로 상호 재귀 적 유형을 원합니다. 그러나 C++ 유명한 CRTP 또 다른 평균 제공 :

#include <map> 

template <typename T> 
struct BidirMapHelper { 
    struct ReverseElt { 
     ReverseElt() {} 
     ReverseElt(typename T::iterator p) : v(p) {} 
     typename T::iterator v; 
    }; 
    typedef std::map<int, ReverseElt> ReverseMap; 
}; 

struct BidirMap: BidirMapHelper<BidirMap> 
{ 
    struct DirectElt { 
     DirectElt() {} 
     DirectElt(ReverseMap::iterator p) : v(p) {} 
     ReverseMap::iterator v; 
    }; 
    typedef std::map<int, DirectElt> DirectMap; 
    typedef DirectMap::iterator iterator; 
}; 

typedef BidirMap::DirectMap DirectMap; 
typedef BidirMap::ReverseMap ReverseMap; 

int main() { 
    DirectMap m1; 
    ReverseMap m2; 
    m1[0] = m2.end(); 
    m2[0] = m1.end(); 
    return 0; 
} 

이 리눅스에서 g ++ 및 그 소리 ++로 깨끗하게 컴파일을,하지만 난 그것을 표준 라이브러리의 구현 특성에 의존하지 않는 모르겠어요 인정합니다 예를 들어 SCARY 반복자가 있습니다.

Answer 2

다음은 더 간단한 솔루션입니다. 그러나 std::map의 임의 표준 호환 구현을 위해 컴파일되지는 않습니다. 그러나 gcc 4.4.7 (-std = C++ 11도 지원하지 않음)과 gcc 5.x, gcc 6.1, clang 3.x 및 icc 13.0.1 (-std = C++ 11).

#include <map> 

struct It1; 
struct It2; 

typedef std::map<int, It2> Map1; 
typedef std::map<int, It1> Map2; 

struct It2 : Map2::iterator 
{ 
    It2() {} 
    It2(Map2::iterator it) : Map2::iterator(it) {} 
}; 

struct It1 : Map1::iterator 
{ 
    It1() {} 
    It1(Map1::iterator it) : Map1::iterator(it) {} 
}; 

int main() 
{ 
    Map1 m1; 
    Map2 m2; 

    m1[0] = m2.end(); 
    m2[0] = m1.end(); 
    return 0; 
}