vc2010의지도 값 유형에 대한 멤버에 대한 포인터 만들기

Question

VC++의 약간 덜 오래된 버전 인 2010에 코드를 이식하는 데 문제가 있습니다.

이슈

가 non-type-argument에서 pointer-to-member의 유도베이스로의 변환 결과 VC지도의 구현에 의해 발생이 요구되고 :

#include <map> 
#include <algorithm> 

template <typename MapValueType, int MapValueType::*var> 
bool f (MapValueType const & v); 

int main() 
{ 
    typedef std :: map<int, int> MapType; 
    MapType m; 
    std :: find_if (m.begin() 
     , m.end() 
     , f<MapType::value_type, & MapType::value_type::second>); 
} 

다음 메시지가 생성된다 :

포인터 투 부재 염기로부터

표준 변환 가리키는 포인터 부재 템플릿 인수 file.cc (X)에 대한인가되지 유도의 오류 C2973 : 'F': 유효 템플릿 인수 '내부의 표준 : _ Pair_base,321 0 _Ty1, _Ty2는> :: * '

는 그래서 std::map에서 value_type의 구현은 기본 클래스의 쌍 것 같다.

이 를 해결하고이 non-type-argument로 pointer-to-member을 유지하는 방법에 어떤 아이디어?

구조가 변경되어 f이 functor이고 구성원이 pointer-to-member 인 유일한 이유는 무엇입니까?

Answer 1

decltype()이 코드는 IMO 컴파일해야한다는 제공 (그리고 GCC 4.7에 함께 않습니다 비주얼 스튜디오 2010 또는 컴파일러 중 하나를 제한 할 수 있습니다 경우,이 사용할 수 있다고 생각합니다. 2 및 Clang 3.2), 나는 당신의 디자인이 불필요하게 복잡하다고 믿습니다. pair에는 두 개의 멤버 변수 만 있으므로 첫 번째 또는 두 번째 중 하나에 액세스하게됩니다.

functor 객체가 필요하지 않습니다. 부울 템플릿 인수를 사용하여 코드가 first 또는 second 멤버 변수에서 작동하는지 확인하십시오. 다음은 가능성이다 :

#include <map> 
#include <algorithm> 

template <typename MapValueType, bool first> 
bool f (MapValueType const & p) 
{ 
    auto& v = (first) ? p.first : p.second; 
    // ... do your work on v ...  
} 

int main() 
{ 
    typedef std :: map<int, int> MapType; 
    MapType m; 

    // Will work on the `first` member 
    std::find_if(m.begin(), m.end(), f<MapType::value_type, true>); 

    // Will work on the `second` member 
    std::find_if(m.begin(), m.end(), f<MapType::value_type, false>); 
} 

당신이 정말로 당신의 클라이언트 코드 나 f() 함수 내에서 코드를 변경할 수없는 경우, 당신은이 VS2010 특정 해킹 갈 수있는 다음과 같은 경우,

// Add "_MyBase" here... works, but ugly IMO 
template <typename MapValueType, int MapValueType::_Mybase::* var> 
bool f(MapValueType const & v); 

// And the client side could stay unchanged... 
int main() 
{ 
    typedef std :: map<int, int> MapType; 
    MapType m; 
    std::find_if(
     m.begin(), 
     m.end(), 
     f<MapType::value_type, &MapType::value_type::second> 
     ); 
} 

마지막으로 당신의 코드가 다른 플랫폼 와 함수의 클라이언트 코드는 여전히 보유의 비 수정 가능성에 모든 제약 조건에 컴파일 할 수있다, 당신은 VS2010과 다른 컴파일러에 대한 빈 문자열로 _Mybase::로 확장 전 처리기 매크로를 정의 할 수 있습니다.

Answer 2

왜 비 타입 템플릿 매개 변수/인수로 포인터 - 투 - 회원 유지를 주장합니까?

어쨌든, 난 당신이

template <typename Class, typename Type> 
Class 
get_class_type (Type Class:: *); 
//... 
it = std::find_if(m.begin(), m.end(), 
    f<decltype(get_class_type(&MapType::value_type::second)), &MapType::value_type::second>);