Использование автоматически выведенного лямбда-параметра в качестве константы - PullRequest
Новая
       4

Использование автоматически выведенного лямбда-параметра в качестве константы

1 голос
/ 07 февраля 2020

В C ++ я пытаюсь написать что-то похожее на mp_for_each boost-mp11. Тем не менее, хотя mp_for_each всегда вызывает предоставленную функцию для каждого T в данном mp_list<Ts...>, я пытаюсь найти решение, которое останавливает обход, как только вызов функции во время выполнения возвращает значение, оцениваемое как false в операторе if.

См. Реализацию mp_for_each и пример использования:

Реализация на GitHub

Пример использования в справочном руководстве Boost

По-видимому, реализация mp_for_each позволяет передать аргумент функции в виде константного выражения, что позволяет пользователю применять его там, где требуется константное выражение. Хотя я использовал другой подход, включающий хвостовую рекурсию шаблона, я ожидал, что аргумент функции также будет передан как константное выражение. Однако G CC жалуется, что оно «не является константным выражением».

Мой код выглядит так: 

#include <cstdlib>
#include <iostream>
#include <typeinfo>
#include <utility>
#include <boost/mp11.hpp>

template<std::size_t T_counter>
struct WhileGreaterZero
{
    template<typename T_Function>
    constexpr WhileGreaterZero(T_Function&& function)
    {
        if (function(T_counter))  // pass function argument
            WhileGreaterZero<T_counter - 1>(std::forward<T_Function>(function));
    }
};

template<>
struct WhileGreaterZero<0>
{
    template<typename T_Function>
    constexpr WhileGreaterZero(T_Function&&) {}
};

int main()
{
    using boost::mp11::mp_at_c;
    using boost::mp11::mp_list;
    using boost::mp11::mp_size;

    using Types = mp_list<bool, int, double>;

    WhileGreaterZero<mp_size<Types>::value - 1>(
        [](auto counter) {  // function parameter
            using Type = mp_at_c<Types, counter>;

            if (typeid(Type) == typeid(int))
                return false;

            return true;
        }
    );
}

При компиляции с g ++ 7.4.0 возникает следующая ошибка: встречено (отформатировано на мой вкус): 

$ g++ -std=c++17 -I/path/to/boost

wgz.cpp:
    In substitution of ‘
        template<
            class L,
            long unsigned int I
        >
        using mp_at_c =
            typename boost::mp11::detail::mp_if_c_impl<
                (I < typename boost::mp11::detail::mp_size_impl<L>::type:: value),
                boost::mp11::detail::mp_at_c_impl<L, I>,
                void
            >::type::type
        [
            with L = boost::mp11::mp_list<bool, int, double>;
            long unsigned int I = counter
        ]
    ’:

wgz.cpp:42:49:
    required from ‘
        main()::<lambda(auto:1)>
        [with auto:1 = long unsigned int]
    ’

wgz.cpp:14:21:
    required from ‘
        constexpr WhileGreaterZero<T_counter>::WhileGreaterZero(T_Function&&)
        [
            with T_Function = main()::<lambda(auto:1)>;
            long unsigned int T_counter = 2
        ]
    ’

wgz.cpp:49:5:
    required from here

wgz.cpp:42:49:
    error: ‘counter’ is not a constant expression
             using Type = mp_at_c<Types, counter>;
                                                 ^
wgz:42:49:
    note: in template argument for type ‘long unsigned int’

Почему counter не рассматривается как константное выражение в моем коде? В чем принципиальная разница между кодом mp11 и моим в этом отношении?

Ответы [ 2 ]

2 голосов
/ 07 февраля 2020

Изменить 

function(T_counter)

на 

function(std::integral_constant< std::size_t, T_counter >{})

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

Связанный трюк: 

template<std::size_t...Is>
constexpr auto indexes( std::index_sequence<Is...> ={} ) {
  return std::make_tuple( std::integral_constant<std::size_t, Is>{}... );
}

, тогда вы можете сделать: 

template<std::size_t N, class F>
void While( F&& f ) {
  std::apply( [&](auto...Is) {
    (f( Is ) && ...);
  }, indexes( std::make_index_sequence<N>{} ) );
}

Живой пример , без рекурсии.

0 голосов
/ 07 февраля 2020

Параметр lambda является параметром функции, его значение не передается во время компиляции. По крайней мере, эта строка некорректна: 

 using Type = mp_at_c<Types, counter>;

Вы должны дождаться лямбда-шаблона или реализовать собственный функтор

...