Discussion :

[3DArchi]

Dans un billet daté d'hier, Herb Sutter confirme la mise en ordre de marche du groupe ISO WG21 travaillant sur la norme C++.

Cette réunion a été un succès, nous informe-t-il, avec des acteurs majeurs de l'industrie du logiciel (Microsoft, NVidia, Intel) prêts à intégrer des évolutions en avance de phase ! Ce qui confirme le retour en force du C++ dont on observe déjà les signes indicateurs depuis quelques temps.

Mais Herb nous prévient également que la nouvelle norme sera C++1y avec y==7. Il souligne cependant que l'objectif 2017 ne peut être atteint qu'en se concentrant sur une seule évolution majeure et ce malgré le nombre de propositions déjà avancées. Le premier tri ne devrait se faire qu'à la prochaine réunion en octobre.

Côté bibliothèques, le dynamisme devrait être plus important puisque des ajouts pourront avoir lieu entre deux normalisations. Bon espoir d'avoir prochainement quelque chose de natif pour gérer les fichiers (Boost.File System en standard ?) ou le réseau cite en exemple Herb Sutter.

Tout ceci se traduit par la mise en place de quatre groupes de travail chargés d'avancer dans certaines propositions :

• SG1 : Concurrence et parallélisme
• SG2 : Modules
• SG3 : File System
• SG4 : Réseau

Sources : Billet d’Herb Sutter, Comité de standardisation C++


Et vous ?

Puisqu'il ne faut en choisir qu'une, quelle devrait être l'évolution majeure de la prochaine session de normalisation ?

Cinq ans, est trop court ? Trop long ? Une bonne fréquence ?

[kdmbella]

A mon avis on doit ce concentrer sur le SG4 : Réseau; d'autre part 5ans ça me semble acceptable en terme de délais donc c'est une bonne fréquence, histoire d'avoir un retour massif des utilisateurs et ainsi de pouvoir plancher sur ce qui semble prioritaire en terme de demande de l'industrie.

[gbdivers]

Ma préférence va pour le SG1 (Concurrence et parallélisme) puis pour SG2 (Module). J'ai l'impression que ces points nécessite des modifications du langage plus important que les 2 autres. La gestion du réseau et les file system fonctionne très bien actuellement sans (trop de ?) hack code tordu pour les faire fonctionner dans le langage actuel.

Le délai de 5 ans ? C'est long si l'on considère que la programmation parallèle, c'est pour maintenant (et pour hier). J'ai l'impression que le C++ a pris du retard pour intégrer ces concepts. Heureusement que l'on ne manque pas de bibliothèques pour compenser cela.
C'est court lorsque l'on considère toutes les difficultés pour mettre en place une sémantique cohérente pour gérer ça.

C'est dommage que l'on n'a pas des cycles plus court pour ce qui est plus "évident". Par exemple les corrections de bugs et évolutions simples (anecdote : j'ai eu une discussion récemment sur le chat concernant les constructeurs de ifsream, qui prend que de char* et pas des string ; ce problème vient d'être corrigé dans la dernière norme alors qu'il a été identifié il y a au moins 10 ans, de mémoire). Idem pour les bibliothèques existantes, fonctionnelles et très utilisées (et donc très stables), qui pourraient être intégré dans la STL plus rapidement (comme par exemple file system, qui est bien implémentée dans Boost ; d'ailleurs, lorsque une bibliothèque passe de Boost à la STL, elles sont fortement modifiées ou elles sont prises presque telle quelle ?) Heureusement que les compilateurs n'attendent pas la publication officielle de la norme pour commencer à implémenter ces nouvelles fonctionnalités.

Pour terminer, on pourrait regretter (en ayant une vision simpliste ?) que le langage n'est pas un précurseur pour les nouvelles fonctionnalités ajoutées mais qu'il ne fait qu'intégrer, avec du retard, des fonctionnalités qui sont déjà dans beaucoup de langage. D'un autre côté, le choix fait (et assumé) des normalisateurs (normeurs ? bonhommes de la normes ? le comité de normalisation !) de se focaliser sur le langage et pas ses extensions fait qu'il permet justement d'ajouter des nouvelles fonctionnalités dans des bibliothèques plutôt que d'avoir un langage usine à gaz
A quand une meilleure prise en charge des concepts ? de la programmation fonctionnelles ?

[barmic]

Ce que j'attends le plus c'est SG2.

Mais ce que beaucoup de monde aimerait vraiment voir c'est les concepts !

[mitkl]

Qu'est-ce qui se cache derrière le SG2 : Modules en fait ?

[gbdivers]

Qu'est-ce qui se cache derrière le SG2 : Modules en fait ?

Tu as tout dans le draft du dernier WG21 : http://www.open-std.org/jtc1/sc22/wg...2012/n3347.pdf
Pour toutes la liste de propositions : http://www.open-std.org/jtc1/sc22/wg...s/papers/2012/

[Niark13]

Bonjour,

Cinq ans me semble une bonne fréquence, cela permet l'inclusion de suffisamment de nouveautés sans trop attendre (l'accouchement de C++0x a été trop long).

