Не удается заставить работать механизм обнаружения существования метода - PullRequest
Новая
       12

Не удается заставить работать механизм обнаружения существования метода

3 голосов
/ 20 апреля 2019

Я пишу шаблонный код, который должен вызывать определенные шаблонные operator() функторов, которые он получает - но только если существует operator().

Я написал следующий код: 


template <typename>
struct sfinae_true : std::true_type{};

template <class F, typename T, typename... Us>
static auto test_templated_invoke_operator(int) ->
    sfinae_true<decltype(std::declval<F>().template operator()<T>(std::forward(std::declval<Us>())... ))>;

template <class, typename, typename... Us>
static auto test_templated_invoke_operator(long) -> std::false_type;

template <class F, typename T, typename... Us>
struct has_templated_invoke_operator : decltype( test_templated_invoke_operator<F, T, Us...>(int{}) )
{ };

template <bool ActuallyInvoke, typename R, class F, typename T, typename... Ts>
struct invoke_if_possible_inner;

template <class F, typename R, typename T, typename... Ts>
struct invoke_if_possible_inner<false, R, F, T, Ts...>
{
    R operator()(F, Ts&&...) { 
        return R(); 
    }
};

template <class F, typename R, typename T, typename... Ts>
struct invoke_if_possible_inner<true, R, F, T, Ts...>
{
    R operator()(F functor, Ts&&... params)
    {
        return functor.template operator()<T>(std::forward<Ts>(params)...);
    }
};

template <typename T, typename R>
struct invoke_if_possible {
    template <class F, typename... Ts>
    R operator()(F functor, Ts&&... params)
    {
        constexpr bool actually_invoke = has_templated_invoke_operator<F, T, Ts...>::value;
        // static_assert(actually_invoke == true,"Should be able to invoke for now!");
        return invoke_if_possible_inner<actually_invoke, R, F, T, Ts...>{}(functor, std::forward<Ts>(params)...);
    }
};

и вот небольшая main() функция для проверки: 

int main() 
{
    invoke_if_possible<int, double> iip;
    auto result = iip(foo{}, 3.0);
    std::cout << "Invoke if possible result is " << result << " (and should be 6.0)" << std::endl;
}

Это не удается (Coliru) - возвращает 0.0 вместо 6.0.

Мой вопрос: почему код не вызывает определенный оператор ()? И как я могу исправить механизм обнаружения, чтобы его существование было подтверждено и вызвано?

Примечания:

  • Параметр шаблона T произвольный; это не имеет ничего общего с параметрами Us.
  • Да, можно получить R, используя тип возврата для operator() - но только если он существует. Поэтому мы просто предоставляем его.
  • Если вы включите статическое утверждение - оно не будет выполнено.

1 Ответ

4 голосов
/ 20 апреля 2019

Ваша проблема здесь: 

std::forward(std::declval<Us>())

std::forward принимает необработанный параметр шаблона, который вы не предоставляете - должен быть forward<T>(u) - поэтому его вывод безусловно завершается неудачей.

Но вам даже не нужно forward здесь вообще. Достаточно declval<Us>().

...