Вывод шаблона указателя на метод C++ не компилируется при ориентации на x86, но работает с x64

У меня есть пример кода:

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 каждое соглашение о вызовах отличается. Но даже если это проблема, я понятия не имею, как это исправить.

Редактировать: я должен упомянуть, что я пробовал это с обычными (не членами) указателями функций, и это сработало нормально.

6
задан Deduplicator 21 October 2018 в 23:11
поделиться