Côté évolutions du langage, ma préférence irait à static_if et aux template constraints (si elles étaient retenues). Côté bibliothèque, les groupes SG4 et SG1 me semblent plus stratégiques que les deux autres.

[alecool]

Réseau et FileSystem sont déjà suffisamment accessibles par les bibliothèques. En revanche, Modules et parallélisme offrent plus de potentiel d'évolution des pratiques et des possibilités, et me semblent donc plus importantes.

[rakotoarisoatahiana]

En tant que formateur en C++, j'aimerais bien que la programmation parallèle soit bien structurée. Par exemple, _beginthread devrait avoir comme paramètre une INSTRUCTION et non pas un nom de programme, etc. Ce qui permettrait de l'utiliser dans une classe ou avec un programme générique (template). Ex: tri par tas en utilisant un thread par niveau.

On devrait aussi avoir la même instruction _beginthread sur Windows ou Linux ou autre plate-forme.

On devrait pouvoir passer un programme générique en tant que paramètre d'un autre programme.

On devrait avoir des pointeurs sur des classes, surtout pour les débutants.
Ex : listes chaînées :

Code :

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

1
2
3
4
5
template<class t>
class list { public :
   t info ;
   list suiv ;
}*

[cob59]

En tant que formateur en C++, j'aimerais bien que la programmation parallèle soit bien structurée. Par exemple, _beginthread devrait avoir comme paramètre une INSTRUCTION et non pas un nom de programme, etc. Ce qui permettrait de l'utiliser dans une classe ou avec un programme générique (template). Ex: tri par tas en utilisant un thread par niveau.

On devrait aussi avoir la même instruction _beginthread sur Windows ou Linux ou autre plate-forme.

On devrait pouvoir passer un programme générique en tant que paramètre d'un autre programme.

On devrait avoir des pointeurs sur des classes, surtout pour les débutants.
Ex : listes chaînées :

Code :

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

1
2
3
4
5
template<class t>
class list { public :
   t info ;
   list suiv ;
}*

_beginthread et tout ce qui se trouve dans process.h ne répondent à aucun standard C/C++. C'est un header mis à disposition par Microsoft, donc le comité n'a pas à mettre sont nez là-dedans.
Par contre, pour multithreader de manière portable et ergonomique il existe Boost.Thread de longue date, Boost étant une quasi-norme C++. Par ailleurs depuis C++11, la STL seule permet de faire du multithread via std::thread.
Par contre je ne comprends pas le problème que pose ton exemple...
list<T>* chainon = new list<T> ?

[gbdivers]

En tant que formateur en C++, j'aimerais bien que la programmation parallèle soit bien structurée. Par exemple, _beginthread devrait avoir comme paramètre une INSTRUCTION et non pas un nom de programme, etc. Ce qui permettrait de l'utiliser dans une classe ou avec un programme générique (template). Ex: tri par tas en utilisant un thread par niveau.

On devrait pouvoir passer un programme générique en tant que paramètre d'un autre programme.

Connais-tu les threads avec le C++11 (FAQ Stroustrup), avec Boost ou avec Qt (QThread et QtConcurrent) ? Connais tu les différences de syntaxe, utilisabilité, performance, etc. entre ces approches ? (ce ne sont pas des questions pièges, je ne connais pas du tout les threads mode msn)

