Predicat is_null ?

**3DArchi** · 03/04/2009, 15h23

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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)
...

**Florian Goo** · 03/04/2009, 15h39

Salut Archi,

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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

?

**3DArchi** · 03/04/2009, 15h51

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
 
      boost::make_filter_iterator(
      std::logical_not<T*>(),

Mais j'ai jamais trop aimé les !ptr.

**Florian Goo** · 03/04/2009, 16h13

Envoyé par 3DArchi

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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
    ),
    //...
);

**3DArchi** · 03/04/2009, 16h22

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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

**3DArchi** · 03/04/2009, 16h45

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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

**loufoque** · 03/04/2009, 19h01

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

**3DArchi** · 06/04/2009, 11h37

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

**Goten** · 06/04/2009, 12h12

Quelqu'un pourrait expliciter le _1 ?

**3DArchi** · 06/04/2009, 12h44

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

**Goten** · 06/04/2009, 12h50

Merci, je voulais justement savoir à quelle branche de boost ça appartenait pour pouvoir me plonger dans la doc

**Florian Goo** · 07/04/2009, 09h05

À noter que boost::bind est dans std::tr1 et par conséquent dans le std:: de C++0x

**loufoque** · 07/04/2009, 18h12

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).

**3DArchi** · 07/04/2009, 20h36

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.

**loufoque** · 08/04/2009, 18h03

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.

**3DArchi** · 09/04/2009, 10h48

Envoyé par loufoque

Normalement quand GCC plante, il dit clairement pourquoi.

Précisemment, l'erreur est :

Envoyé par gcc

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

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...

**loufoque** · 09/04/2009, 15h33

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.

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.

Predicat is_null ?

Boost C++

Discussions similaires

Partager

Partager