У меня есть пример кода:
struct A
{
int foo() { return 27; }
};
template
struct Gobstopper
{
};
template<>
struct Gobstopper
{
Gobstopper(int, int) { } // To differentiate from general Gobstopper template
};
template
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(1, 2);
}
int main(int argc, char** argv)
{
A a;
DeduceMethodSignature(&A::foo, a);
return 0;
}
Он отлично компилируется с g++
. Он также отлично компилируется с VC10, но только при сборке для 64-битной платформы. Когда я собираю для 32-битной платформы, я получаю эту ошибку компиляции:
error C2661: 'Gobstopper::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(Signature (__thiscall A::* ),ClassType &)' being compiled
1> with
1> [
1> Signature=int (void),
1> ClassType=A
1> ]
Ошибка указывает на то, что используется неспециализированная версия Gobstopper, что должно означать, что Подпись
отличается от int (void)
. Но ошибка также ясно говорит о том, что Подпись
естьint (void)
. Так откуда ошибка? И как я могу это исправить?
Единственное, что, как мне кажется, может измениться с 32-битного на 64-битное и не отображаться в подписи, отображаемой в сообщении об ошибке, — это соглашение о вызовах; по-видимому, существует унифицированное соглашение о вызовах для VC x64, тогда как для x86 каждое соглашение о вызовах отличается. Но даже если это проблема, я понятия не имею, как это исправить.
Редактировать: я должен упомянуть, что я пробовал это с обычными (не членами) указателями функций, и это сработало нормально.