Discussion :

[Seabirds]

Re-bonjour à toutes et à tous !
Je fais passer un visiteur sur tous les noeuds d'un arbre en utilisant une fonction de parcours. Mon mon grand ami compilateur n'aime pas du tout le code suivant :

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
19
20
21
22
template <typename Visitor, typename T>
Visitor& pre_order_DFS(Visitor& v, Node<T> const& node){
	v.visit(node) 
        // ...
	return v;
}
 
template <typename Visitor, typename T>
Visitor& pre_order_DFS(Visitor& v, Node<T> & node){
	v.visit(node) 
        // ...
	return v;
}
 
template<typename Node>
class AllelicStateInheritance{
 
public:
	void visit(Node & node) {
              // ...
        }
}

Il me dit que :

Code :

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

1
2
3
4
traversal.h:57:2: error: binding ‘const Node<traversal::CoalescentToDatasetConnector<Coords, unsigned int, genet::Marker_Descriptor<unsigned int> > >’ to reference of type ‘Node<traversal::CoalescentToDatasetConnector<Coords, unsigned int, genet::Marker_Descriptor<unsigned int> > >&’ discards qualifiers
  v.visit(node);
  ^
traversal.h:301:7: note:   initializing argument 1 of ‘void traversal::AllelicStateInheritance<Node>::visit(Node&) [with Node = Node<traversal::CoalescentToDatasetConnector<Coords, unsigned int, genet::Marker_Descriptor<unsigned int> > >]’

Ce que j'ai traduit par "désolé mon grand, j'arrive pas à envoyer une référence non constante dans la version non constante de la fonction de parcours".
Est-ce que j'ai juste dans la traduction ? Si oui, quelqu'un pourrait m'aiguiller vers la solution technique adaptée ?
Merci à vous !

PS : j'ai trouvé ça, c'est adapté ? Evidemment j'ai pour l'instant rien compris, je me renseigne...

Code :

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

1
2
3
4
5
6
7
8
9
template <typename Visitor, typename T>
typename std::enable_if< std::is_same<Aggregate,
                                   typename std::remove_const<T>::type 
                                  >::value
                       >::type
visit( Visitor & v, T & s ) {  // T can only be Aggregate or Aggregate const
    v(s.i);
    v(s.d);   
}

[Pyramidev]

Bonjour,

Tu as peut-être raté un copier-coller, car tes deux modèles de fonction pre_order_DFS(Visitor& v, Node<T> const& node) ont exactement les mêmes arguments, avec des const exactement aux mêmes endroits.

En tout cas, dans ces fonctions, ton paramètre node est une référence constante.
Par contre, dans ta fonction visit(Node & node), ton paramètre node est une référence non constante.
Tu coup, quand tu fais v.visit(node), ton compilateur proteste, et c'est normal.
D'ailleurs, si tu relis bien le message du compilateur, il te dit qu'il refuse de lier une référence non constante Node<blablabla>& à un type constant const Node<blablabla>

PS : j'ai trouvé ça, c'est adapté ? Evidemment j'ai pour l'instant rien compris, je me renseigne...
http://stackoverflow.com/questions/7...n-const-method

Code :

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

1
2
3
4
5
6
7
8
9
template <typename Visitor, typename T>
typename std::enable_if< std::is_same<Aggregate,
                                   typename std::remove_const<T>::type 
                                  >::value
                       >::type
visit( Visitor & v, T & s ) {  // T can only be Aggregate or Aggregate const
    v(s.i);
    v(s.d);   
}

Pour faire simple :

• std::enable_if<true>::type, c'est pareil que void.
• std::enable_if<false>::type, ça ne correspond à rien car la structure std::enable_if<false> n'a pas de membre type.

• Code :

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

  1
  2
  3
  4
  5
  6
  std::enable_if<
      std::is_same<
          Aggregate,
          typename std::remove_const<T>::type
      >::value
  >::type

  correspond à void si T est égal à Aggregate ou Aggregate const, mais ne correspond à rien sinon.
• Quand tu écris visit(truc, chose), lorsque le compilateur cherchera le modèle de fonction ou la fonction à appeler, si le paramètre chose ne peut pas être de type Aggregate& ou Aggregate const&, ton modèle de fonction

  Code :

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

  1
  2
  3
  4
  5
  6
  7
  template <typename Visitor, typename T>
  typename std::enable_if<
      std::is_same<
          Aggregate,
          typename std::remove_const<T>::type
      >::value
  >::type visit( Visitor & v, T & s )

  ne sera pas retenu.

Pour plus de détails :
http://cpp.developpez.com/faq/cpp/?p...-ce-que-SFINAE
http://www.cplusplus.com/reference/t...its/enable_if/

[Seabirds]

Holalalalala, faut que je dorme moi.
J'ai corrigé le const dans le message, mais mon code était correct (sur ce point). Le visit était ok, par contre j'ai ajouté un accès non constant aux enfants du node pour l'utiliser dans le parcours. Le problème venait de là.
Je vais de ce pas me plaindre à Morphée et me consoler à coup d'oreiller.
Merci de ta réponse et de tes explications !!!