Передача указателей на член в объект функции из пакета параметров шаблона

Question

Ниже приведен образец кода, демонстрирующий то, что я пытаюсь сделать.

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

эти переменные параметры могут быть любыми: переменными, указателями на члены и т. д.

У меня нет проблем при работе с простыми переменными, но как расширить пакет параметров, где параметры являются указателями на члены, а объект функции ожидает типы данных POD?

Как получить значение указателя на член в пакете параметров и передать его объекту функции?

#include <cstddef>
#include <functional>


class Test
{
public:
    inline Test(std::uint32_t max);

    template<typename ReturnType, typename... Args>
    using Algorithm = std::function<ReturnType(Args...)>;

    // pointer to member
    // not used but would like to make use of it in 'RunTargetAlgo'
    template<typename T>
    using ParamType = T Test::*;

    // exectutor
    template<typename ReturnType, typename... Args, typename... Params>
    inline double RunTargetAlgo(Algorithm<ReturnType, Args...> target, Params... params);

    std::uint32_t mLoop = 0;
    const std::size_t mLoopMax;
    double mPrecision = 0;
};

Test::Test(std::uint32_t max) :
    mLoopMax(max)
{
}

template<typename ReturnType, typename ...Args, typename ...Params>
double Test::RunTargetAlgo(Algorithm<ReturnType, Args...> target, Params ...params)
{
    while (++mLoop <= mLoopMax)
        mPrecision += target(params...);    // How if Params == Test::ParamType ??

    // ... in real code we measure bunch of other stuff here...

    return mPrecision;
}

template<typename RetrunType>
RetrunType TestAlgorithm(std::uint32_t x, std::uint32_t y)
{
    // ...
    return RetrunType();
}

int main()
{
    namespace pl = std::placeholders;

    Test::Algorithm<double, std::uint32_t, std::uint32_t> algo =
        std::bind(TestAlgorithm<double>, pl::_1, pl::_2);

    Test t(50);

    // this works just fine!
    t.RunTargetAlgo(algo, 3u, 4u);

    // but how to run this?
    // I need pass fresh data to target algorithm, value of
    // pointer to members may change anytime.
    // but main issue here is how to extract these pointer from
    // parameter pack into actual values, but inside Test::RunTargetAlgo?
    t.RunTargetAlgo(algo, &Test::mLoop, &Test::mLoopMax);

    return 0;
}

Answer 1

Как обсуждалось в комментариях, предполагая, что все аргументы требуют одного и того же действия, вы можете просто применить любую операцию разыменования / доступа к члену в раскрытии пакета параметров. Например, для указателей на элементы, которые должны обращаться кthis пример:

target(this->*params...);

или если вы напрямую передаете указатели на объекты (что мне кажется более простым):

target(*params...);

//...

t.RunTargetAlgo(algo, &t.mLoop, &t.mLoopMax);