Не правильно ли выбирают перегруженные функции C ++?

Question

У меня есть функция, которая итерация на контейнере и передает каждый элемент предикату для фильтрации. Перегрузка этой функции также передает индекс каждого элемента в предикат.

template<typename TContainer>
void DoSomethingIf(TContainer &c, std::function<bool (const typename TContainer::const_reference)> predicate);

template<typename TContainer>
void DoSomethingIf(TContainer &c, std::function<bool (const typename TContainer::const_reference, int)> predicate);

Я обнаружил, что попытка позвонить либо Из этих функций с обнаженной лямбдой приведет к ошибке компилятора в VC11, в то время как использование функционального объекта Std :: будет успешным:

void foo()
{
    std::vector<int> v;

    // fails
    DoSomethingIf(v, [](const int &x) { return x == 0; });

    // also fails
    auto lambda = [](const int &x) { return x == 0; };
    DoSomethingIf(v, lambda);

    // success!
    std::function<bool (const int &)> fn = [](const int &x) { return x == 0; };
    DoSomethingIf(v, fn);
}

1>c:\users\moswald\test.cpp(15): error C2668: 'DoSomethingIf' : ambiguous call to overloaded function
1>          c:\users\moswald\test.cpp(8): could be 'void DoSomethingIf<std::vector<_Ty>>(TContainer &,std::function<_Fty>)'
1>          with
1>          [
1>              _Ty=int,
1>              TContainer=std::vector<int>,
1>              _Fty=bool (const int &,int)
1>          ]
1>          c:\users\moswald\test.cpp(5): or       'void DoSomethingIf<std::vector<_Ty>>(TContainer &,std::function<_Fty>)'
1>          with
1>          [
1>              _Ty=int,
1>              TContainer=std::vector<int>,
1>              _Fty=bool (const int &)
1>          ]
1>          while trying to match the argument list '(std::vector<_Ty>, foo::<lambda_8EADDE04A8D35A3C>)'
1>          with
1>          [
1>              _Ty=int
1>          ]
1>c:\users\moswald\test.cpp(19): error C2668: 'DoSomethingIf' : ambiguous call to overloaded function
1>          c:\users\moswald\test.cpp(8): could be 'void DoSomethingIf<std::vector<_Ty>>(TContainer &,std::function<_Fty>)'
1>          with
1>          [
1>              _Ty=int,
1>              TContainer=std::vector<int>,
1>              _Fty=bool (const int &,int)
1>          ]
1>          c:\users\moswald\test.cpp(5): or       'void DoSomethingIf<std::vector<_Ty>>(TContainer &,std::function<_Fty>)'
1>          with
1>          [
1>              _Ty=int,
1>              TContainer=std::vector<int>,
1>              _Fty=bool (const int &)
1>          ]
1>          while trying to match the argument list '(std::vector<_Ty>, foo::<lambda_8EADDE04A8D35A3D>)'
1>          with
1>          [
1>              _Ty=int
1>          ]

Этого ожидать? Есть ли другой способ перегружать эти функции (за исключением переименования одного, чтобы быть "DoSomethingIfWithIndex"?

Answer 1

Ожидается неоднозначность перегрузки.

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

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

В вашем третьем примере (тот, который работает), нет двусмысленности, потому что std::function Шаблон конструктора не используется. Вместо этого используется его конструктор копирования (и, как и равные вещи, нечепы предпочтительнее шаблонов).

Answer 2

std::function имеет свое использование в бинарных разграничениях, но нет как параметр общего использования для функционирования. Как вы только что обнаружили, его преобразование конструктора плохо взаимодействует с разрешением перегрузки (и это не имеет ничего общего с выражениями Lambda). С DoSomethingIf является уже Шаблон, я не вижу проблемы с каноническим решением принятия обобщенных функторов:

template<typename TContainer, typename Predicate>
void DoSomethingIf(TContainer& c, Predicate&& predicate);

Как вы можете заметить, эта версия не может быть перегружена и просто примет что -либо как предикат, даже int. Анкет Перегрузка легко решается с помощью Sfinae, как обычно:

template<
    typename Container
    , typename Predicate
    , typename = typename std::enable_if<
        is_callable<Predicate, bool(typename Container::const_reference)>::value
    >::type
>
void
DoSomethingIf(Container& container, Predicate&& predicate);

template<
    typename Container
    , typename Predicate
    , typename = typename std::enable_if<
        is_callable<Predicate, bool(typename Container::const_reference, int)>::value
    >::type
    // dummy parameter to disambiguate this definition from the previous one
    , typename = void
>
void
DoSomethingIf(Container& container, Predicate&& predicate);

У этого все еще есть раздражающая проблема, что если кто -то передает предикат (или на самом деле что -нибудь), который не удовлетворяет наши условия, мы получаем ошибку «нет совпадения» (ошибка разрешения перегрузки), а не полезную ошибку. Если вы хотите решить это, вы можете добавить перегрузку «улов»:

template<
    typename Container
    , typename Predicate
    , typename = typename std::enable_if<
        !is_callable<Predicate, bool(typename Container::const_reference)>::value
        && !is_callable<Predicate, bool(typename Container::const_reference, int)>::value
    >::type
    // more dummies
    , typename = void, typename = void
>
void DoSomethingIf(Container&, Predicate&&)
{ static_assert( dependent_false_type<Container>::value,
    "Put useful error message here" ); }

(dependent_false_type просто должен быть, например, тип, унаследовавший от std::false_type, мы не можем static_assert просто false или это будет вызвано каждый раз, не только когда шаблон создается, как нам хотелось бы. В качестве альтернативы вы можете повторить состояние, которое мы имеем внутри std::enable_if Здесь, который работает несколько как документация внутри кода, но не улучшает саму функциональность.)

Все, что остается, это где найти is_callable<Functor, Signature>, поскольку это на самом деле не стандартная черта. Относительно легко реализовать, если вы когда -либо писали тест Sfinae раньше, но немного утомительно, как вам нужно частично специализироваться на void возврат. Я не ставлю специализацию здесь, так как этот ответ достаточно длинный, как есть.

Если вы найдете это решение мощным, но слишком многословным, то, возможно, вам понравятся концепции :)