Указатель функций как член класса

Question

В чем разница между функцией класса и глобальной функцией в отношении указателей на функции в C++? Я спрашиваю, как метод Windows CreateThread, похоже, не принимает функцию, в которую входит код потока, если функция является членом класса.

Я могу передать функцию (то, что код потока входит) в сообщение CreateThread, когда это глобальный метод, но как только я сделаю его членом класса, я получаю сообщение об ошибке «аргумент типа [макет метода] несовместим с параметром типа LPTHREAD_START_ROUTINE ". ClassName :: * находится в середине; это влияет на это?

Каково это?

Answer 1

Указатели функций функций (DWORD(WINAPI Foo::*)(LPVOID)) - это разные типы, чем указатели на функции (DWORD(WINAPI *)(LPVOID)). Функции-члены имеют скрытый параметр this, вызывая несоответствие подписи.

Самый простой способ сделать это состоит в использовании 11 C++ в <thread> заголовок:

struct Foo { 
    void threadProc() {} 
}; 

int main() { 
    Foo foo; 
    std::thread t{&Foo::threadProc, foo, /*other arguments to threadProc*/}; 
    t.join(); 
} 

Если придется прибегнуть к CreateThread, использовать параметр void * передать экземпляр:

struct Foo { 
    DWORD threadProc() {...} 
}; 

extern "C" DWORD WINAPI proxyThreadProc(LPVOID userData) { 
    auto foo = static_cast<Foo *>(userData); 
    if (foo) {foo->threadProc();} 
} 

int main() { 
    Foo foo; 
    CreateThread(..., proxyThreadProc, &foo, ...); 
} 

Тот, что в вашем классе теперь может быть практически любым, что вы хотите (например, std::function), и все еще работать, если он вызывается с правильными аргументами из процедуры прокси.

Answer 2

Да, поскольку @chris сказал, что есть скрытый указатель этого, который будет связан концом параметров. когда поток выполняет это, он не знает, что соответствует указателю в позиции последнего параметра, тогда он не смог восстановить кучу этой функции, когда закончил, поэтому ему запрещено использовать нестатические функции-члены класса для управления функцией потока, за исключением глобальной функции или статической функции-члена класса.