Dans un programme C++, les données proviennent d’une source, sont modifiées plusieurs fois et finissent par être complètement différentes. Au cours du traitement, les données peuvent changer de type au fur et à mesure qu’elles sont traitées, ce qui reflète les changements subits. En tant que programmeurs, nous concevons un ensemble de types qui reflète la signification sémantique des données, leur structure et leur état actuel. Idéalement, le système de types de C++ devrait nous donner tout le vocabulaire dont nous avons besoin.