hana :: seconde ne peut pas en déduire le type

Question

Je suis en train d'accéder à un hana::type d'une paire en utilisant hana::second ...

namespace hana = boost::hana; 
using namespace hana::literals; 

struct Key {}; 
struct Foo {}; 

int main() { 

    auto test = hana::make_tuple(
     hana::make_pair(
     hana::type_c<Key>, 
     hana::type_c<Foo>)); 

    typename decltype(hana::type_c<Foo>)::type finalTest; //Ok 
    typename decltype(hana::second(test[0_c]))::type finalTest2; //Error 
} 

mais je reçois l'erreur du compilateur suivant:

stacktest.cpp: In function ‘int main()’: 
stacktest.cpp:17:12: error: decltype evaluates to ‘boost::hana::type_impl<Foo>::_&’, which is not a class or enumeration type 
    typename decltype(hana::second(test[0_c]))::type finalTest2; 

Pourquoi le résultat de hana::second ne renvoie pas le contenu hana::type comme prévu?

Answer 1

Le message d'erreur indique que le decltype évalue à boost::hana::type_impl<Foo>::_&, qui, tout en un peu cryptique, vous pouvez voir par le & à la fin qu'il est une référence au contenu hana::type. Malheureusement, la référence ne contiendra pas les membres que vous vous attendez à trouver dans le type brut.

Pour cette hana::type fournit un operator+ unaire qui déréférence simplement le type brut afin que vous puissiez effectuer les opérations suivantes:

typename decltype(+hana::second(test[0_c]))::type finalTest2; 

hana::typeid_ œuvres pour ce aussi bien qu'il enveloppe idempotently toute valeur dans un hana::type avec const et qualifications de référence décapés:

typename decltype(hana::typeid_(hana::second(test[0_c])))::type finalTest2; 

Il convient de noter que toutes les fonctions Hana suivantes renvoient des références:

first, second, at, at_key, et associé operator[].