Un spécificateur applique des informations supplémentaires à une définition. Par exemple, le spécificateur d'effet decides sur une définition de fonction marque la fonction comme faillible.
Les spécificateurs appartiennent à l'une des deux sous-catégories suivantes : les spécificateurs d'accès et les spécificateurs d'effet.