Типы параметров функции могут быть заданы (#8.4) и будут проверяться (#7.1). Могут выполняться преобразования типов (# 7.1).
Для выражений с числами с плавающей точкой может исползоваться плавающая арифметика одинарной точности; #6.2.
Имена функций могут быть перегружены; #8.9.
Операции могут быть перегружены; 7.16, #8.5.11.
Функции могут быть inline-подставляемыми; #8.1.
Объекты данных могут быть константными (const); #8.3.
Могут быть описаны объекты ссылочного типа; #8.4, #8.6.3
Операции new и delete обеспечивают свободное хранение в памяти, #7.2.
Классы могут обеспечивать сокрытие данных (#8.5.9), грантированную инициализацию (#8.6.2), определяемые пользовтелем преобразвания (#8.5.6), и динамическое типизирование через использование виртуальных функций (#8.5.4).
Имя класса или перечисления является именем типа; #8.5.
Любой указатель может присваиваться void* без применеия приведения к типу; #7.14.
Описание внутри блока является оператором; #9.14.
Можно описывать безымянные объединения; #8.5.13.