Передача функции указателя на метод класса и его объекта для вызова

@tnk500 · Регистрация: 25.08.2012

std::thread позволяет в качестве исполняемой функций принимать метод класса и указатель на его объект, чтобы потом вызвать от имени этого объекта данный метод:

C++

1	std::thread t(&Class::Method, &obj);

Впоследствии obj->Method() будет вызван в отдельном потоке.

Как можно создать свою функцию, чтобы она могла принимать функции и любые параметры к ним, как и конструктор std::thread, тем не менее чтобы она догадывалась, что если ей подали указатель на метод и указатель на объект, она вызвала от имени этого объекта этот метод? Просто в определении класса std::thread стоит обычный шаблон с произвольным набором параметров и мне не ясно, как отдельно обрабатывается такой случай.

@John Prick · 01.08.2017, 13:34

Сообщение от tnk500

Как можно создать свой класс, чтобы он мог принимать функции и любые параметры к ним, как и std::thread, тем не менее чтобы он догадывался, что если ему подали указатель на метод и указатель на объект, он вызвал от имени этого объекта этот метод?

Комбинацией шаблонов и перегрузок, например.

@Nikropolb · 01.08.2017, 13:47

C++

#include <iostream>
#include <string>
#include <functional>
#include <thread>
 
class A
{
public:
        void memFunc( int _a )
        {
            std::cout << _a << std::endl;
        }
};
 
void threadFunc( std::function< void( int ) > _memFun )
{
    _memFun( 321 );
}
 
int main()
{
    A obj;
    
    std::function< void( int ) > memFunc = std::bind( &A::memFunc, obj, std::placeholders::_1 );
    std::thread thr( threadFunc, memFunc );
    
    thr.join();
    return 0;    
}

@tnk500 · 01.08.2017, 14:29 **[ТС]**

Отлично, понял как оно работает.

C++

#include <iostream>
#include <thread>
 
class Class
{
public:
    void Hello(int a, float b)
    {
        std::cout << "Hello there, " << a << " and " << b << "!\n";
    }
};
 
// Для обычных функций
template<class Callable, class...Args>
void RunFunction(Callable&& func, Args&&...args)
{
    func(std::forward<Args>(args)...);
}
 
// Для методов классов
template<class _Class, class...Args>
void RunFunction(void(_Class::*member_func_ptr)(Args...), _Class* obj, Args&&...args)
{
    (obj->*member_func_ptr)(std::forward<Args>(args)...);
}
 
int main()
{
    Class obj;
 
    RunFunction(&Class::Hello, &obj, 1, 2.5f);
 
    std::thread t(&Class::Hello, &obj, 10, 25.5f);
 
    t.join();
 
    std::cin.get();
}
 
 
// Вывод: 
//  Hello there, 1 and 2.5!
//  Hello there, 10 and 25.5!

Но вот что странно: у std::thread есть лишь один конструктор, который описан как RunFunction для обычных функций. Второго нет. Потом по цепочке вызовов эти все параметры передаются реализации C++ Runtime. Интересно, сделано ли там именно таким образом всё. Тогда интересно, что параметры можно вот так передавать по цепочкам, и лишь уже в последнем звене решать, подали ли тебе обычную функцию или указатель на метод с указателем на объект и аргументами

notAll · 01.08.2017, 15:10

Сообщение от tnk500

есть лишь один конструктор, который описан как RunFunction для обычных функций. Второго нет.

Скорее всего там все спрятано в внутренней реализации наподобие :

C++

namespace detail
{
 
    template<class R, class _Class, class...Args>
    void RunFunction_impl(R(_Class::*member_func_ptr), _Class& obj, Args &&...args) {
        (obj.*member_func_ptr)(std::forward<Args>(args)...);
    }
 
    template<class R, class _Class, class...Args>
    void RunFunction_impl(R(_Class::*member_func_ptr), const _Class& obj, Args &&...args) {
        (obj.*member_func_ptr)(std::forward<Args>(args)...);
    }
 
    template<class Callable, class...Args>
    void RunFunction_impl(Callable&& func, Args&&...args)
    {
        func(std::forward<Args>(args)...);
    }
 
}//end namespase detail
 
template<class Callable, class...Args>
void RunFunction(Callable&& func, Args&&...args)
{
    detail::RunFunction_impl(std::forward<Callable>(func), std::forward<Args>(args)...);
}

@tnk500 · 01.08.2017, 15:23 **[ТС]**

notAll, не думал, что такое вообще возможно, хотя если подумать, не фантастично.

C++

template<class Callable, class...Args>
void ProxyRunFunction(Callable&& func, Args&&...args)
{
    RunFunction(std::forward<Callable>(func), std::forward<Args>(args)...);
}

Если вызывать её вместо этих, всё передаётся корректно и версии RunFunction запускаются корректные. Пожалуй, это для меня было неожидано, но однознаначно круто.

@John Prick 844 / 775 / 258 Регистрация: 27.07.2012 Сообщений: 2,180
	01.08.2017, 13:34	2
	Сообщение от tnk500 Как можно создать свой класс, чтобы он мог принимать функции и любые параметры к ним, как и std::thread, тем не менее чтобы он догадывался, что если ему подали указатель на метод и указатель на объект, он вызвал от имени этого объекта этот метод? Комбинацией шаблонов и перегрузок, например. 1

Опции темы