Discussion :

[cyberpi]

Bonjour

En testant certains points des constructeurs de copie je suis tombé sur un petit mystère:

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
class A {
  int value;
public:
  A(int i) { 
    value = i; 
    cout << "A(int)" << endl; 
  }
  A(A& other) {  // const volontairement absent
   value = other.value;
   cout << "A(A&)" << endl; 
  }
};
 
A a1(1), a2(a1); // ok
A a3(*(new A(3))); // ok
A a4(A(4)); // ne compile pas

J'ai compilé en -fno-elide-constructors sous g++ 3.3.3 pour être bien sûr de voir passer toutes les copies avant que le compilateur ne s'amuse à les optimiser.

Le message d'erreur est:

Code :

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

1
2
3
error: no matching function for call to 'A::A(A)'
error: candidates are: A::A(int)
error:                 A::A(A&)

Si je modifie le constructeur de copie en A(const A& other) le code compile et produit bien le résultat attendu (A(int), A(const A&) et a4.value = 4 au final).

Je suis perplexe... Quelqu'un peut expliquer pourquoi?

[Médinoc]

Les fonctiosn acceptant une référence non-const n'acceptent pas un temporaire non-nommé.

Je crois que pour éviter ce genre de problème, les std::auto_ptr<>, dont le constructeur de copie est non-const, passent par une variable intermédiaire...

[loufoque]

Parce qu'un temporaire n'est pas convertible vers une référence mais uniquement vers une référence vers const.

[cyberpi]

Parce qu'un temporaire n'est pas convertible vers une référence mais uniquement vers une référence vers const.

Ok. Mais dans ce cas le message d'erreur est vraiment bizarre...

Est-ce que ça veut dire que le compilo, ne pouvant pas convertir A(4) en A&, essaye de prendre le paramètre du constructeur simplement par valeur et qu'il rale parce qu'il n'existe pas (et ne peut pas exister un A(A foo)) ?

[cyberpi]

Les fonctiosn acceptant une référence non-const n'acceptent pas un temporaire non-nommé.

Je ne crois pas, car A(*(new A(4))) induit une référence non nommée non plus mais passe sans problèmes...

[Médinoc]

Le temporaire non-nommé n'est plus ici l'objet, mais le pointeur.

[loufoque]

Est-ce que ça veut dire que le compilo, ne pouvant pas convertir A(4) en A&, essaye de prendre le paramètre du constructeur simplement par valeur et qu'il rale parce qu'il n'existe pas (et ne peut pas exister un A(A foo)) ?

Oui, enfin le compilateur cherche de toutes façons par valeur d'abord.