Livrer un C++ s�r, par Bjarne Stroustrup au CppCon 2023

La s�curit� des types �tait l'un des id�aux initiaux de la conception du C++. Nous avons fait �voluer le C++ jusqu'au point o� nous pouvons �crire du C++ sans violation du syst�me de types, sans fuite de ressources, sans corruption de la m�moire, sans ramasse-miettes, sans limitation de l'expressivit� ou sans d�gradation des performances par rapport � un C++ moderne bien �crit.

Nous sommes confront�s � trois d�fis majeurs : D�finir ce que signifie "s�r" dans le contexte des diverses utilisations du C++, garantir cette s�curit� l� o� des garanties sont n�cessaires, et amener les d�veloppeurs � �crire ce code s�r v�rifi�.

Bjarne Stroustrup expose une approche bas�e sur les profils de s�curit� pour relever ces d�fis et d�cris une approche pour �liminer les pointeurs pendants. Il sugg�re comment �liminer tous les pointeurs pendants et toutes les erreurs de plage. Son objectif pour les applications cl�s est un code C++ v�rifi� s�r au niveau des types et des ressources. L'accent est mis sur la minimisation des v�rifications co�teuses au moment de l'ex�cution gr�ce � l'utilisation d'abstractions. Il voit l'accent mis actuellement sur la s�curit� comme une opportunit� de compl�ter un aspect des objectifs fondamentaux du C++ dans le code du monde r�el.


Bjarne Stroustrup

Bjarne Stroustrup est le concepteur et l'impl�menteur original du langage C++, ainsi que l'auteur du langage de programmation C++ (4e �dition) et de A Tour of C++ (3e �dition), Programming : Principles and Practice using C++ (2e �dition), ainsi que de nombreuses publications populaires et universitaires. Il est professeur d'informatique � l'universit� Columbia de New York. Stroustrup est membre de l'Acad�mie nationale d'ing�nierie des �tats-Unis et membre de l'IEEE, de l'ACM et de la CHM. Il a re�u le prix Charles Stark Draper 2018, le prix Computer Pioneer 2018 de l'IEEE Computer Society et la m�daille Faraday 2017 de l'IET. Il a r�alis� la plupart de ses travaux les plus importants aux Bell Labs. Ses recherches portent sur les syst�mes distribu�s, la conception, les techniques de programmation, les outils de d�veloppement logiciel et les langages de programmation. Pour faire du C++ une base stable et actualis�e pour le d�veloppement de logiciels dans le monde r�el, il a jou� un r�le de premier plan dans l'effort de normalisation ISO C++ pendant plus de 30 ans. Il est titulaire d'une ma�trise en math�matiques de l'universit� d'Aarhus, o� il est professeur honoraire au d�partement d'informatique, et d'un doctorat en informatique de l'universit� de Cambridge, o� il est membre honoraire du Churchill College. www.stroustrup.com

Et vous ?

Quel est votre avis sur le sujet ?

Voir aussi :

Bjarne Stroustrup, 72 ans, cr�ateur du langage C++, partage ses conseils de vie et a �galement racont� comment il est devenu programmeur par erreur

Bjarne Stroustrup, cr�ateur du C++, s'exprime sur les syst�mes distribu�s, la s�curit� des types et sur des langages concurrents comme Rust et Java

Bjarne Stroustrup publie un article dans lequel il explique comment C++ a r�ussi � s'�panouir dans un monde surpeupl� de langages et changeant de 2006 � 2020