Predicat is_null ?

Version imprimable

Predicat is_null ?

Bonjour,
Je cherche, je cherche, mais je n'arrive pas à trouver quelque chose qui ressemblerait à ça (ni dans boost, ni dans la STL) :
Code:

1 2 3 4 5 6 7 8 9 template<class T> struct is_null { bool operator()(T const *p_) { return p_==NULL; } };
Ca me paraît tellement trivial que je me dis que ça doit bien exister !
L'objectif est de faire :
Code:

1 2 3 4 5 boost::make_filter_iterator( is_null<ChildT>(), boost::make_transform_iterator(XXX,boost::bind(&boost::polymorphic_downcast<ChildT*,BaseT>,_1) ...

03/04/2009, 15h39
Florian Goo
Salut Archi,
Code:

1 2 std::equal_to<ChildT const*>(0)
?

Salut Florian,
Merci pour la réponse... mais en fait ça me force à faire ça :
Code:

1 2 boost::make_filter_iterator( boost::bind(&std::not_equal_to<ChildT const*>::operator (),boost::ref(std::not_equal_to<ChildT const*>()),static_cast<ChildT const*>(NULL),_1),
:?

J'ai trouvé autre chose :
Code:

1 2 3 boost::make_filter_iterator( std::logical_not<T*>(),
Mais j'ai jamais trop aimé les !ptr.

Citation:

Envoyé par 3DArchi

Salut Florian,
Merci pour la réponse... mais en fait ça me force à faire ça :

Code:

1
2
   boost::make_filter_iterator(
      boost::bind(&std::not_equal_to<ChildT const*>::operator (),boost::ref(std::not_equal_to<ChildT const*>()),static_cast<ChildT const*>(NULL),_1),

Oula, ça a l'air bizarre…
Ceci ne suffit pas ?

Code:

1
2
3
4
5
6
7
8
9
10
11
 
boost::make_filter_iterator
(
    boost::bind
    (
        std::not_equal_to<ChildT const*>(),
        0,
        _1
    ),
    //...
);

03/04/2009, 16h22
3DArchi
Citation:

Envoyé par Florian Goo

Oula, ça a l'air bizarre…
Ceci ne suffit pas ?

Non, pour 2 raisons :
1/std::not_equal_to est une fonction binaire : d'où le boost::bind avec l'opérateur ;
2/ Avec boost::bind, NULL doit être typé : d'où le static_cast<ChildT const*>(NULL).

[EDIT] : j'ai rien dit, j'avais trop vite lu ta réponse. Comme ça, ça marche :
Code:

1 2 3 4 5 6 7 boost::bind ( std::not_equal_to<ChildT const*>(), static_cast<ChildT const*>(NULL), _1 ),

En revanche, je galère pour le boost::typeof :

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
 
template<class ChildT>
boost::filter_iterator<
         std::not_equal_to<ChildT const*>,
         boost::transform_iterator<
            BOOST_TYPEOF(boost::bind(&boost::polymorphic_downcast<ChildT*,wxWindow>,_1))
            ,
            BOOST_TYPEOF(wxWindow().GetChildren().end())
         >
>
fwx_make_child_wnd_iterator_begin(wxWindow&parent)
{
      return boost::make_filter_iterator(
         boost::bind(std::not_equal_to<ChildT const*>(),static_cast<ChildT const*>(NULL),_1),
         boost::make_transform_iterator(parent.GetChildren().begin(),boost::bind(&boost::polymorphic_downcast<ChildT*,wxWindow>,_1)),
         boost::make_transform_iterator(parent.GetChildren().end(),boost::bind(&boost::polymorphic_downcast<ChildT*,wxWindow>,_1))
      );
}

Ca me fait invariablement planter Visual Express et GCC. J'ai du mal avec BOOST_TYPEOF. :(
J'ai essayé :

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
 
template<class ChildT>
boost::filter_iterator<
         std::not_equal_to<ChildT const*>,
         boost::transform_iterator<
            BOOST_TYPEOF_TPL(boost::bind(&boost::polymorphic_downcast<ChildT*,wxWindow>,_1))
            ,
            BOOST_TYPEOF(wxWindow().GetChildren().end())
         >
>
fwx_make_child_wnd_iterator_begin(wxWindow&parent)
{
      return boost::make_filter_iterator(
         boost::bind(std::not_equal_to<ChildT const*>(),static_cast<ChildT const*>(NULL),_1),
         boost::make_transform_iterator(parent.GetChildren().begin(),boost::bind(&boost::polymorphic_downcast<ChildT*,wxWindow>,_1)),
         boost::make_transform_iterator(parent.GetChildren().end(),boost::bind(&boost::polymorphic_downcast<ChildT*,wxWindow>,_1))
      );
}

Quand je fais ça :

Code:

1
2
3
4
 
    BOOST_TYPEOF(boost::bind(&boost::polymorphic_downcast<wxButton*,wxWindow>,_1)) dummy =
      boost::bind(&boost::polymorphic_downcast<wxButton*,wxWindow>,_1);
   dummy(this);

Ca passe...
[EDIT] Et celui-ci, pas de problème je pense :

Code:

1
2
 
BOOST_TYPEOF(wxWindow().GetChildren().end())

03/04/2009, 19h01
loufoque

Ça s'écrit tout simplement !_1 non ?
Ou _1 == 0
06/04/2009, 11h37
3DArchi

Citation:

Envoyé par loufoque

Ça s'écrit tout simplement !_1 non ?
Ou _1 == 0

Effectivement, j'ai pas eu le réflex Boost.Lambda. L'écriture est alors beaucoup plus simple et lisible.
En revanche, j'ai toujours un problème avec BOOST_TYPEOF :(
06/04/2009, 12h12
Goten

Quelqu'un pourrait expliciter le _1 ?
06/04/2009, 12h44
3DArchi

Bonjour,
Avec boost::lambda, l'écriture _1==NULL crée un foncteur avec un argument._1 est la place de cet argument.
Le principe est le même avec boost.bind : boost::bind(ma_fonction,_1) crée un foncteur avec un argument et _1 sera la place de cet argument.
Je t'invite à consulter les docs de boost.bind et/ou boost.lambda pour une meilleur compréhension qu'une pauv' explication approximative de 4 lignes ;)
06/04/2009, 12h50
Goten

Merci, je voulais justement savoir à quelle branche de boost ça appartenait pour pouvoir me plonger dans la doc :)
07/04/2009, 09h05
Florian Goo

À noter que boost::bind est dans std::tr1 et par conséquent dans le std:: de C++0x :)
07/04/2009, 18h12
loufoque

Le plantage de GCC pour typeof c'est pas une histoire de name mangling ?
Il faut pas utiliser typeof directement dans le type de retour, il faut passer par un typedef (enfin une méta-fonction du coup, puisqu'il faut que tu lui passes tes paramètres).
07/04/2009, 20h36
3DArchi

Citation:

Envoyé par loufoque

Le plantage de GCC pour typeof c'est pas une histoire de name mangling ?
Il faut pas utiliser typeof directement dans le type de retour, il faut passer par un typedef (enfin une méta-fonction du coup, puisqu'il faut que tu lui passes tes paramètres).

Salut,
Je n'ai pas creusé plus que ça. Car en m'orientant vers Lambda, tu m'as permis de reformuler mon besoin autrement et j'ai pu me passer d'itérateur alambiqué.
Cependant, en parcourant sommairement la doc Boost.Typeof, je soupçonne qu'il faut faire des BOOST_TYPEOF_REGISTER_TYPE auparavant.
08/04/2009, 18h03
loufoque

Ce n'est nécessaire que si ton compilateur ne supporte pas typeof nativement.
Or GCC le supporte, et MSVC aussi à travers un hack.

Normalement quand GCC plante, il dit clairement pourquoi. La raison pour laquelle ça ne marche pas est que l'ABI ne permet pas d'avoir typeof (ou même decltype) dans le type de retour.
09/04/2009, 10h48
3DArchi

Citation:

Envoyé par loufoque

Normalement quand GCC plante, il dit clairement pourquoi.

Précisemment, l'erreur est :

Citation:

Envoyé par gcc

internal compiler error: in write_type, at cp/mangle.c:1579

Citation:

Envoyé par loufoque

La raison pour laquelle ça ne marche pas est que l'ABI ne permet pas d'avoir typeof (ou même decltype) dans le type de retour.

J'avoue que j'aimerais bien que tu développes un peu. En brut, je vois pas trop la problématique...
09/04/2009, 15h33
loufoque

Les versions plus récentes de GCC donnent un message plus clair.
Enfin là c'est suffisamment clair, mangle.c s'occupe bien entendu du name mangling, là où se situe le problème.

Citation:

J'avoue que j'aimerais bien que tu développes un peu. En brut, je vois pas trop la problématique...

L'ABI que GCC utilise ne le permet tout simplement pas. Il va falloir la modifier et en spécifier une nouvelle.