De plus, on parle bien dans cette discussion de la prochaine normes (C++17 ?), donc les modifications/ajouts qui doivent être fait au C++11. Ce que tu proposes n'est pas déjà pris en compte (totalement ou en partie) dans le C++11 ?

On devrait aussi avoir la même instruction _beginthread sur Windows ou Linux ou autre plate-forme.

Tu parles de portabilité. Pourquoi avoir choisit les outils spécifique msn au lieu de bibliothèques plus portable ?

On devrait avoir des pointeurs sur des classes, surtout pour les débutants.
Ex : listes chaînées :

Code :

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

1
2
3
4
5
template<class t>
class list { public :
   t info ;
   list suiv ;
}*

Je ne connais pas du tout les pointeurs sur classes. C'est quoi la différence avec les pointeurs sur objet ?
Et pour les débutants, clairement, c'est non (pour moi, même sans savoir ce que c'est) : je déconseille très fortement l’utilisation des pointeurs par les débutants (alternatives : conteneurs à la place des tableaux dynamiques style C, références, pointeurs intelligents)

[Joker-eph]

La programmation parallèle est clairement un challenge, je vote pour SG1 sans hésiter

[DakM]

Je ne comprend pas énormement les deux premiers SG. Mais je vote à 200% pour réseau et fichier !

Malgrè un bon fonctionnement des fonctions relatives aux sockets et aux fichiers/dossiers, je trouve ca vraiment dommage qu'elles ne sont pas portables, et surtout, qu'elle ne fonctionnent qu'avec des mini-hacks à gros renforts de C, de char*.

SG3 & SG4. !

[gbdivers]

L'évolution du langage C++ s'accélère
10 groupes d'études et plusieurs nouvelles dates de sortie pour les prochaines normes


Depuis la première annonce l'année dernière, le comité à fait plein de petits bébés : la famille s'est agrandie et compte maintenant 10 SG (study group), 4 WG (working group) et un comité.



Les working groups ont pour rôle de proposer les modifications à apporter à la norme, modifications qui seront approuvées, ou non, par le comité de normalisation.

• le core working group (CWG) a la charge des corrections sur le langage (chapitres 1 à 16 de la norme) ;
• l'evolution working group (EWG) travaille sur l'évolution du langage (travaux qui sont délégués aux study groups) ;
• le library working group (LWG) s'occupe de le maintenance de la bibliothèque standard (chapitres 17 et suivants de la norme) ;
• le library evolution working groupe (LEWG) est responsable de l'évolution de la bibliothèque standard (travaux qui sont délégués aux study groups).

Les study groups ont la charge d'étudier les évolutions du langage (SG 1, 2, 5, 7, 8 et 10) et de la bibliothèque (SG 3, 4, 6 et 9) sur des thèmes spécifiques et de proposer des modifications de la norme aux WG :

