C++ 포인터 - 투 - 방법 템플릿 공제는 86을 대상으로 할 때 컴파일,하지만이 샘플 코드를 가지고 64

Question

와 함께 작동하지 않습니다

struct A 
{ 
    int foo() { return 27; } 
}; 

template<typename T> 
struct Gobstopper 
{ 
}; 

template<> 
struct Gobstopper<int(void)> 
{ 
    Gobstopper(int, int) { } // To differentiate from general Gobstopper template 
}; 

template<typename ClassType, typename Signature> 
void DeduceMethodSignature(Signature ClassType::* method, ClassType& instance) 
{ 
    // If Signature is int(), Gobstopper<> should resolve to the specialized one. 
    // But it only does on x64! 
    Gobstopper<Signature>(1, 2); 
} 

int main(int argc, char** argv) 
{ 
    A a; 
    DeduceMethodSignature(&A::foo, a); 

    return 0; 
} 

이 g++ 괜찮 컴파일합니다. 또한 VC10을 사용하여 잘 컴파일되지만 64 비트 플랫폼을 구축 할 때만 컴파일됩니다. 내가 32 비트 플랫폼 용으로 빌드 할 때,이 컴파일 오류가 발생합니다 :

error C2661: 'Gobstopper<T>::Gobstopper' : no overloaded function takes 2 arguments 
1>   with 
1>   [ 
1>    T=int (void) 
1>   ] 
1>   c:\...\test.cpp(26) : see reference to function template instantiation 'void DeduceMethodSignature<A,int(void)>(Signature (__thiscall A::*),ClassType &)' being compiled 
1>   with 
1>   [ 
1>    Signature=int (void), 
1>    ClassType=A 
1>   ] 

오류가 Gobstopper의 비 전문 버전을 의미해야하는, 사용되고 있음을 나타냅니다 Signature는 int (void) 다른 무언가이다. 그러나이 오류는 분명히 Signature이int (void)이라고 말합니다. 그렇다면 오류는 어디서 발생 했습니까? 어떻게 해결할 수 있습니까?

내가 생각할 수있는 것은 32 비트에서 64 비트로 변경 될 수 있으며 오류 메시지에 표시된 서명에 표시되지 않는 유일한 사항은 호출 규칙입니다. 분명히, there is a unified calling convention for VC x64, whereas for x86 each calling convention is distinct. 그러나 그것이 문제가 되더라도, 나는 그것을 고치는 방법을 모른다.

도움말!

편집 : 정규식 (비 멤버) 함수 포인터를 사용하여이 작업을 시도했음을 언급해야합니다.

Answer 1

귀하는 정확합니다. Win32 대상이있는 Signature의 유형은 int __thiscall(void)이고 x64에서는 int __cdecl(void)입니다. 두 표적 모두에서 일반적으로 int(void)이라고 불리는 비 멤버 함수 유형은 실제로 int __cdecl(void)이므로 우연히 생성 된 유형 중 하나가 실제로 일치하지는 않습니다.

일반적으로 템플릿 포인터로 다른 유형의 함수 포인터를 혼합하는 것은 좋지 않으므로 Gobstopper 전문은 int (ClassType::*)()과 같은 코드를 사용해야합니다.