C++0x : le Draft final a été voté !

Invité · 30/03/2011, 20h32

Ceci étant dit, je suis toujours interrogatif sur final.

final et override existent en Java, C#, D, Delphi et même dans Visual C++ (sans /CLR)

Code :

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

1
2
3
4
5
6
7
8
 
class A sealed
{
};
 
class B : A // error C3246: 'B' : cannot inherit from 'A' as it has been declared as 'sealed'	
{
}

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
{
    virtual void func();
};
 
class B : public A
{
    virtual void funk() override;  // error C3668: 'B::funk' : method with override specifier 'override' did not override any base class methods
};
 
class C : public A
{
    virtual int func(); // error C2555: 'C::func': overriding virtual function return type differs and is not covariant from 'A::func'
 
}

J'ai du mal à en voir les inconvénients...

**Firwen** · 30/03/2011, 21h26

final sur les fonctions membre a un sens en java, puisque par défaut toute les fonctions java sont "virtual" (au sens C++).

Ce n'est pas le cas en C++ où toute fonction membre surchargeable doit être spécifiquement déclarée comme telle, d'où ma question.

**guillaume07** · 31/03/2011, 01h58

Envoyé par Goten

@guillaume : les typelists c'est pas destiné uniquement à émuler les variadic templates ... (et pire ont a de meilleure méthode pour le faire).

ok désolé j'ignorais

**3DArchi** · 31/03/2011, 07h18

Salut,

Envoyé par ponce

J'ai du mal à en voir les inconvénients...

Moi, j'ai du mal à voir l'intérêt des final d'un strict point de vue design. Ca permet des optimisations pour remplacer des appels dynamiques par des appels statiques. Mais à part ça, je vois pas.

J'avais ouvert une discussion l'an dernier (Intérêt du concept de final) mais je n'ai jamais eu de réponses

**Médinoc** · 31/03/2011, 11h38

Envoyé par Firwen

final sur les fonctions membre a un sens en java, puisque par défaut toute les fonctions java sont "virtual" (au sens C++).

Ce n'est pas le cas en C++ où toute fonction membre surchargeable doit être spécifiquement déclarée comme telle, d'où ma question.

Il faudrait demander aux gars de C# qui ont à la fois la déclaration explicite ("virtual") et le final ("sealed").

Personnellement, le sealed, je l'ai vu beaucoup plus appliqué aux classes qu'aux méthodes.

**Eridan** · 31/03/2011, 12h29

Envoyé par 3DArchi

Salut,
Moi, j'ai du mal à voir l'intérêt des final d'un strict point de vue design. Ca permet des optimisations pour remplacer des appels dynamiques par des appels statiques. Mais à part ça, je vois pas.

J'avais ouvert une discussion l'an dernier (Intérêt du concept de final) mais je n'ai jamais eu de réponses

Il y a peu etre un element de reponse ici : http://www2.research.att.com/~bs/bs_...#no-derivation

**3DArchi** · 31/03/2011, 12h47

Envoyé par Eridan

Il y a peu etre un element de reponse ici : http://www2.research.att.com/~bs/bs_...#no-derivation

Non. Comme le dit le post que j'ai mis en lien : j'ai bien compris le comment, ce que j'aimerais savoir c'est le pourquoi ? Est-ce que ça a un intérêt (en dehors d'optimisation ce qui n'est déjà pas si mal).

Invité · 31/03/2011, 19h06

En dehors de la performance, à mon avis une méthode final a un intêret dans un cas au moins : une classe implémentant une méthode virtuelle de sa classe parente pour tous ses descendants. Le concepteur voudrait alors éviter qu'elle soit redéfinie dans une classe fille.

**3DArchi** · 31/03/2011, 19h16

Envoyé par ponce

Le concepteur voudrait alors éviter qu'elle soit redéfinie dans une classe fille.

C'est bien ça qui me dérange. J'ai l'intuition que ce qui se cache dans ce cas c'est une violation du contrat de la classe qui rend dangereux l'héritage. Car sinon, pourquoi vouloir arrêter la possibilité d'adaptation du comportement ?

**ptyxs** · 03/04/2011, 13h55

Bonjour
existe-t-il quelque part un inventaire déjà constitué de bonnes documentations existantes sur C++0x ?

**guillaume07** · 05/04/2011, 00h27

c 0x ou 2011 ?

**Klaim** · 05/04/2011, 10h01

existe-t-il quelque part un inventaire déjà constitué de bonnes documentations existantes sur C++0x ?

Si tu trouves le document standard illisible, tu peux toujours te racrocher a un mix entre wikipedia (http://en.wikipedia.org/wiki/C%2B%2B0x) et le site de Stroustrup ( http://www2.research.att.com/~bs/C++0xFAQ.html ).

c 0x ou 2011 ?

Herb Sutter a dit C++2011 (voir quelques messages plus haut).

**JolyLoic** · 13/04/2011, 13h57

Le mailing post-Madrid vient de sortir. Le dernier draft du standard, identique à ce qui a été envoyé à l'ISO pour normalisation, est :
http://www.open-std.org/jtc1/sc22/wg...011/n3292.html

**Arzar** · 13/04/2011, 14h00

Le FDIS (Final Draft International Standard) est dispo sur le site du comité !
C'est le document N3290, il fait parti du mailing d'avril.

Edit : Ahahahah joli retour de politesse Loïc, je savais que je n'aurais pas du lancer le téléchargement des 10mo du FDIS pour vérifier que le lien était correct

Edit 2 : ça fait chaud au cœur, la fameuse note qui ouvre chaque draft depuis tant d'année "Note : this is an early draft. It’s known to be incomplet and incorrekt, and it has lots of bad formatting." a enfin disparu !

**r0d** · 13/04/2011, 16h20

M'enfin... j'ai la berlue ou bien il y a une lib de thread prévue par ce standard?

**Klaim** · 13/04/2011, 16h23

Ben oui, ça fait longtemps qu'elle est prévue! Tu as même une implémentation de cette bibliothèque standard C++2011 dispo (pour quelques sous) là : http://www.stdthread.co.uk/

**Jean-Marc.Bourguet** · 13/04/2011, 17h31

Envoyé par Arzar

Edit 2 : ça fait chaud au cœur, la fameuse note qui ouvre chaque draft depuis tant d'année "Note : this is an early draft. It’s known to be incomplet and incorrekt, and it has lots of bad formatting." a enfin disparu !

C'est present dans n3291 mais pas dans n3290, tout comme ce n'etait pas present dans les versions destinees aux commentaires nationaux.

**guillaume07** · 15/04/2011, 20h18

petite question concernant le mot clef alignof :

si alignof(aType) renvoie 8 que faut-il en déduire ?

**Médinoc** · 15/04/2011, 21h38

Que les trois derniers bits d'un pointeur sur ce type doivent toujours être nuls, je pense.
Aussi, que sizeof(aType) est aussi multiple de 8, vu que la taille est paddée pour satisfaire les contraintes d'alignement (une structure de 17 octets en fera au moins 24, pour qu'on puisse en allouer un tableau).