hana fois simple « appel à la fonction non-constexpr »

Question

j'ai simplifié mon code produisant une erreur, et a constaté que même cette simple fonction de comptage m'a donné une erreur (voir ci-dessous):

#include <boost/hana/tuple.hpp> 
#include <boost/hana/fold.hpp> 
#include <boost/hana/plus.hpp> 
#include <boost/hana/integral_constant.hpp> 

int main() { 
    using namespace boost; 

    constexpr auto inc = [](auto n, auto el) { return hana::int_c<n> + hana::int_c<1>; }; 
    constexpr auto count = hana::fold(hana::make_tuple(hana::int_c<3>), 
             hana::int_<0>{}, 
             inc 
    ); 

    return 0; 

} 

Erreur (omises certains cela ne semblait pas pertinent):

/usr/local/include/boost/hana/detail/variadic/foldl1.hpp:202:57: error: ‘static constexpr decltype(auto) boost::hana::detail::variadic::foldl1_impl<2u>::apply(F&&, X1&&, X2&&) [with F = const main()::<lambda(auto:1, auto:2)>&; X1 = boost::hana::integral_constant<int, 0>; X2 = boost::hana::integral_constant<int, 3>]’ called in a constant expression 
      return foldl1_impl<sizeof...(xn) + 1>::apply(
        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^ 
       static_cast<F&&>(f), static_cast<X1&&>(x1), static_cast<Xn&&>(xn)... 
       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 
      ); 
      ~            
In file included from /usr/local/include/boost/hana/fold_left.hpp:18:0, 
       from /usr/local/include/boost/hana/concept/foldable.hpp:19, 
       from /usr/local/include/boost/hana/core/to.hpp:16, 
       from /usr/local/include/boost/hana/bool.hpp:17, 
       from /usr/local/include/boost/hana/tuple.hpp:16, 
       from ...: 
/usr/local/include/boost/hana/detail/variadic/foldl1.hpp:31:41: note: ‘static constexpr decltype(auto) boost::hana::detail::variadic::foldl1_impl<2u>::apply(F&&, X1&&, X2&&) [with F = const main()::<lambda(auto:1, auto:2)>&; X1 = boost::hana::integral_constant<int, 0>; X2 = boost::hana::integral_constant<int, 3>]’ is not usable as a constexpr function because: 
     static constexpr decltype(auto) apply(F&& f, X1&& x1, X2&& x2) { 
             ^~~~~ 
/usr/local/include/boost/hana/detail/variadic/foldl1.hpp:32:39: error: call to non-constexpr function ‘main()::<lambda(auto:1, auto:2)> [with auto:1 = boost::hana::integral_constant<int, 0>; auto:2 = boost::hana::integral_constant<int, 3>]’ 
      return static_cast<F&&>(f)(static_cast<X1&&>(x1), 
        ~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~ 
             static_cast<X2&&>(x2)); 

J'ai utilisé C++ 17 avec g ++ 6.3. On dirait que le lambda n'est pas vu comme un constexpr, mais il me semble qu'il n'utilise que des valeurs constantes. Quelqu'un peut-il me suggérer comment je peux faire fonctionner ce code? (Son but est de compter le nombre d'éléments dans le tuple passé à fold)

Answer 1

Si votre compilateur ne supporte pas constexpr lambdas, vous devez écrire les types de fermeture vous-même (au niveau de l'espace de noms ou de la portée de classe, pas à la fonction portée depuis une classe locale ne peut pas avoir des modèles membres):

constexpr struct inc_t { 
    template<class N, class T> 
    constexpr auto operator()(N n, T) const { return hana::int_c<n> + hana::int_c<1>; } 
} inc; 

Sinon, vous pouvez toujours utiliser hana mais le résultat des calculs ne sera pas disponible pour le système de type.