• SG1 Concurrency : concurrence et parallélisme ;
• SG2 Modules : utilisation de modules à la place du système d'en-têtes ;
• SG3 File System : gestion des fichiers (basé sur Boost.Filesystem v3) ;
• SG4 Networking : gestion du réseau, sockets et HTTP ;
• SG5 Transactional Memory : mémoires transactionnelles (mémoire permettant de créer un ensemble indivisible d'écriture et lecture) ;
• SG6 Numerics : analyse numérique, nombres réels fixes et flottants, fractions ;
• SG7 Reflection : réflexion à la compilation ;
• SG8 Concepts : ajout de contraintes sur les types ;
• SG9 Ranges : alternative aux itérateurs ;
• SG10 Feature Test : standardisation des tests.

Au niveau du planning, le comité s'active, avec plus d'une centaine de propositions pour le congrès de Bristol (voir la discussion [ISOC++] Mailing pre-Bristol). En plus de la prochaine norme qui devrait sortir en 2017, le comité prévoit des Technical Specifications, pour les ajouts de fonctionnalités indépendantes, et une révision mineure de la norme en 2014.




Quelles sont les fonctionnalités qui vous intéressent le plus ? Celles que vous auriez aimer avoir ?
Que pensez-vous de l’accélération prise par le comité pour le langage et la bibliothèque standard ?

Source : http://isocpp.org/std/the-committee

[barmic]

On devrait avoir des pointeurs sur des classes, surtout pour les débutants.
Ex : listes chaînées :

Code :

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

1
2
3
4
5
template<class t>
class list { public :
   t info ;
   list suiv ;
}*

Je ne pense pas que ce soit envisageable simplement parce que ça entraine d'énormes refonte dans le langage.

Pour ceux qui n'ont pas compris de quoi il s'agit les pointeurs de classe ça permet, par exemple de passer une classe en paramètre d'une méthode et celle-ci peut entre autre instancier des objets de cette classe.

C'est à mon avis pas faisable à cause du fait que les classes templates sont du code généré et c'est un problème qui, en C++, s'adresse avec les templates justement.

[Klaim]

Je ne pense pas que ce soit envisageable simplement parce que ça entraine d'énormes refonte dans le langage.

Pour ceux qui n'ont pas compris de quoi il s'agit les pointeurs de classe ça permet, par exemple de passer une classe en paramètre d'une méthode et celle-ci peut entre autre instancier des objets de cette classe.

C'est à mon avis pas faisable à cause du fait que les classes templates sont du code généré et c'est un problème qui, en C++, s'adresse avec les templates justement.

De loin je dirais que ca n'a aucun interet parcequ'on peut deja faire la meme chose en C++.

D'abord, via les template on peut avoir le type en question. Si on veut des infos au runtime on peut utiliser type_index pour identifier le type. Si tu veux faire une manip specifique avec le type, genere un lambda qui le manipule et mets le dans une map.
Enfin bref, ya trop de moyens de se passer de "pointeurs de classe".

Et j'imagine que ca sera encore plus simple si les gros chantiers cote reflexion (qui sont a priori necessaires pour rendre le networking attractif) sont mis en place. Par contre apparement ca va pas etre pour tout de suite...

[germinolegrand]

Très clairement pour moi File System, Networking et Ranges sont les seuls à m'intéresser.

Les modules ça a l'air cool comme ça, mais ça rajoute un truc à apprendre parce que c'est pas comme si ça remplaçait les #include. Bon, ça accélère la compilation sans affecter les performances du résultat je crois, donc je suis pas contre. Mais ça ne m'intéresse pas plus que ça, si ça y est pourquoi pas si ça y est pas je m'en passe fort bien.

Pour le reste je suis pas contre mais je n'en ai pas besoin.

Passons donc à ce qui m'intéresse .

Le File System, ça y'en a besoin. Clairement. La gestion des fichiers en C++ c'est une boucherie. (Si au passage ils pouvaient améliorer les stream je serais pas contre mais je rêve pas faudrait une modification du langage pour ça).

Le Networking : de la standardisation là dessus ça peut pas faire de mal, c'est le foutoir pardonnez moi l'expression.

Pour les ranges, je m'intéresse à la question parce que je travaille bien plus souvent sur des conteneurs complets que sur une partie (voire toujours, sauf si l'algo est vraiment tordu/optimisé à mort). De plus, il faudrait qu'il soit simple de fournir des ranges dans l'interface d'une classe, chose qui n'est pas vraiment agréable avec les itérateurs.

[Klaim]

Les modules ça a l'air cool comme ça, mais ça rajoute un truc à apprendre parce que c'est pas comme si ça remplaçait les #include. Bon, ça accélère la compilation sans affecter les performances du résultat je crois, donc je suis pas contre. Mais ça ne m'intéresse pas plus que ça, si ça y est pourquoi pas si ça y est pas je m'en passe fort bien.

Je sais pas pour toi mais perso le probleme N1 du C++ en pratique c'est bien la lenteur de la compilation, meme apres avoir fais en sorte de minimiser les degats.

L'autre truc c'est qu'q priori les module vont justement retirer la necessite de comprendre pas mal de trucs lies aux headers (si ils vont par la solution sans headers mais c'est pas clair ou on en est...)

[guillaume07]

avec les modules il n'y aurait plus de définition séparée de l'implementation ?

[Pierre le Grand]

Un équivalent d'AWT ou de Swing qui rendrait C++ portable sur tous les OS graphiques serait le bienvenue.

Il suffirait de reprendre la devise de Lazarus: write ounce, compile anywhere. Un équivalent C++ serait très utile par ce que point de vue langage, Lazarus est faible. Par exemple, ses arbres AVL contiennent des pointeurs sans type (void * en C++) ce qui n'offre aucune sécurité de type.