C++ 템플릿 클래스 오버로드 [] 연산자

Question

템플릿 매개 변수와 관련하여 템플릿 클래스에 [] 연산자를 오버로드하고 싶습니다. 그래서 같이 :

template< 
    typename T, 
    template<typename> class Property, 
    template<typename> class Key1, 
    template<typename> class Key2> 
class a_map 
{ 
public: 
    const Property<T>& operator[](const Key1<T>& k) const 
    { return _values[k.index()]; } 
    const Property<T>& operator[](const Key2<T>& k) const 
    { return _values[k.index()]; } 
protected: 
    std::vector<Property<T> > _values; 
}; 

그래서 같이이 클래스를 사용합니다 :

int main() 
{ 
    a_map<float, prop, key_a, key_b> pm; 
} 

는 기본적으로 나는 Key 유형에 대해 훨씬에 걱정하지 않고 _values 벡터 내부의 요소에 액세스 할 수 있어야합니다. 중요한 것은 회원이 index()입니다.

그러나 나는

error C2535: 'const Property &a_map::operator [](const Key1 &) const' : member function already defined or declared

비록 key_a 및 key_b이 이 totaly 다른 유형 클래스 템플릿입니다 다음과 같은 오류를 얻을.

내가 누락 된 항목이 있습니까? 컴파일러는 특정 상황에서 Key1<T>과 Key2<T>이 실제로 같은 유형 일 수 있음을 두려워합니까?

편집 이들은 내가 MVC++ 2008 컴파일러를 사용하고 편집 main

template<typename T> 
struct prop 
{ 
    T weight; 
    T height; 
}; 


template<typename T> 
class key_a 
{ 
public: 
    int index() { return _i; } 
private: 
    int _i; 
}; 

template<typename T> 
class key_b 
{ 
public: 
    int index() { return 3; } // Always return 3 

에 사용되는 클래스 템플릿입니다.

Answer 1

이렇게 컴파일하면 ... Prop/K1/K2를 정의해야합니다.

#include <vector> 

template< 
    typename T, 
    template<typename> class Property, 
    template<typename> class Key1, 
    template<typename> class Key2> 
class a_map 
{ 
public: 
    const Property<T>& operator[](const Key1<T>& k) const 
    { return _values[k.index()]; } 
    const Property<T>& operator[](const Key2<T>& k) const 
    { return _values[k.index()]; } 
protected: 
    std::vector<Property<T> > _values; 
}; 

template <typename T> struct K1 { int index() const { return 0; } }; 
template <typename T> struct K2 { int index() const { return 0; } }; 
template <typename T> struct Prop { }; 

int main() 
{ 
    a_map<float, Prop, K1, K2> m; 
} 

Answer 2

연산자 []는 인수 유형을 제외하고 모두 동일하므로 템플릿을 사용하지 않는 이유는 무엇입니까? a_map 템플릿 안에 당신이 const 객체

template<typename T> class key_a { 
public: 
    int index() const // <- `const` is necessary 
     { return _i; } 
private: 
    int _i; 
}; 

template<typename T> class key_b { 
public: 
    int index() const // <- `const` is necessary 
     { return 3; } 
}; 

그러나 그렇지 않으면 모든 컴파일을 통해 호출하고 나를 위해 잘 작동하기 때문에

template <typename TT> 
    const Property<T>& operator[](const TT& k) const 
    { 
     return _values[k.index()]; 
    } 

Answer 3

당신은 const로 index() 함수를 선언해야합니다.

---

VS2010 컴파일러에서 시도한 것과 같은 오류가 발생합니다. 이것은 분명히 MSVC++ 컴파일러의 컴파일러 버그입니다. 템플릿 템플릿 인수 처리가 잘못 구현되었습니다.

내가이 기술

template< 
    typename T, 
    template<typename> class Property, 
    template<typename> class Key1, 
    template<typename> class Key2> 
class a_map 
{ 
public: 
    const Property<T>& operator[](const typename Key1<T>::self& k) const 
    { return _values[k.index()]; } 
    const Property<T>& operator[](const typename Key2<T>::self& k) const 
    { return _values[k.index()]; } 
protected: 
    std::vector<Property<T> > _values; 
}; 

에게 사용할 수 있었던 문제를 해결하려면

template<typename T> class key_a { 
public: 
    typedef key_a self; 
    int index() const { return _i; } 
private: 
    int _i; 
}; 

template<typename T> class key_b { 
public: 
    typedef key_b self; 
    int index() const { return 3; } 
}; 

이 세련 같이 키 템플릿을 정의하지만, 그것은 MSVC++ 컴파일러 제대로 작동하게하려면.