Функция шаблона не работает для функции указатель на член, принимающей const ref

В последнее время я написал шаблонную функцию для решения некоторых повторений кода. Это выглядит так:

template<class T, class R, class... Args>
R call_or_throw(const std::weak_ptr<T>& ptr, const std::string& error, R (T::*fun)(Args...), Args... args) {
    if (auto sp = ptr.lock()) 
    {
        return std::invoke(fun, *sp, args...);
    }
    else 
    {
        throw std::runtime_error(error.c_str());
    }
}

int main() {
    auto a = std::make_shared<A>();
    call_or_throw(std::weak_ptr<A>(a), "err", &A::foo, 1);
}

Этот код прекрасно работает, для class Aкоторого выглядит так:

class A {
public:
    void foo(int x) {

    }
};

Но не может скомпилировать для одного, как это:

class A {
public:
    void foo(const int& x) {

    }
};

Почему это так (почему я имею в виду, почему он не может определить тип) и как (если это вообще возможно) заставить этот код работать со ссылками? Живой пример

Ваша проблема заключается в том, что у вас есть конфликтные выводы Argsмежду:

• R (T::*fun)(Args...)
• Args... args

Я предлагаю , чтобы иметь больше общий код (отсутствие дублирования между R (T::*fun)(Args...)и
версией сопзЬ R (T::*fun)(Args...) constи другой альтернативой) с:

template<class T, class F, class... Args>
decltype(auto) call_or_throw(const std::weak_ptr<T>& ptr,
                             const std::string& error,
                             F f,
                             Args&&... args)
{
    if (auto sp = ptr.lock()) 
    {
        return std::invoke(f, *sp, std::forward<Args>(args)...);
    }
    else 
    {
        throw std::runtime_error(error.c_str());
    }
}

Argsтипы не могут быть выведены как const&(из funобъявления параметра), так и без ссылки из argsобъявления. Простым решением является использование двух отдельных пакетов параметров типа шаблона:

template<class T, class R, class... Args, class... DeclaredArgs>
R call_or_throw(
    const std::weak_ptr<T>& ptr,
    const std::string& error,
    R (T::*fun)(DeclaredArgs...),
    Args... args);

Как недостаток, я могу представить немного более длинные сообщения об ошибках в случае неправильного использования.

Обратите внимание, что Argsтип параметра шаблона выводится как const int&на 3-м аргументе функции &A::foo, так и intна 4-м параметре функции 1. Они не совпадают и вызывают сбой дедукции.

Вы можете исключить 4-й параметр из вычета , например,

template<class T, class R, class... Args>
R call_or_throw(const std::weak_ptr<T>& ptr, 
                const std::string& error, 
                R (T::*fun)(Args...), 
                std::type_identity_t<Args>... args) {
//              ^^^^^^^^^^^^^^^^^^^^^^^^^^                

ЖИТЬ

_{PS: std::type_identityподдерживается начиная с C ++ 20; но это довольно легко реализовать.}