C++

C++
C++
Семантика	мультипарадигмальный: объектно-ориентированное, обобщённое, процедурное, метапрограммирование
Класс языка	объектно-ориентированный, мультипарадигмальный, процедурный язык программирования, язык функционального программирования, язык обобщённого программирования[d], язык программирования, free-form language[d] и компилируемый язык программирования
Тип исполнения	компилируемый
Появился в	1983
Автор	Бьёрн Страуструп
Расширение файлов	.cc, .cpp, .cxx, .c, .c++, .h, .hpp, .hh, .hxx или .h++
Выпуск	C++20 (декабрь 2020);
Система типов	статическая
Основные реализации	GNU C++, Microsoft Visual C++, Intel C++ compiler, Open64 C++ Compiler, Clang, Comeau C/C++[англ.], Embarcadero C++ Builder, Watcom C++ compiler, Digital Mars C++, Oracle Solaris Studio C++ compiler, Turbo C++
Диалекты	ISO/IEC 14882 C++
Испытал влияние	Си, Симула, Алгол 68, Клу, ML и Ада
Сайт	isocpp.org (англ.)
	Медиафайлы на Викискладе

Отпатрулированная версия этой страницы, проверенная 3 августа 2019, была основана на этой версии.

C++ (читается си-плюс-плюс^[2]^[3]) — компилируемый, статически типизированный язык программирования общего назначения.

Поддерживает такие парадигмы программирования, как процедурное программирование, объектно-ориентированное программирование, обобщённое программирование. Язык имеет богатую стандартную библиотеку, которая включает в себя распространённые контейнеры и алгоритмы, ввод-вывод, регулярные выражения, поддержку многопоточности и другие возможности. C++ сочетает свойства как высокоуровневых, так и низкоуровневых языков.^[4]^[5] В сравнении с его предшественником — языком C, — наибольшее внимание уделено поддержке объектно-ориентированного и обобщённого программирования.^[5]

C++ широко используется для разработки программного обеспечения, являясь одним из самых популярных языков программирования^{[мнения 1]}^{[мнения 2]}. Область его применения включает создание операционных систем, разнообразных прикладных программ, драйверов устройств, приложений для встраиваемых систем, высокопроизводительных серверов, а также игр. Существует множество реализаций языка C++, как бесплатных, так и коммерческих и для различных платформ. Например, на платформе x86 это GCC, Visual C++, Intel C++ Compiler, Embarcadero (Borland) C++ Builder и другие. C++ оказал огромное влияние на другие языки программирования, в первую очередь на Java и C#.

Синтаксис C++ унаследован от языка C. Одним из принципов разработки было сохранение совместимости с C. Тем не менее, C++ не является в строгом смысле надмножеством C; множество программ, которые могут одинаково успешно транслироваться как компиляторами C, так и компиляторами C++, довольно велико, но не включает все возможные программы на C.

История

Исторический этап развития^[6]	Год
Язык BCPL	1966
Язык Би (оригинальная разработка Томпсона под UNIX)	1969
Язык Си	1972
Си с классами	1980
C84	1984
Cfront (выпуск E)	1984
Cfront (выпуск 1.0)	1985
Множественное/виртуальное наследование	1988
Обобщённое программирование (шаблоны)	1991
ANSI C++ / ISO-C++	1996
ISO/IEC 14882:1998	1998
ISO/IEC 14882:2003	2003
C++/CLI	2005
TR1	2005
C++11	2011
C++14	2014
C++17	2017

Создание

Язык возник в начале 1980-х годов, когда сотрудник фирмы Bell Labs Бьёрн Страуструп придумал ряд усовершенствований к языку C под собственные нужды. ^[7] Когда в конце 1970-х годов Страуструп начал работать в Bell Labs над задачами теории очередей (в приложении к моделированию телефонных вызовов), он обнаружил, что попытки применения существующих в то время языков моделирования оказываются неэффективными, а применение высокоэффективных машинных языков слишком сложно из-за их ограниченной выразительности. Так, язык Симула имеет такие возможности, которые были бы очень полезны для разработки большого программного обеспечения, но работает слишком медленно, а язык BCPL достаточно быстр, но слишком близок к языкам низкого уровня и не подходит для разработки большого программного обеспечения.

Вспомнив опыт своей диссертации, Страуструп решил дополнить язык C (преемник BCPL) возможностями, имеющимися в языке Симула. Язык C, будучи базовым языком системы UNIX, на которой работали компьютеры Bell, является быстрым, многофункциональным и переносимым. Страуструп добавил к нему возможность работы с классами и объектами. В результате практические задачи моделирования оказались доступными для решения как с точки зрения времени разработки (благодаря использованию Симула-подобных классов), так и с точки зрения времени вычислений (благодаря быстродействию C). В первую очередь в C были добавлены классы (с инкапсуляцией), наследование классов, строгая проверка типов, inline-функции и аргументы по умолчанию. Ранние версии языка, первоначально именовавшегося «C with classes» («Си с классами»), стали доступны с 1980 года.

Разрабатывая C с классами, Страуструп написал программу cfront^?! — транслятор, перерабатывающий исходный код C с классами в исходный код простого C. Это позволило работать над новым языком и использовать его на практике, применяя уже имеющуюся в UNIX инфраструктуру для разработки на C. Новый язык, неожиданно для автора, приобрёл большую популярность среди коллег и вскоре Страуструп уже не мог лично поддерживать его, отвечая на тысячи вопросов.

К 1983 году в язык были добавлены новые возможности, такие как виртуальные функции, перегрузка функций и операторов, ссылки, константы, пользовательский контроль над управлением свободной памятью, улучшенная проверка типов и новый стиль комментариев (//). Получившийся язык уже перестал быть просто дополненной версией классического C и был переименован из C с классами в «C++». Его первый коммерческий выпуск состоялся в октябре 1985 года.

До начала официальной стандартизации язык развивался в основном силами Страуструпа в ответ на запросы программистского сообщества. Функцию стандартных описаний языка выполняли написанные Страуструпом печатные работы по C++ (описание языка, справочное руководство и так далее). Лишь в 1998 году был ратифицирован международный стандарт языка C++: ISO/IEC 14882:1998 «Standard for the C++ Programming Language»; после принятия технических исправлений к стандарту в 2003 году — следующая версия этого стандарта — ISO/IEC 14882:2003.^[8]

Развитие и стандартизация языка

В 1985 году вышло первое издание «Языка программирования C++», обеспечивающее первое описание этого языка, что было чрезвычайно важно из-за отсутствия официального стандарта. В 1989 году состоялся выход C++ версии 2.0. Его новые возможности включали множественное наследование, абстрактные классы, статические функции-члены, функции-константы и защищённые члены. В 1990 году вышло «Комментированное справочное руководство по C++», положенное впоследствии в основу стандарта. Последние обновления включали шаблоны, исключения, пространства имён, новые способы приведения типов и булевский тип.

Стандартная библиотека C++ также развивалась вместе с ним. Первым добавлением к стандартной библиотеке C++ стали потоки ввода-вывода, обеспечивающие средства для замены традиционных функций C printf и scanf. Позднее самым значительным развитием стандартной библиотеки стало включение в неё Стандартной библиотеки шаблонов.

В 1998 году был опубликован стандарт языка ISO/IEC 14882:1998 (известный как C++98),^[9] разработанный комитетом по стандартизации C++ (ISO/IEC JTC1/SC22/WG21 working group). Стандарт C++ не описывает способы именования объектов, некоторые детали обработки исключений и другие возможности, связанные с деталями реализации, что делает несовместимым объектный код, созданный различными компиляторами. Однако для этого третьими лицами создано множество стандартов для конкретных архитектур и операционных систем.

В 2003 году был опубликован стандарт языка ISO/IEC 14882:2003, где были исправлены выявленные ошибки и недочёты предыдущей версии стандарта.

В 2005 году был выпущен отчёт Library Technical Report 1 (кратко называемый TR1). Не являясь официально частью стандарта, отчёт описывает расширения стандартной библиотеки, которые, как ожидалось авторами, должны быть включены в следующую версию языка C++. Степень поддержки TR1 улучшается почти во всех поддерживаемых компиляторах языка C++.

С 2009 года велась работа по обновлению предыдущего стандарта. Предварительной версией нового стандарта сперва был C++09, а спустя год — C++0x (впоследствии переименованный в C++11), куда были включены дополнения в ядро языка и расширение стандартной библиотеки, в том числе большую часть TR1.

C++ продолжает развиваться, чтобы отвечать современным требованиям. Одна из групп, разрабатывающих язык C++ и направляющих комитету по стандартизации C++ предложения по его улучшению — это Boost, которая занимается, в том числе, совершенствованием возможностей языка путём добавления в него особенностей метапрограммирования.

Никто не обладает правами на язык C++, он является свободным. Однако сам документ стандарта языка (за исключением черновиков) не доступен бесплатно.^[10] В рамках процесса стандартизации, ISO выпускает несколько видов изданий. В частности, технические доклады и технические характеристики публикуются, когда «видно будущее, но нет немедленной возможности соглашения для публикации международного стандарта.» До 2011 года было опубликовано три технических отчёта по C++: TR 19768: 2007 (также известный как C++, Технический отчёт 1) для расширений библиотеки в основном интегрирован в C++11, TR 29124: 2010 для специальных математических функций, и TR 24733: 2011 для десятичной арифметики с плавающей точкой. Техническая спецификация DTS 18822:. 2 014 (по файловой системе) была утверждена в начале 2015 года, и остальные технические характеристики находятся в стадии разработки и ожидают одобрения^[11]

В марте 2016 года в России была создана рабочая группа РГ21 С++. Группа была организована для сбора предложений к стандарту C++, отправки их в комитет и защиты на общих собраниях Международной организации по стандартизации (ISO)^[12].

История названия

Имя языка, получившееся в итоге, происходит от оператора унарного постфиксного инкремента C ++ (увеличение значения переменной на единицу). Имя C+ не было использовано потому, что является синтаксической ошибкой в C и, кроме того, это имя было занято другим языком. Язык также не был назван D, поскольку «является расширением C и не пытается устранять проблемы путём удаления элементов C».^[7]

Философия C++

В книге «Дизайн и эволюция C++» ^[13] Бьёрн Страуструп описывает принципы, которых он придерживался при проектировании C++. Эти принципы объясняют, почему C++ именно такой, какой он есть. Некоторые из них:

Получить универсальный язык со статическими типами данных, эффективностью и переносимостью языка C.
Непосредственно и всесторонне поддерживать множество стилей программирования, в том числе процедурное программирование, абстракцию данных, объектно-ориентированное программирование и обобщённое программирование.
Дать программисту свободу выбора, даже если это даст ему возможность выбирать неправильно.
Максимально сохранить совместимость с C, тем самым делая возможным лёгкий переход от программирования на C.
Избежать разночтений между C и C++: любая конструкция, допустимая в обоих языках, должна в каждом из них обозначать одно и то же и приводить к одному и тому же поведению программы.
Избегать особенностей, которые зависят от платформы или не являются универсальными.
«Не платить за то, что не используется» — никакое языковое средство не должно приводить к снижению производительности программ, не использующих его.
Не требовать слишком усложнённой среды программирования.

Обзор языка

Стандарт C++ состоит из двух основных частей: описание ядра языка и описание стандартной библиотеки.

Первое время язык развивался вне формальных рамок, спонтанно, по мере встававших перед ним задач. Развитию языка сопутствовало развитие кросс-компилятора cfront. Новшества в языке отражались в изменении номера версии кросс-компилятора. Эти номера версий кросс-компилятора распространялись и на сам язык, но применительно к настоящему времени речь о версиях языка C++ не ведут. Лишь в 1998 году язык стал стандартизированным.

C++ поддерживает как комментарии в стиле C (/* комментарий */), так и однострочные (// вся оставшаяся часть строки является комментарием), где // обозначает начало комментария, а ближайший последующий символ новой строки, который не предварён символом \ (либо эквивалентным ему обозначением ??/), считается окончанием комментария. Плюс этого комментария в том, что его не обязательно заканчивать, то есть обозначать окончание комментария.
Спецификатор inline для функций. Функция, определённая внутри тела класса, является inline по умолчанию. Данный спецификатор является подсказкой компилятору и может встроить тело функции в код вместо её непосредственного вызова.
Квалификаторы const и volatile. В отличие от С, где const обозначает только доступ на чтение, в C++ переменная с квалификатором const должна быть инициализирована. volatile используется в описании переменных и информирует компилятор, что значение данной переменной может быть изменено способом, который компилятор не в состоянии отследить. Для переменных, объявленных volatile, компилятор не должен применять средства оптимизации, изменяющие положение переменной в памяти (например, помещающие её в регистр) или полагающиеся на неизменность значения переменной в промежутке между двумя присваиваниями ей значения. В многоядерной системе volatile помогает избегать барьеров памяти 2-го типа^{[источник не указан 4000 дней]}.
Пространства имён (namespace). Пример:

namespace Foo
{
   const int x=5;
}
const int y = Foo::x;

Специальным случаем является безымянное пространство имён. Все имена, описанные в нём, доступны только в текущей единице трансляции и имеют локальное связывание. Пространство имён std содержит в себе стандартные библиотеки C++.

Для работы с памятью введены операторы new, new[], delete и delete[]. В отличие от библиотечных malloc и free, пришедших из C, данные операторы производят инициализацию объекта. Для классов это вызов конструктора, для POD типов инициализацию можно либо не проводить(new Pod;), либо провести инициализацию нулевыми значениями (new Pod(); new Pod{};).

Типы

В C++ доступны следующие встроенные типы. Типы C++ практически полностью повторяют типы данных в C:

Символьные: char, wchar_t (char16_t и char32_t, в стандарте C++11).
Целочисленные знаковые: signed char, short int, int, long int (и long long, в стандарте C++11).
Целочисленные беззнаковые: unsigned char, unsigned short int, unsigned int, unsigned long int(и unsigned long long, в стандарте C++11).
С плавающей точкой: float, double, long double.
Логический: bool, имеющий значения true или false.

Операции сравнения возвращают тип bool. Выражения в скобках после if, while приводятся к типу bool.^[14]

Язык ввёл понятие ссылок, а начиная с одиннадцатой версии стандарта rvalue-ссылки и передаваемые ссылки (англ. forwarding reference). (см. Ссылка (C++))

C++ добавляет к C объектно-ориентированные возможности. Он вводит классы, которые обеспечивают три самых важных свойства ООП: инкапсуляцию, наследование и полиморфизм.

В стандарте C++ под классом (class) подразумевается пользовательский тип, объявленный с использованием одного из ключевых слов class, struct или union, под структурой (structure) подразумевается класс, определённый через ключевое слово struct, и под объединением (union) подразумевается класс, определённый через ключевое слово union.

В теле определения класса можно указать как объявления функций, так и их определение. В последнем случае функция является встраиваемой (inline)). Нестатические функции-члены могут иметь квалификаторы const и volatile, а также ссылочный квалификатор (& или &&).

Наследование

C++ поддерживает множественное наследование. Базовые классы (классы-предки) указываются в заголовке описания класса, возможно, со спецификаторами доступа. Наследование от каждого класса может быть публичным, защищённым или закрытым:

Доступ члена базового класса/режим наследования	private-член	protected-член	public-член
private-наследование	недоступен	private	private
protected-наследование	недоступен	protected	protected
public-наследование	недоступен	protected	public

По умолчанию базовый класс наследуется как private.

В результате наследования класс-потомок получает все поля классов-предков и все их методы; можно сказать, что каждый экземпляр класса-потомка содержит подэкземпляр каждого из классов-предков. Если один класс-предок наследуется несколько раз (это возможно, если он является предком нескольких базовых классов создаваемого класса), то экземпляры класса-потомка будет включать столько же подэкземпляров данного класса-предка. Чтобы избежать такого эффекта, если он нежелателен, C++ поддерживает концепцию виртуального наследования. При наследовании базовый класс может объявляться виртуальным; на все виртуальные вхождения класса-предка в дерево наследования класса-потомка в потомке создаётся только один подэкземпляр.

Полиморфизм

C++ поддерживает динамический полиморфизм и параметрический полиморфизм.

Параметрический полиморфизм представлен:

Аргументами по умолчанию для функций. К примеру, для функции void f(int x, int y=5, int z=10), вызовы f(1), f(1,5) и f(1,5,10) эквивалентны.
Перегрузка функций: функция с одним именем может иметь разное число и разные по типу аргументы. Например :
```
void Print(int x);
void Print(double x);
void Print(int x, int y);
```

Частным случаем перегрузки функций можно считать перегрузку операторов.

Механизмом шаблонов

Динамический полиморфизм реализуется с помощью виртуальных методов и иерархии наследования. Полиморфным в C++ является тип имеющий хотя бы один виртуальный метод. Пример иерархии:

class Figure
{
public:
    virtual void Draw() = 0; // чистый виртуальный метод
    virtual ~Figure();       // при наличии хотя бы одного виртуального метода деструктор следует сделать виртуальным
};

class Square : public Figure
{
public:
    void Draw() override;
};

class Circle : public Figure
{
public:
    void Draw() override;
};

Здесь класс Figure является абстрактным (и, даже, интерфейсным), так как метод Draw не определён. Объекты данного класса нельзя создать, зато можно использовать ссылки или указатели с типом Figure. Выбор реализации метода Draw будет производиться во время выполнения исходя из реального типа объекта.

Инкапсуляция

Инкапсуляция в C++ реализуется через указание уровня доступа к членам класса: они бывают публичными (открытыми, public), защищёнными (protected) и приватными (закрытыми, private). В C++ структуры формально отличаются от классов лишь тем, что по умолчанию уровень доступа к членам класса и тип наследования у структуры публичные, а у класса — приватные.

Доступ	private	protected	public
Сам класс	да	да	да
Друзья	да	да	да
Наследники	нет	да	да
Извне	нет	нет	да

Проверка доступа происходит во время компиляции, попытка обращения к недоступному члену класса вызовет ошибку компиляции.

Друзья

Функции-друзья — это функции, не являющиеся функциями-членами и тем не менее имеющие доступ к защищённым и закрытым членам класса. Они должны быть объявлены в теле класса как friend. Например:

class Matrix {
    friend Matrix Multiply(Matrix m1, Matrix m2);
};

Здесь функция Multiply может обращаться к любым полям и функциям-членам класса Matrix.

Дружественным может быть объявлен как весь класс, так и функция-член класса. Четыре важных ограничения, накладываемых на отношения дружественности в C++:

Дружественность не транзитивна. Если A объявляет другом B, а B, в свою очередь, объявляет другом C, то C не становится автоматически другом для A. Для этого A должен явно объявить C своим другом.
Дружественность не взаимна. Если класс A объявляет другом класс B, то он не становится автоматически другом для B. Для этого должно существовать явное объявление дружественности A в классе B.
Дружественность не наследуется. Если A объявляет класс B своим другом, то потомки B не становятся автоматически друзьями A. Для этого каждый из них должен быть объявлен другом A в явной форме.
Дружественность не распространяется на потомков. Если класс A объявляет B другом, то B не становится автоматически другом для классов-потомков A. Каждый потомок, если это нужно, должен объявить B своим другом самостоятельно.

В общем виде это правило можно сформулировать следующим образом: «Отношение дружественности существует только между теми классами (классом и функцией), для которых оно явно объявлено в коде, и действует только в том направлении, в котором оно объявлено».

Специальные функции

Класс по умолчанию может иметь шесть специальных функций: конструктор по умолчанию, конструктор копирования, конструктор перемещения, деструктор, оператор присваивания копированием, оператор присваивания перемещением. Также можно явно определить их все (см. Правило трёх).

class Array {
public:
	Array() = default; // компилятор создаст конструктор по-умолчанию сам
	Array(size_t _len) :
			len(_len) {
		val = new double[_len];
	}
	Array(const Array & a) = delete;  // конструктор копирования явно удалён
	Array(Array && a); // конструктор перемещения
	~Array() {
		delete[] val;
	}
	Array& operator=(const Array& rhs); // оператор присваивания копированием
	Array& operator=(Array&& rhs); // оператор присваивания перемещением
	double& operator[](size_t i) {
		return val[i];
	}
	const double& operator[](size_t i) const {
		return val[i];
	}

protected:
	std::size_t len {0}; // инициализация поля
	double* val {nullptr};
};

Конструктор вызывается для инициализации объекта (соответствующего типа) при его создании, а деструктор — для уничтожения объекта. Класс может иметь несколько конструкторов, но деструктор может иметь только один. Конструкторы в C++ не могут быть объявлены виртуальными, а деструкторы — могут, и обычно объявляются для всех полиморфных типов, чтобы гарантировать правильное уничтожение доступного по ссылке или указателю объекта независимо от того, какого типа ссылка или указатель. При наличии хотя бы у одного из базовых классов виртуального деструктора, деструктор класса потомка автоматически становится виртуальным.

Шаблоны

Шаблоны позволяют порождать функции и классы, параметризованные определённым типом или значением. Например, предыдущий класс мог бы реализовывать массив для любого типа данных:

template <typename T>
class Array {
    ...
    T& operator[](size_t i) {
		return val[i];
	}
protected:
	std::size_t len {0}; // инициализация поля
	T* val {nullptr};
};

Стандартная библиотека

Общая структура

Стандартная библиотека C++ включает в себя набор средств, которые должны быть доступны для любой реализации языка, чтобы обеспечить программистам удобное пользование языковыми средствами и создать базу для разработки как прикладных приложений самого широкого спектра, так и специализированных библиотек. Стандартная библиотека C++ включает в себя часть стандартной библиотеки C. Стандарт C++ содержит нормативную ссылку на стандарт C от 1990 года и не определяет самостоятельно те функции стандартной библиотеки, которые заимствуются из стандартной библиотеки C.

Доступ к возможностям стандартной библиотеки C++ обеспечивается с помощью включения в программу (посредством директивы #include) соответствующих стандартных заголовочных файлов. Всего в стандарте C++11 определено 79 таких файлов. Средства стандартной библиотеки объявляются как входящие в пространство имён std. Заголовочные файлы, имена которых соответствуют шаблону «cX», где X — имя заголовочного файла стандартной библиотеки C без расширения (cstdlib, cstring, cstdio и пр.), содержат объявления, соответствующие данной части стандартной библиотеки C. Стандартные функции библиотеки C также находятся в пространстве имён std.

Состав

Стандартная библиотека включает в себя следующие разделы:

Поддержка языка. Включает средства, которые необходимы для работы программ, а также сведения об особенностях реализации. Выделение памяти, RTTI, базовые исключения, пределы значений для числовых типов данных, базовые средства взаимодействия со средой, такие как системные часы, обработка сигналов UNIX, завершение программы.
Стандартные контейнеры. В стандартную библиотеку входят шаблоны для следующих контейнеров: динамический массив(vector), статический массив(array), одно- и двунаправленные списки(list, forward_list), стек(stack), дек(deque), ассоциативные массивы(map, multimap), множества(set, multiset), очередь с приоритетом(priority_queue).
Основные утилиты. В этот раздел входит описание основных базовых элементов, применяемых в стандартной библиотеке, распределителей памяти и поддержка времени и даты в стиле C.
Итераторы. Обеспечивают шаблоны итераторов, с помощью которых в стандартной библиотеке реализуется стандартный механизм группового применения алгоритмов обработки данных к элементам контейнеров.
Алгоритмы. Шаблоны для описания операций обработки, которые с помощью механизмов стандартной библиотеки могут применяться к любой последовательности элементов, в том числе к элементам в контейнерах. Также в этот раздел входят описания функций bsearch() и qsort() из стандартной библиотеки C.
Строки. Шаблоны строк в стиле C++. Также в этот раздел попадает часть библиотек для работы со строками и символами в стиле C.
Ввод-вывод. Шаблоны и вспомогательные классы для потоков ввода-вывода общего вида, строкового ввода-вывода, манипуляторы (средства управления форматом потокового ввода-вывода в стиле C++).
Локализация. Определения, используемые для поддержки национальных особенностей и форматов представления (дат, валют и т. д.) в стиле C++ и в стиле C.
Диагностика. Определения ряда исключений и механизмов проверки утверждений во время выполнения (assert). Поддержка обработки ошибок в стиле C.
Числа. Определения для работы с комплексными числами, математическими векторами, поддержка общих математических функций, генератор случайных чисел.

Контейнеры, строки, алгоритмы, итераторы и основные утилиты, за исключением заимствований из библиотеки C, собирательно называются STL (Standard Template Library — стандартная шаблонная библиотека). Изначально эта библиотека была отдельным продуктом и её аббревиатура расшифровывалась иначе, но потом она вошла в стандартную библиотеку C++ в качестве неотъемлемого элемента. В названии отражено то, что для реализации средств общего вида (контейнеров, строк, алгоритмов) использованы механизмы обобщённого программирования (шаблоны C++ — template). В работах Страуструпа подробно описываются причины, по которым был сделан именно такой выбор. Основными из них являются бо́льшая универсальность выбранного решения (шаблонные контейнеры, в отличие от объектных, могут легко использоваться для не объектных типов и не требуют наличия общего предка у типов элементов) и его техническая эффективность (как правило, операции шаблонного контейнера не требуют вызовов виртуальных функций и могут легко встраиваться (inline), что в итоге даёт выигрыш в производительности).

Начиная со стандарта C++11 добавились следующие возможности:

Добавлена библиотека <regex>, реализующая общепринятые механизмы поиска и подстановки с помощью регулярных выражений.
Добавлена поддержка многопоточности.
Атомарные операции
unordered варианты ассоциативных массивов и множеств.
Умные указатели, обеспечивающие автоматическое освобождение выделенной памяти.

Реализации

STL до включения в стандарт C++ была сторонней разработкой, вначале — фирмы HP, а затем SGI. Стандарт языка не называет её «STL», так как эта библиотека стала неотъемлемой частью языка, однако многие люди до сих пор используют это название, чтобы отличать её от остальной части стандартной библиотеки (потоки ввода-вывода (iostream), подраздел C и другие).

Проект под названием STLport^[15], основанный на SGI STL, осуществляет постоянное обновление STL, IOstream и строковых классов. Некоторые другие проекты также занимаются разработкой частных применений стандартной библиотеки.

Отличия от языка C

Генеалогия и взаимовлияние версий C и C++ (по Б. Страуструп, "Язык программирования С++, краткий курс")

Совместимость с языком С

Выбор именно C в качестве базы для создания нового языка программирования объясняется тем, что язык C:

является многоцелевым, лаконичным и относительно низкоуровневым языком;

подходит для решения большинства системных задач;

исполняется везде и на всём;

стыкуется со средой программирования UNIX.

— Б. Страуструп. Язык программирования C++. Раздел 1.6^[16]

Несмотря на ряд известных недостатков языка C, Страуструп пошёл на его использование в качестве основы, так как «в C есть свои проблемы, но их имел бы и разработанный с нуля язык, а проблемы C нам известны». Кроме того, это позволило быстро получить прототип компилятора (cfront^?!), который лишь выполнял трансляцию добавленных синтаксических элементов в оригинальный язык C.

По мере разработки C++ в него были включены другие средства, которые перекрывали возможности конструкций C, в связи с чем неоднократно поднимался вопрос об отказе от совместимости языков путём удаления устаревших конструкций. Тем не менее, совместимость была сохранена из следующих соображений:

сохранение действующего кода, написанного изначально на C и прямо перенесённого в C++;
исключение необходимости переучивания программистов, ранее изучавших C (им требуется только изучить новые средства C++);
исключение путаницы между языками при их совместном использовании («если два языка используются совместно, их различия должны быть или минимальными, или настолько большими, чтобы языки было невозможно перепутать»).

Новые возможности

Имеется викиучебник по теме «Си++»

Новые возможности C++ включают объявления в виде выражений, преобразования типов в виде функций, операторы new и delete, тип bool, ссылки, расширенное понятие константности, подставляемые функции, аргументы по умолчанию, переопределения, пространства имён, классы (включая и все связанные с классами возможности, такие как наследование, функции-члены, виртуальные функции, абстрактные классы и конструкторы), переопределения операторов, шаблоны, оператор ::, обработку исключений, динамическую идентификацию и многое другое. Язык C++ также во многих случаях строже относится к проверке типов, чем C.

В C++ появились комментарии в виде двойной косой черты (//), которые были в предшественнике C — языке BCPL.

Некоторые особенности C++ позднее были перенесены в C, например, ключевые слова const и inline, объявления в циклах for и комментарии в стиле C++ (//). В более поздних реализациях C также были представлены возможности, которых нет в C++, например макросы va_arg и улучшенная работа с массивами-параметрами.

C++ не включает в себя C

Несмотря на то, что большая часть кода C будет справедлива и для C++, C++ не является надмножеством C и не включает его в себя. Существует и такой верный для C код, который неверен для C++. Это отличает его от Objective C, ещё одного усовершенствования C для ООП, как раз являющегося надмножеством C.

Существуют и другие различия. Например, C++ не разрешает вызывать функцию main() внутри программы, в то время как в C это действие правомерно. Кроме того, C++ более строг в некоторых вопросах; например, он не допускает неявное приведение типов между несвязанными типами указателей и не разрешает использовать функции, которые ещё не объявлены.

Более того, код, верный для обоих языков, может давать разные результаты в зависимости от того, компилятором какого языка он оттранслирован. Например, на большинстве платформ следующая программа печатает «С», если компилируется компилятором C, и «C++» — если компилятором C++. Так происходит из-за того, что символьные константы в C (например, 'a') имеют тип int, а в C++ — тип char, а размеры этих типов обычно различаются.

#include <stdio.h>

int main()
{
    printf("%s\n", (sizeof('a') == sizeof(char)) ? "C++" : "C");
    return 0;
}

Средства C, которых рекомендуется избегать

По замечанию Страуструпа, «чем лучше вы знаете C, тем труднее вам будет избежать программирования на C++ в стиле C, теряя при этом потенциальные преимущества C++». В связи с этим он даёт следующий набор рекомендаций для программистов на C, чтобы в полной мере воспользоваться преимуществами C++:

Не использовать макроопределения #define. Для объявления констант применять const, групп констант (перечислений) — enum, для прямого включения функций — inline, для определения семейств функций или типов — template.
Не использовать предварительные объявления переменных. Объявлять переменные в блоке, где они реально используются, всегда совмещая объявление с инициализацией.
Отказаться от использования malloc()^[17] в пользу оператора new, от realloc()^[18] — в пользу типа vector. Более безопасным будет использование умных указателей, таких как shared_ptr и unique_ptr, доступных с одиннадцатой версии стандарта.
Избегать бестиповых указателей, арифметики указателей, неявных приведений типов, объединений, за исключением, возможно, низкоуровневого кода. Использовать «новые» преобразования типов, как более точно выражающие действительные намерения программиста и более безопасные.
Свести к минимуму использование массивов символов и строк в стиле C, заменив их на типы string и vector из STL. Вообще не стремиться создавать собственные реализации того, что уже имеется в стандартной библиотеке.

Дальнейшее развитие

Текущий стандарт языка ISO/IEC 14882:2017 был опубликован в декабре 2017 года. Неофициально его обозначают как C++17. Следующая версия стандарта, запланированная на 2020 год, имеет неофициальное обозначение C++20.

Общие направления развития C++

По мнению автора языка Бьёрна Страуструпа^[19]^[20]^[21], говоря о дальнейшем развитии и перспективах языка, можно выделить следующее:

В основном дальнейшее развитие языка будет идти по пути внесения дополнений в стандартную библиотеку. Одним из основных источников этих дополнений является известная библиотека boost.
Изменения в ядре языка не должны приводить к снижению уже достигнутой эффективности C++. С точки зрения Страуструпа, предпочтительнее внесение в ядро нескольких серьёзных больших изменений, чем множества мелких правок.
Базовыми направлениями развития C++ на ближайшее время является расширение возможностей и доработка средств обобщённого программирования, стандартизация механизмов параллельной обработки, а также доработка средств безопасного программирования, таких как различные проверки и безопасные преобразования типов, проверка условий и так далее.
В целом C++ спроектирован и развивается как мультипарадигменный язык, впитывающий в себя различные методы и технологии программирования, но реализующий их на платформе, обеспечивающей высокую техническую эффективность. Поэтому в будущем не исключено добавление в язык средств функционального программирования, автоматической сборки мусора и других отсутствующих в нём сейчас механизмов. Но в любом случае это будет делаться на имеющейся платформе высокоэффективного компилируемого языка.
Хотя формально одним из принципов C++ остаётся сохранение совместимости с языком C, фактически группы по стандартизации этих языков не взаимодействуют, а вносимые ими изменения не только не коррелируют, но и нередко принципиально противоречат друг другу идеологически. Так, элементы, которые новые стандарты C добавляют в ядро, в стандарте C++ являются элементами стандартной библиотеки и в ядре вообще отсутствуют, например, динамические массивы, массивы с фиксированными границами, средства параллельной обработки. Как считает Страуструп, объединение разработки этих двух языков принесло бы большую пользу, но оно вряд ли возможно по политическим соображениям. Так что практическая совместимость между C и C++ постепенно будет утрачиваться.

Стандарт C++11: дополнения в ядре языка

Явно определяемые константные функции и выражения constexpr.
Универсальная инициализация.
Конструкторы и операторы присваивания с семантикой переноса.
Вывод типов.

Для применения в шаблонах, там, где затруднительно указать конкретный тип переменной, введены два новых механизма: переменные типа auto и описание decltype.

Цикл по коллекции.

Вслед за многими современными языками в C++ введена конструкция «цикл по коллекции» вида for(type &x : array){...}. Здесь тело цикла выполняется для каждого элемента коллекции array, а x в каждой итерации будет ссылаться на очередной элемент коллекции. В качестве коллекции может выступать C-массив или любой контейнер стандартной библиотеки, для которого определены итераторы begin и end.

Лямбда-выражения.

Добавлена возможность объявлять лямбда-выражения (безымянные функции, определяемые в точке применения), в том числе зависящие от внешних переменных (замыкания). Лямбда-выражения могут присваиваться переменным и использоваться везде, где требуется функция соответствующего типа, например, в алгоритмах стандартной библиотеки.

Изменения в описании виртуальных методов.

Добавлен необязательный модификатор override, который употребляется в объявлении метода, замещающего виртуальный метод родительского класса. Описание замещения с override вызывает проверку на наличие в родительском классе замещаемого метода и на совпадение сигнатур методов.

Добавлен также модификатор final, как и в Java, запрещающий дальнейшее замещение помеченного им метода. Также final может быть объявлен класс — в таком случае от него запрещено наследовать новые классы.

Добавлена возможность описания вариативных шаблонов.
Различные синтаксические дополнения.

Определено ключевое слово для константы — нулевого указателя: nullptr.

Внесены изменения в семантику и, частично, синтаксис перечислений и объединений. Добавлена возможность создавать типобезопасные перечисления, с объединений снят ряд ограничений на структуру.

От компилятора требуется правильный лексический разбор текста программы с несколькими закрывающимися угловыми скобками подряд (ранее последовательность «>>» воспринималась однозначно как операция побитового сдвига вправо, поэтому в записи вложенных шаблонных конструкций требовалось обязательно разделять знаки «больше» пробелами или переводами строк).

Примеры программ

Пример № 1

Это пример программы Hello, world!, которая выводит сообщение, используя стандартную библиотеку, и завершается.

#include <iostream>

using namespace std;

int main()
{
    cout << "Hello, world!" << endl;
    return 0;
}

Пример № 2

Современный C++ позволяет решать простым способом и более сложные задачи. Этот пример демонстрирует, кроме всего прочего, использование контейнеров стандартной библиотеки шаблонов (STL).

#include <iostream> // для использования std::cout
#include <vector> // содержит динамический массив
#include <map> // содержит тип данных словарь
#include <string>

int main()
{
    // импортируем все объявления в пространстве имён "std" в глобальное пространство имён.
    using namespace std;
    // Объявляем ассоциативный контейнер со строковыми ключами и данными в виде векторов строк
    map< string, vector<string> > items;

    // Добавим в этот ассоциативный контейнер пару человек и дадим им несколько предметов
    items["Anya"].push_back("scarf");
    items["Dmitry"].push_back("tickets");
    items["Anya"].push_back("puppy");

   // Переберём все объекты в контейнере
    for(const auto& person : items) {
        // person - это пара двух объектов: person.first - это его имя,
        // person.second - это список его предметов (вектор строк)
        cout << person.first << " is carrying " << person.second.size() << " items" << endl;
    }
}

В этом примере для простоты импортируются все имена из пространства имён std. В настоящей же программе так делать не рекомендуется, так как можно столкнуться с коллизией имён. Язык позволяет импортировать отдельные объекты:

#include <vector>

int main()
{
    using std::vector;
    vector<int> my_vector;
}

В C++ (как и в C), если выполнение программы доходит до конца функции main(), то это эквивалентно return 0;. Это неверно для любой другой функции кроме main().

Достоинства и недостатки

Достоинства

C++ содержит средства разработки программ контролируемой эффективности для широкого спектра задач, от низкоуровневых утилит и драйверов до весьма сложных программных комплексов. В частности:

Высокая совместимость с языком Си : код на Си может быть с минимальными переделками скомпилирован компилятором C++. Внешнеязыковой интерфейс является прозрачным, так что библиотеки на Си могут вызываться из C++ без дополнительных затрат, и более того — при определённых ограничениях код на C++ может экспортироваться внешне не отличимо от кода на Си (конструкция extern "C").
Как следствие предыдущего пункта — вычислительная производительность. Язык спроектирован так, чтобы дать программисту максимальный контроль над всеми аспектами структуры и порядка исполнения программы. Один из базовых принципов C++ — «не платишь за то, что не используешь» (см. Философия C++) — то есть ни одна из языковых возможностей, приводящая к дополнительным накладным расходам, не является обязательной для использования. Имеется возможность работы с памятью на низком уровне.
Поддержка различных стилей программирования: традиционное императивное программирование (структурное, объектно-ориентированное), обобщённое программирование, функциональное программирование, порождающее метапрограммирование.
Автоматический вызов деструкторов объектов в адекватном порядке (обратном вызову конструкторов) упрощает и повышает надёжность управления памятью и другими ресурсами (открытыми файлами, сетевыми соединениями, соединениями с базами данных и т. п.).
Перегрузка операторов позволяет кратко и ёмко записывать выражения над пользовательскими типами в естественной алгебраической форме.
Имеется возможность управления константностью объектов (модификаторы const, mutable, volatile). Использование константных объектов повышает надёжность и служит подсказкой для оптимизации. Перегрузка функций-членов по признаку константности позволяет определять выбор метода в зависимости цели вызова (константный для чтения, неконстантный для изменения). Объявление mutable позволяет сохранять логическую константность при виде извне кода, использующего кэши и ленивые вычисления.
Шаблоны C++ дают возможность построения обобщённых контейнеров и алгоритмов для разных типов данных. Попутно шаблоны дают возможность производить вычисления на этапе компиляции.
Возможность встраивания предметно-ориентированных языков программирования в основной код. Такой подход использует, например библиотека Boost.Spirit, позволяющая задавать EBNF-грамматику парсеров прямо в коде C++.
Доступность. Для C++ существует огромное количество учебной литературы, переведённой на всевозможные языки. Язык имеет высокий порог вхождения, но среди всех языков такого рода обладает наиболее широкими возможностями.

Недостатки

К числу обычно упоминаемых недостатков языка можно отнести:

Отсутствие системы модулей. C++ унаследовал от Си подключение заголовочных файлов с помощью препроцессора. Это вынуждает дублировать описания объектов, порождает неочевидные требования к коду (см. правило одного определения) и увеличивает объём компилируемого текста, а значит и время компиляции.
Наличие более чем одного механизма для выполнения одних и тех же задач, что усложняет язык и приводит к неоптимальному и небезопасному кодированию.
Унаследованные от Си опасные и провоцирующие ошибки возможности, такие как макроопределения #define, адресная арифметика и неявное приведение типов.
Возможность прямого управления распределением памяти провоцирует ошибки, приводящие к внезапному краху программ из-за разрушения стека или обращения к невыделенной памяти.
Шаблоны порождают объёмный и не всегда оптимальный код. Частичное определение шаблонов усложняет как сам язык, так и программы, где оно используется.
Объектно-ориентированная подсистема построена так, что оказывается затруднительно применять многие приёмы, обычные для других объектных языков.
Множественное (в том числе виртуальное) наследование усложняет транслятор и приводит к созданию громоздких иерархий классов, которые при любом изменении требований к программе могут потребовать серьёзного пересмотра.
Сложный синтаксис и объёмная спецификация языка затрудняют его изучение.
Язык не поощряет создание надёжного, легко читаемого и удобного в сопровождении кода, вместо этого зачастую предлагая выбор между короткими и простыми, но опасными средствами, унаследованными от Си, и новыми, объёмными и сложными, но более безопасными механизмами.
Сложная и постоянно разрастающаяся стандартная библиотека, затрудняющая изучение и дополнительно увеличивающая объём программ.
Отсутствие или ограниченность поддержки ряда полезных технологий и методик программирования.

Критика

О критике C++ в целом

Чаще всего критики не противопоставляют C++ какой-либо другой конкретный язык, а утверждают, что отказ от использования единственного языка, имеющего многочисленные недостатки, в пользу декомпозиции проекта на подзадачи, решаемые на различных, наиболее подходящих для них, языках, делает разработку существенно менее трудоёмкой при одновременном повышении показателей качества программирования^[22]^[23]. По этой же причине критикуется сохранение совместимости с Си: если часть задачи требует низкоуровневых возможностей, разумнее выделить эту часть в отдельную подсистему и написать её на Си.

В свою очередь, сторонники C++ заявляют, что устранение технических и организационных проблем межъязыкового взаимодействия за счёт использование одного универсального языка вместо нескольких специализированных важнее, чем потери от несовершенства этого универсального языка, то есть сама широта набора возможностей C++ является оправданием недостатков каждой отдельной возможности; в том числе недостатки, унаследованные от Си, оправданы преимуществами совместимости (см. выше).

Таким образом, одни и те же свойства C++: объём, сложность, эклектичность и отсутствие конкретной целевой ниши применения рассматривается сторонниками как «главное достоинство», а критиками — как «главный недостаток».

Сравнение с альтернативными языками

Языков, которые могут быть позиционированы как полноценная замена C++, немного, так же мало исследований, где производится сравнение таких языков. Очевидной проблемой таких сравнений является значительная доля субъективизма:

одни и те же свойства языков оцениваются по-разному и могут произвольно признаваться существенными или несущественными;
сравнение языков проводится на примерах кода, написанного разработчиками разной квалификации (например, сравниваются результаты тестов, написанных на десятке языков одним человеком, явно не владеющим этими языками на одинаковом уровне);
некоторые важные аспекты игнорируются (например, производительность и затраты памяти в сравнении C++ с функциональными и скриптовыми языками).

Известно несколько исследований, в которых была сделана попытка более или менее объективно сравнить несколько языков программирования, одним из которых является C++. В частности:

В работе «Haskell vs. Ada vs. C++ vs. Awk vs. …» Пауля Худака и Марка Джонса^[24] сравнивается ряд императивных и функциональных языков в решении модельной задачи быстрого прототипирования ГИС-системы военного назначения.
В работе Лутца Прехельта^[25] рассмотрено семь языков (C, C++, Java, Perl, Python, Rexx и Tcl) в задаче написания простой программы преобразования телефонных номеров в слова по определённым правилам.
В статье Дэвида Велера «Ada, C, C++, and Java vs. The Steelman»^[26] приведено сопоставление языков Ада, C++, Си, Java с документом «Steelman» — списком требований к языку для военных разработок встроенных систем, который был выработан комитетом по языку высокого уровня Министерства обороны США в 1978 году. Документ тщательно прорабатывался крупным сообществом практиков именно как набор оптимальных требований для разработки сложного, объёмного и эффективного ПО повышенной надёжности. В таблице ниже приведены результаты — процент требований, которым каждый язык удовлетворяет в основном либо полностью.

Язык	Процент реализованных требований
Aда	93 %
Си	53 %
C++	68 %
Java	72 %

Как видно из сопоставления, C++ по числу положительных ответов заметно опережает Си и гораздо меньше отстаёт от Java, но при этом все три языка безнадёжно проигрывают Аде. С одной стороны, это неудивительно, так как Ада разрабатывалась именно на основании документа Steelman. Тем не менее, сравнение демонстрирует, что C++ по набору реальных востребованных в отрасли возможностей не так уж сильно отличается от языков, которые можно считать его реальными конкурентами, а также то, что существует по меньшей мере один язык, существенно превосходящий по данному показателю как C++, так и его ближайших конкурентов.

C++ и Ада

Язык Ада близок к C++ по набору возможностей и по сферам применения: это компилируемый структурный язык с Симула-подобным объектно-ориентированным дополнением (та же модель «Алгол с классами», что и в C++), статической типизацией, средствами обобщённого программирования, предназначенный для разработки крупных и сложных программных систем. В то же время он принципиально отличается по идеологии: в отличие от C++, Ада строилась на основе предварительно тщательно проработанных условий производителей сложного ПО с повышенными требованиями к надёжности, что наложило отпечаток на синтаксис и семантику языка.

Прямых сравнений эффективности кодирования на Аде и C++ немного. В упомянутой выше статье^[24] решение модельной задачи на Аде привело к получению кода примерно на 30 % меньшего по объёму (в строках), чем на C++. Сравнение свойств самих языков приводится во многих источниках, например, в статье Джима Роджерса на AdaHome^[27] содержится перечисление более 50 пунктов различий свойств этих языков, большая часть которых — в пользу Ады (больше возможностей, более гибкое поведение, меньше вероятность ошибок). Хотя многие утверждения сторонников Ады спорны, а часть из них явно устарела, в целом можно заключить:

Синтаксис Ады гораздо строже, чем C++. Язык требует соблюдения дисциплины программирования, не поощряет «программистские трюки», стимулирует написание простого, логичного и легко понимаемого кода, удобного в сопровождении.
В отличие от C++, Ада максимально типобезопасна. Развитая система типов позволяет, при соблюдении дисциплины их объявления и использования, максимально полно статически контролировать корректность использования данных и защищает от случайных ошибок. Автоматические преобразования типов сведены к минимуму.
Указатели в Аде контролируются гораздо более строго, чем в C++, а адресная арифметика доступна только через отдельную системную библиотеку.
Настраиваемые модули Ады по возможностям аналогичны шаблонам C++, но обеспечивают лучший контроль.
Ада имеет встроенную в язык модульность и стандартизованную систему раздельной компиляции, тогда как C++ применяет включение текстовых файлов и внешние средства управления компиляцией и сборкой.
Встроенная многозадачность Ады включает параллельные задачи и механизм их коммуникации (входы, рандеву, оператор select). В С++ всё это реализуется только на уровне библиотек.
Ада строго стандартизована, за счёт чего обеспечивает лучшую переносимость.

В статье Стефена Цейгера из Rational Software Corporation^[28], утверждается, что в целом разработка на Аде обходится на 60 % дешевле, и приводит к получению кода, имеющего в 9 раз меньше дефектов, чем на Си. Хотя эти результаты не могут быть прямо перенесены на C++, но всё же представляют интерес с учётом того, что многие недостатки C++ унаследованы от Си.

С++ и Java

Java не может считаться в полной мере языком, способным заменить C++, так как она принципиально непригодна для некоторых типов приложений, которые могут разрабатываться (и часто разрабатываются) на C++. Однако в области информационных систем общего назначения (учётные, бухгалтерские системы, пользовательские приложения и клиенты информационных систем), систем автоматизации бизнеса, Интернет-систем Java составляет вполне реальную конкуренцию C++. В качестве преимуществ Java обычно называют:

Отсутствие поддержки указателей и адресной арифметики, ответственных за значительную долю ошибок в программах на C/C++.
Автоматическая сборка мусора, значительно облегчающая управление памятью. Впрочем, нужно отметить, что эмпирическое исследование^[25] не обнаружило существенной разницы в скорости разработки на C++ и на Java.
Наличие разработанной системы модулей и раздельной компиляции, значительно более быстрой и менее подверженной ошибкам, чем препроцессор и ручная сборка C++.
Полная стандартизация от определения языка до деталей реализации.
Как следствие предыдущего пункта и механизма компиляции в байт-код — реальная многоплатформенность.
Встроенная многопоточность.
Объектная система поддерживает единичное наследование и явно определяемые интерфейсы. Такая система позволяет обеспечить большинство преимуществ множественного наследования, не вызывая его негативных эффектов.
Рефлексия значительно более развита, чем в C++ и позволяет реально определять и изменять структуру объектов во время работы программы.
Встроенные средства безопасности, защищающие от распространённых ошибок программ C++, таких как переполнение буфера или выход за границы массива.

В то же время базовые архитектурные решения, такие как использование сборщика мусора и виртуальной машины, исполняющей байт-код, создаёт трудно преодолимые ограничения. Программы на Java, как правило, медленнее, требуют значительно больше памяти, к тому же виртуальная машина, обеспечивая многоплатформенность, одновременно изолирует программу от операционной системы: невозможно прямое обращение к API операционной системы и внешним библиотекам на других языках. Всё это приводит к тому, что Java малопригодна для создания низкоуровневых приложений, требующих прямого доступа к памяти и оборудованию, приложений реального времени, встроенных приложений, работающих в системах с ограниченными ресурсами.

C++ и C

Оригинальный Си продолжает развиваться и использоваться, и не только при сопровождении старого кода, но и в новых разработках. На Си разрабатываются не только программы управления оборудованием и драйвера, но и многие масштабные и сложные проекты, например, он является основным языком разработки операционных систем, на нём написаны игровые движки многих динамических игр, большое число прикладных приложений. Ряд специалистов высказывается за отказ от C++ в пользу Си. Они утверждают, что замена Си на C++ не повышает эффективность разработки, но приводит к ненужному усложнению проекта, снижению надёжности и увеличению затрат на сопровождение. В частности:

По мнению Линуса Торвальдса, «C++ провоцирует на написание в дополнение к структурам и функциям Си значительного объёма кода, не имеющего принципиального значения с точки зрения функциональности программы»^{[мнения 3]}.
Поддержка ООП не является решающим преимуществом C++, так как в большинстве реальных задач нет необходимости в построении сложных иерархий классов с множественным наследованием. Гораздо чаще необходим просто набор абстрактных типов, имеющих полиморфное поведение и реализующих некоторый набор интерфейсов; это реализуемо и средствами Си.
Шаблоны C++ порождают во время компиляции большие объёмы кода, что значительно увеличивает время компиляции и повышает требования к памяти компилирующей системы. При неудачной обработке кода с шаблонами компилятор генерирует запутанные сообщения, из которых сложно понять реальную причину ошибки. При этом средствами Си также возможно создать обобщённый код.
Использование STL создаёт (помимо общих проблем шаблонов C++) множество проблем: она сложна, не всегда стабильна, ограничивает программиста предоставляемой реализацией, которая не всегда оптимальна для конкретной задачи. Многие её алгоритмы требуют описания для пользовательских типов нескольких конструкторов и переопределения операторов, что ещё больше раздувает код. При этом на Си доступны реализации структур и алгоритмов, предоставляемых STL.
Использование исключений C++ требует соблюдения жёсткой дисциплины программирования, вынуждает следовать RAII и использовать специальные меры, чтобы гарантировать надёжность работы программы в любых условиях, при этом приводит к росту исполняемых файлов и замедлению работы. Дополнительные трудности возникают при использовании исключений в параллельных и распределённых программах. Показательно, что стандарт кодирования на C++ компании Google прямо запрещает использование исключений.^[29]
Автоматизация управления памятью C++ (RAII, «умные указатели», сокрытие операций с памятью внутри библиотечных шаблонов) приводит к порождению приложений, гораздо более требовательных к памяти и скрывающих некоторые важные детали поведения кода. Низкоуровневое управление памятью в Си сложнее, но эффективнее и более предсказуемо.
Код на C++ сложнее для понимания и тестирования, его отладка затрудняется использованием сложных иерархий классов с наследованием поведения и шаблонов.
Многие детали поведения кода стандартом C++ не специфицированы и могут меняться от одной реализации к другой, что ухудшает переносимость и может являться причиной трудно обнаруживаемых ошибок.
Высокая сложность C++ и его системной библиотеки приводит к тому, что в средах программирования на C++ больше ошибок, как в компиляторах, так и в библиотеках.
Квалифицированных программистов на Си существенно больше, чем на C++.

Нет убедительных данных о преимуществе C++ перед Си ни по производительности программистов, ни по свойствам программ. Хотя есть исследования^[30] утверждающие, что программисты на Си тратят 30 % — 40 % общего времени разработки (не считая отладки) на управление памятью, при сопоставлении общей производительности разработчиков^[24] Си и C++ оказываются близки.

В задачах низкоуровневого программирования, особенно при ограниченных ресурсах и повышенных требованиях к надёжности, быстродействию и времени отклика, значительная часть новых возможностей C++ оказывается неприменимой из-за увеличения накладных расходов. Так, виртуальные функции требуют динамического вычисления реального адреса (RVA), шаблоны приводят к раздуванию кода и ухудшению возможностей оптимизации, библиотека времени исполнения (RTL) очень велика, а отказ от неё приведёт к отказу от большинства возможностей C++ (хотя бы из-за недоступности операций new/delete). В результате программисту придётся ограничиться функционалом, унаследованным от Си, что делает бессмысленным применение C++. Линус Торвальдс, говоря о выборе между C++ и Си, в низкоуровневых задачах замечает:

… единственный способ иметь хороший, эффективный, низкоуровневый и портируемый C++ сводится к тому, чтобы ограничиться всеми теми вещами, которые элементарно доступны в Си. А ограничение проекта рамками Си будет означать, что люди его не выкинут, и что будет доступно множество программистов, действительно хорошо понимающих низкоуровневые особенности и не отказывающихся от них из-за идиотской ерунды про «объектные модели».
… когда эффективность является первостепенным требованием, «преимущества» C++ будут огромной ошибкой.
— Линус Торвальдс,^[31]

С++ и функциональные и скриптовые языки

В эксперименте^[24] скриптовые и функциональные языки, в частности, Haskell, показали 2-3 кратный выигрыш во времени программирования и объёме кода по сравнению с программами на C++. С другой стороны, программы на C++ оказались во столько же раз быстрее. Авторы признают, что полученные ими данные не составляют репрезентативной выборки и воздерживаются от категоричных выводов.

В исследовании Лутца Прехельта^[25] по результатам обработки около 80 решений, написанных добровольцами, получены, в частности, следующие выводы:

Perl, Python, Rexx, Tcl обеспечили скорость разработки вдвое больше, чем C, C++ и Java, причём полученный код был также вдвое короче.
Программы на скриптовых языках потребляли примерно вдвое больше памяти, чем C/C++

Критика отдельных элементов и концепций

Контроль за поведением

Идеология языка смешивает «контроль за поведением» с «контролем за эффективностью», то есть предполагает, что обеспечение полного контроля программиста за всеми аспектами исполнения программы на довольно низком уровне является необходимым и достаточным условием достижения высокой эффективности кода. В действительности для сколько-нибудь крупных программ это неверно, так как их сложность настолько высока, что осознание её в полном объёме на низком уровне превышает возможности человека. Принцип «не платишь за то, что не используешь»^[⇨], заявленный как средство обеспечения эффективности, на практике приводит к отказу от параметрического полиморфизма и необходимости явного описания различного поведения для различных ситуаций под единым идентификатором (перегрузки функций), с ручной оптимизацией кода для каждого такого варианта, что вызывает значительное увеличение объёма и сложности кода, усугубляя проблемы управления сложностью. Возложение на программиста низкоуровневой оптимизации, которую качественный компилятор предметно-ориентированного языка способен выполнить заведомо более эффективно, приводит лишь к росту трудоёмкости программирования и снижению показателей понимаемости и тестируемости кода. Таким образом, принцип «не платить за то, что не используется» в действительности не даёт желаемых выгод в эффективности, но негативно сказывается на качестве.

Компонентное и объектно-ориентированное программирование

По мнению Алана Кэя, объектная модель «Алгол с классами», использованная в C++, уступает модели «всё — объект»^[32], используемой в Objective-C, по общем объёму возможностей, показателям повторного использования кода, понимаемости, модифицируемости и тестируемости.

Модель наследования C++ сложна, трудна в реализации и при этом провоцирует создание сложных иерархий с неестественными отношениями между классами (например, наследование вместо вложения). Результатом становится создание сильно зацепленных классов с нечётко разделённым функционалом. Например, в ^[33] приводится учебно-рекомендательный пример реализации класса «список» как подкласса от класса «элемент списка», который, в свою очередь, содержит функции доступа к другим элементам списка. Такое отношение типов является абсурдом с точки зрения математики и невоспроизводимо на более строгих языках. Идеология некоторых библиотек требует ручного приведения типов вверх и вниз по иерархии классов (static_cast и dynamic_cast), что нарушает типобезопасность языка. Высокая вязкость решений на C++ может требовать повторной разработки значительных частей проекта при необходимости внесения минимальных изменений на поздних стадиях разработки. Яркий пример подобных проблем можно найти в^[22]

Как отмечает Ян Джойнер^[34], C++ ошибочно отождествляет инкапсуляцию (то есть помещение данных внутрь объектов и отделение реализации от интерфейса) и сокрытие реализации. Это усложняет доступ к данным класса и требует реализовывать его интерфейс практически исключительно через функции доступа (что, в свою очередь, увеличивает объём кода и усложняет его).

Совпадение типов в C++ определяется на уровне идентификаторов, а не сигнатур. Это затрудняет реализацию абстрактных механизмов работы с данными, так как делает невозможной подмену компонентов, основанную на совпадении их интерфейсной функциональности. В результате для включения в систему новой функциональности, реализованной на уровне библиотек, оказывается необходимо вручную модифицировать уже имеющийся код для адаптации его под новый модуль^[35]. Как отмечает Линус Торвальдс^[31], в C++ «код кажется абстрактным лишь до тех пор, пока не возникает необходимость его изменить».

Критика C++ с позиций только ООП (без сравнения методологий проектирования) с описанием вреда от влияния C++ на другие языки приведена в работе^[34].

Метапрограммирование

Порождающее метапрограммирование C++ основано на шаблонах и препроцессоре, оно трудоёмко и ограничено по возможностям. Система шаблонов C++ фактически является вариантом примитивного функционального языка программирования, исполняемого на этапе компиляции. Этот язык почти не пересекается с самим C++, из-за чего потенциал роста сложности абстракций оказывается ограниченным. Программы, использующие шаблоны C++, имеют крайне низкие показатели понимаемости и тестируемости, а само разворачивание шаблонов порождает неэффективный код, так как язык шаблонов не предоставляет никаких средств для оптимизации (см. также раздел #Вычислительная эффективность). Встраиваемые предметно-специфичные языки, реализуемые таким образом, всё равно требуют знания самого C++, что не обеспечивает полноценного разделения труда. Таким образом, возможности C++ по расширению возможностей самого C++ весьма ограничены.^[36]^[37]

Кроссплатформенность

Для написания портируемого кода на C++ требуется огромное мастерство и опыт, и «небрежные» коды на C++ с высокой вероятностью могут оказаться непортируемыми^[38]. По мнению Линуса Торвальдса, для обеспечения на C++ портируемости, аналогичной Си, программист должен ограничиться возможностями C++, унаследованными от Си^[31]. Стандарт содержит множество элементов, определённых как «implementation-defined» (например, размер указателей на методы классов в различных компиляторах варьируется в диапазоне от 4 до 20 байт^[39]), что ухудшает портируемость программ с их использованием.

Директивный характер стандартизации языка, неполная обратная совместимость и противоречивость требований разных версий стандарта приводят к проблемам в переносе программ между различными компиляторами и даже версиями одних и тех же компиляторов.

Отсутствие возможностей

Рефлексивное метапрограммирование: Интроспекция в C++ реализована отдельно от основной системы типов, что делает её практически бесполезной. Наибольшее, что можно получить — параметризацию поведения на заранее известном наборе вариантов. Это препятствует применению C++ в большинстве подходов к реализации Искусственного Интеллекта.

Функциональное программирование: Явная поддержка функционального программирования присутствует только в стандарте C++0x, ранее пробел устранялся библиотеками (Loki, Boost), использующими язык шаблонов, но их качество значительно уступают решениям, встроенным в функциональные языки,^{[пояснения 1]} как и качеству реализаций возможностей C++ (таких как ООП) посредством функциональных языков. Реализованные в C++ возможности ФП не дают возможности применения присущих функциональному программированию оптимизационных методик^[⇨], а ограничивается вызовами функциональных библиотек и реализацией отдельных методов. Это практически не даёт преимуществ в проектировании программ (см. Соответствие Карри — Ховарда).

Избыточные и опасные возможности

Встроенные средства обхода ограничений

Язык содержит средства, позволяющие программисту нарушать заданную в конкретном случае дисциплину программирования. Например, модификатор const задаёт для объекта свойство неизменности состояния, но модификатор mutable предназначен именно для принудительного разрешения изменения состояния внутри константного объекта, то есть для нарушения ограничения константности. Более того, допускается динамически удалить атрибут const с константного объекта, превращая его в леводопустимый (L-value). Наличие в языке таких возможностей делает попытки формальной верификации кода бессмысленными, а использование ограничений для оптимизации невозможным.

Неконтролируемая макроподстановка

Средства макроподстановки Си (#define) являются сколь мощным, столь же опасным средством. Они сохранены в C++ несмотря на то, что для решения всех^{[источник не указан 3904 дня]} задач, для которых они были предусмотрены в Си, в C++ были предоставлены более строгие и специализированные средства — шаблоны, перегрузка функций, inline-функции, пространства имён, более развитая типизация, расширение применения модификатора const, и др. В унаследованных от Си стандартных библиотеках много потенциально опасных макросов.^[40] Шаблонное метапрограммирование также порой совмещается с использованием макроподстановки для обеспечения т. н. «синтаксического сахара».

Проблемы перегрузки

Принятые в C++ принципы перегрузки функций и операторов^[⇨] приводят к значительному дублированию кода. Перегрузка операторов, исходно предназначенная для введения так называемого «синтаксического сахара», в C++ поощряет бесконтрольное изменение поведения элементарных операций для различных типов. Это резко повышает риск ошибок, тем более что вводить новый синтаксис и изменять существующий (например, создавать новые операторы или менять приоритеты или ассоциативность) нельзя, хотя синтаксис стандартных операторов C++ адекватен семантике далеко не всех типов, которые может потребоваться ввести в программу. Отдельные проблемы создаёт возможность лёгкой перегрузки операторов new/delete, способной породить крайне коварные и трудновыявляемые ошибки. При этом некоторые интуитивно ожидаемые операции (подчистка динамических объектов в случае генерации исключений) в C++ не выполняются, а значительная часть перегруженных функций и операторов вызывается неявно (приведение типов, создание временных экземпляров классов и др.). В результате средства, изначально предназначенные для того, чтобы сделать программы более ясными и повысить удобство разработки и сопровождения, превращаются в ещё один источник неоправданного усложнения и снижения надёжности кода.

Вычислительная эффективность

Результирующий объём исполнимого кода

Использование шаблонов C++ представляет собой параметрический полиморфизм на уровне исходного кода, но при трансляции он превращается в ситуативный (ad hoc) полиморфизм (то есть перегрузку функций), что приводит к существенному увеличению объёма машинного кода в сравнении с языками, имеющими истинно полиморфную систему типов (потомками ML). Для снижения размера машинного кода пытаются автоматически обрабатывать исходный код до этапа раскрутки шаблонов^[41]^[42]. Другим решением могла бы быть стандартизованная ещё в 1998 году возможность экспорта шаблонов, но она доступна далеко не во всех компиляторах, так как её трудно реализовать^[43]^[44]^{[мнения 4]} и для импорта библиотек шаблонов C++ в языки с существенно отличной от C++ семантикой она всё равно была бы бесполезна. Сторонники C++ оспаривают масштабы раздувания кода как преувеличенные^[45], игнорируя даже тот факт, что в Си параметрический полиморфизм транслируется непосредственно, то есть без дублирования тел функций вообще. При этом сторонники C++ считают, что параметрический полиморфизм в Си опасен — то есть более опасен, чем переход от Си к C++ (противники C++ утверждают обратное — см. выше).

Потенциал оптимизации

Из-за слабой системы типов и изобилия побочных эффектов становится крайне затруднительным эквивалентное преобразование программ, а значит и встраивание в компилятор многих оптимизирующих алгоритмов, таких как автоматическое распараллеливание программ, удаление общих подвыражений, λ-подъём, вызовы процедур с передачей продолжений, суперкомпиляция и др. В результате реальная эффективность программ на C++ ограничивается имеющейся квалификацией программистов и вложенными в конкретный проект усилиями, и «небрежная» реализация может существенно уступать по эффективности «небрежным» реализациям на языках более высокого уровня, что подтверждается сравнительными испытаниями языков^[46]. Это является существенным препятствием против применения C++ в индустрии data mining.

Эффективное управление памятью

Потенциал к повышению эффективности управления памятью весьма ограничен. Хотя существуют многочисленные реализации автоматической сборки мусора, использование более эффективных способов управления памятью, таких как статический вывод регионов (англ. region-based memory management) для конкретной библиотеки невозможно (точнее, это привело бы к реализации поверх языка C++ интерпретатора нового языка, сильно отличающегося от C++ как большинством объективных свойств, так и общей идеологией) по причине необходимости прямого доступа к AST. Для автоматического управления памятью в C++ традиционно используются т. н. «умные указатели», ручное же управление памятью снижает эффективность самих программистов (см. раздел Результативность).

Результативность

Соотнесение факторов результативности с затратами на разработку, а также общая культивируемая в сообществе программистов дисциплина и культура программирования важны для заказчиков, выбирающих язык (и, соответственно, предпочитающих этот язык разработчиков) для реализации задуманных ими проектов, а также для людей, начинающих изучать программирование, особенно с намерением программировать для собственных нужд.

Качество и культура программирования

Принцип C++ «не навязывать „хороший“ стиль программирования» противоречит промышленному подходу к программированию, в котором ведущую роль играют качество программного обеспечения и возможность сопровождения кода не только автором, и для которого предпочтительны языки, сводящие к минимуму влияние человеческого фактора, то есть как раз «навязывающие „хороший“ стиль программирования», хотя такие языки и могут иметь более высокий порог вхождения.

Существует мнение, что предпочтение использования C++ (при возможности выбора альтернативных языков) отрицательно характеризует профессиональные качества программиста. В частности, Линус Торвальдс говорит, что использует положительное мнение кандидатов о C++ в качестве критерия отсева^{[мнения 3]}:

C++ — кошмарный язык. Его делает ещё более кошмарным тот факт, что множество недостаточно грамотных программистов используют его… Откровенно говоря, даже если нет никаких причин для выбора Си, кроме того чтобы держать C++-программистов подальше — то одно это уже будет достаточно веским основанием для использования Си.
…Я пришёл к выводу, что действительно предпочту выгнать любого, кто предпочтёт вести разработку проекта на C++, нежели на Си, чтобы этот человек не загубил проект, в который я вовлечён.
— Линус Торвальдс,^[31]

Исправление исправного

Непрерывная эволюция языка побуждает (а порой вынуждает) программистов раз за разом изменять уже отлаженный код — это не только удорожает разработку, но и несёт риск внедрения в отлаженный код новых ошибок. В частности, хотя изначально обратная совместимость с Си была одним из базовых принципов C++, с 1999 года Си перестал быть подмножеством C++, так что отлаженный код на Си уже не может использоваться в проекте на C++ без изменений.

Сложность ради самой сложности

C++ определяется его апологетами как «мощнейший» именно потому, что он изобилует опасными взаимно-противоречивыми возможностями. По мнению Эрика Реймонда, это делает язык сам по себе почвой для личного самоутверждения программистов, облегчая возможность субъективно превращать процесс разработки из средства в самоцель:

Программисты — это зачастую яркие люди, которые гордятся … своей способностью справляться со сложностями и ловко обращаться с абстракциями. Часто они состязаются друг с другом, пытаясь выяснить, кто может создать «самые замысловатые и красивые сложности». … соперники полагают, что должны соревноваться с чужими «украшательствами» путём добавления собственных. Довольно скоро «массивная опухоль» становится индустриальным стандартом, и все используют большие, переполненные ошибками программы, которые не способны удовлетворить даже их создателей.
…
… такой подход может обернуться неприятностями, если программисты реализуют простые вещи сложными способами, просто потому что им известны эти способы и они умеют ими пользоваться.
— Эрик Реймонд в ^[47]

Саботаж

Отмечены случаи, когда нерадивые программисты, пользуясь сильной контекстной зависимостью C++ и отсутствием возможности отслеживания макроопределений компилятором тормозили разработку проекта, написав одну-две лишних, корректных с точки зрения компилятора, строки кода, но внедрив за их счёт труднообнаружимую спонтанно проявляющуюся ошибку. Например:

#define if(a) if(rand())

#define j i

В языках с доказанной корректностью, даже с развитыми макро-средствами, нанести урон подобным образом невозможно.

Ненадёжность продукта

Неоправданное обилие побочных эффектов (даже в таких простых операциях как индексация массива), в сочетании с отсутствием контроля со стороны системы времени исполнения языка и слабой системой типов, делает программы на C++ традиционно нестабильными, что исключает применение C++ при высоких требованиях отказоустойчивости. Кроме того, это увеличивает длительность самого процесса разработки^[46]. Общеизвестные сообщения об ошибках при фатальных крахах прикладных программ, такие как «Access violation», «Pure virtual function call» или «Программа выполнила недопустимую операцию и будет закрыта», присущи в наибольшей степени именно^{[источник не указан 1796 дней]} C++. (Контр-примеры: для потомков ML фатальный крах в принципе невозможен — программа может навечно уйти в расчёты или выдать сообщение об ошибке, но никогда не обрушится — кроме того, контроль типов заметно сокращает время разработки^[46]; семантика Форта обеспечивает практически гарантированное выявление ошибок на этапе разработки; Eiffel, Smalltalk и Erlang предоставляют простые способы обработки любых возможных ошибок самой программой без обрушения.)

Менеджмент проектов

Перечисленные выше факторы делают сложность менеджмента проектов на C++ одной из самых высоких в индустрии разработки ПО.

Джеймс Коггинс, в течение четырёх лет ведущий колонку в The C++ Report, дает такое объяснение:
— Проблема в том, что программисты, работающие в ООП, экспериментировали с кровосмесительными приложениями и были нацелены на низкий уровень абстракции. Например, они строили такие классы как «связанный список», вместо «интерфейс пользователя», или «луч радиации», или «модель из конечных элементов». К несчастью, строгая проверка типов, которая помогает программистам C++ избегать ошибок, одновременно затрудняет построение больших объектов из маленьких.
— Ф. Брукс, Мифический человеко-месяц

Влияние и альтернативы

Неоднократно предпринимались попытки предложить альтернативы C++, как для прикладного, так и для низкоуровневого программирования (не обязательно заявляемые как «универсально применимые» языки).

Единственным прямым потомком C++ является язык D, задуманный как переработка C++ для устранения наиболее очевидных его проблем. Авторы отказались от совместимости с Си, сохранив синтаксис и многие базовые принципы C++ и введя в язык возможности, характерные для новых языков. В частности, в D нет препроцессора, включения заголовочных файлов, множественного наследования, но есть система модулей, интерфейсы, ассоциативные массивы, поддержка unicode в строках, сборка мусора (при сохранении возможности ручного управления памятью) встроенная многопоточность, вывод типов, явное объявление чистых функций и неизменяемых значений. Несмотря на преимущества, D не смог потеснить C++, его использование весьма ограничено: для программистов на C++ различия в возможностях (с учётом библиотек C++) не стали достаточно весомым стимулом для перехода, а для тех, кто нуждался в альтернативе C++, более привлекательными оказались более радикальные варианты.

Старейшим конкурентом C++ в задачах низкого уровня является Objective-C, также построенный по принципу объединения Си с объектной моделью (только объектная модель унаследована от Smalltalk), исходя из идеи, что эффективность и низкоуровневые возможности Си могут использоваться в сложно структурированных высокоуровневых задачах только посредством облачения их в ту или иную объектную модель.

Одной из первых альтернатив C++ в прикладном программировании стал язык Java, разработанный Sun Microsystems, который часто ошибочно считают прямым потомком C++. На деле в Java от C++ нет ничего, кроме базового синтаксиса — семантика Java унаследована от языка Модула-2, и основы семантики C++ в Java не прослеживаются. Учитывая это, а также генеалогию языков (Модула-2 является потомком Симулы, как и C++, но им не является Си), Java правильнее называть «троюродным племянником» C++, нежели «наследником». По тому же пути пошла компания Microsoft, предложив язык C#.

Попыткой совмещения безопасности и скорости разработки, характерных для Java и C#, с возможностями C++ явился диалект Managed C++, впоследствии доработанный и получивший название C++/CLI. Он разработан Microsoft в основном для переноса существующих проектов на C++ под платформу Microsoft.NET. Программы выполняются под управлением CLR и могут использовать весь массив библиотек .NET, но при этом накладывается ряд ограничений на использование возможностей C++, таких как множественное наследование, ручное управление памятью, прямое обращение к API операционной системы. Возможно, именно из-за ограничений, фактически сводящих C++ к C#, данный диалект не получил широкого признания.

Альтернативный путь развития языка Си — совмещение его не с объектно-ориентированным, а с аппликативным программированием, то есть улучшение абстракции, строгости и модульности низкоуровневых программ посредством обеспечения не инкапсуляции изменяемого состояния, а предсказуемости поведения и ссылочной прозрачности. Примерами работ в этом русле служат языки BitC, Cyclone и Limbo. Хотя есть и успешные попытки применения ФП в задачах реального времени без интеграции со средствами Си^[48]^[49], всё же на данный момент (2013 г.) в низкоуровневой разработке применение в той или иной мере средств Си имеет лучшее соотношение трудоёмкости с результативностью. Много усилий было приложено разработчиками Python и Lua для обеспечения использования этих языков программистами на C++, так что из всех языков, достаточно тесно связанных с ФП, именно они чаще всего отмечаются в совместном использовании с C++ в одном проекте. Наиболее значимыми точками соприкосновения C++ с ФП можно считать привязки разработанных на C++ библиотек wxWidgets и Qt с характерной для C++ идеологией к языкам Lisp, Haskell и Python (в большинстве случаев привязки к функциональным языкам делают для библиотек, написанных на Си или на других функциональных языках).

Ещё одним языком, рассматриваемым как конкурент C++, стал Nemerle, являющийся результатом попытки совместить модель типизации Хиндли-Милнера и макро-подмножество Common Lisp с языком C#.^[50]. В том же русле находится созданный Microsoft язык F# — диалект ML, адаптированный для среды .NET.

Попыткой создать промышленную замену C/C++ стал разработанный в корпорации Google в 2009 году язык программирования Go. Авторы языка прямо указывают, что мотивом для его создания были недостатки процесса разработки, вызванные особенностями языков Си и C++^[51]. Go — компактный, несложный по структуре императивный язык с Си-подобным синтаксисом, без препроцессора, со статической типизацией, строгим контролем типов, системой пакетов, автоматическим управлением памятью, некоторыми функциональными чертами (функции-значения, замыкания), экономно построенной ООП-подсистемой без поддержки наследования реализации, но с интерфейсами и утиной типизацией, встроенной многопоточностью, основанной на сопрограммах и каналах (a-la Occam). Язык позиционируется как альтернатива C++, то есть, в первую очередь, средство групповой разработки высокоэффективных вычислительных систем большой сложности, в том числе распределённых, допускающее, при необходимости, низкоуровневое программирование.

См. также

Примечания

↑ ISO/IEC 14882:2020 Programming languages — C++ — 2020.
↑ Губина Г. Г. Компьютерный английский. Ч. I. Computer English. Part I. Учебное пособие. — С. 385.
↑ Bjarne Stroustrup's FAQ (англ.). Bjarne Stroustrup (Ocober 1, 2017). — «The name C++ (pronounced "see plus plus")». Дата обращения: 4 декабря 2017.
↑ Шилдт, 1998.
↑ ¹ ² Страуструп, 1999, 2.1. Что такое C++?, с. 57.
↑ Стэнли Липпман, Pure C++: Hello, C++/CLI (англ.)
↑ ¹ ² Страуструп, 1999, 1.4. Исторические замечания, с. 46.
↑ C++ — Standards
↑ Bjarne Stroustrup. C++ Glossary (неопр.). Дата обращения: 8 июня 2007. Архивировано из оригинала 1 мая 2011 года.
↑ Where do I find the current C or C++ standard documents? http://stackoverflow.com/questions/81656/where-do-i-find-the-current-c-or-c-standard-documents
↑ See a list at http://en.cppreference.com/w/cpp/experimental Visited 5 January 2015.
↑ Яндекс организует рабочую группу по стандартизации языка C++ (неопр.). ИКС Медиа.
↑ Страуструп, Дизайн и эволюция C++, 2007.
↑ ISO/IEC 14882:1998, раздел 6.4, пункт 4: «The value of a condition that is an initialized declaration in a statement other than a switch statement is the value of the declared variable implicitly converted to bool … The value of a condition that is an expression is the value of the expression, implicitly converted to bool for statements other than switch; if that conversion is ill-formed, the program is ill-formed».
↑ STLport: Welcome!
↑ Страуструп, 1999, 1.6.
↑ std::vector — cppreference.com
↑ std::realloc — cppreference.com
↑ Интервью Б. Страуструпа LinuxWorld.com
↑ Интервью Б. Страуструпа журналу «Системный администратор»
↑ CNews: Эксклюзивное интервью с создателем языка программирования C++
↑ ¹ ² Martin Ward. Language Oriented Programming^[англ.]. — Computer Science Department, Science Labs, 1994.
↑ Paul Hudak. Modular Domain Speciﬁc Languages and Tools. — Department of Computer Science, Yale University.
↑ ¹ ² ³ ⁴ An Experiment in Software Prototyping Productivity. Paul Hudak, Mark P. Jones. Yale University, Department of Computer Science, New Haven, CT 06518. July 4, 1994.
↑ ¹ ² ³ Lutz Prechelt. An empirical comparison of C, C++, Java, Perl, Python, Rexx, and Tcl for a search/string-processing program (англ.). Технологический институт Карлсруэ. Дата обращения: 26 октября 2013.
↑ «Ada, C, C++, and Java vs. The Steelman» David A. Wheeler July/August 1997
↑ Comparison of Ada and C++ Features (en)
↑ Stephen Zeigler, Comparing Development Costs of C and Ada. Архивировано 4 апреля 2007 года.
↑ Google C++ Style Guide. Exceptions.
↑ Boehm H. Advantages and Disadvantages of Conservative Garbage Collection. Архивировано 24 июля 2013 года.
(ссылка изРеймонд, Эрик. Искусство программирования для Unix.. — 2005. — С. 357. — 544 с. — ISBN 5-8459-0791-8.)
↑ ¹ ² ³ ⁴ Открытая переписка gmane.comp.version-control.git от 06.09.2007 (неопр.). Дата обращения: 5 августа 2013. Архивировано из оригинала 9 декабря 2013 года.
↑ Alan Kay's Definition Of Object Oriented Programming (неопр.). Дата обращения: 5 августа 2013. Архивировано из оригинала 24 августа 2013 года.
↑ Шилдт, Теория и практика C++, 1996, с. 64—67.
↑ ¹ ² Ian Joyner. A Critique of C++ and Programming and Language Trends of the 1990s - 3rd Edition. — копирайт и список изданий.
↑ Paulson, Lawrence C. ML for the Working Programmer, 2nd edition. — University of Cambridge: Cambridge University Press, 1996. — ISBN 0-521-57050-6 (hardback), 0-521-56543-X (paperback)., c.271-285
↑ Walid Taha. Domain-Speciﬁc Languages. — Department of Computer Science, Rice University. Архивировано 24 октября 2013 года.
↑ Lugovsky V.S. Using a hierarchy of Domain Speciﬁc Languages in complex software systems design. — 2008.
↑ Андрей Карпов. 20 ловушек переноса Си++ - кода на 64-битную платформу. — RSDN Magazine #1-2007, 25.04.2007.
↑ Don Clugston, CSG Solar Pty Ltd (Перевод: Денис Буличенко). Указатели на функции-члены и реализация самых быстрых делегатов на C++. — RSDN Magazine #6-2004.
↑ Страуструп, Программирование: принципы и практика использования C++, 2001
↑ Dave Gottner. Templates Without Code Bloat. — Dr. Dobb's Journal, январь 1995.
↑ Adrian Stone. Minimizing Code Bloat: Redundant Template Instantiation (неопр.). Game Angst (22 сентября 2009). Дата обращения: 19 января 2010. Архивировано из оригинала 8 декабря 2011 года.
↑ Herb Sutter. C++ Conformance Roundup. — Dr. Dobb's Journal, январь 2001.
↑ Are there any compilers that implement all of this? (неопр.) comp.std.c++ frequently asked questions / The C++ language. Шаблон:Translation (10 декабря 2008). Дата обращения: 19 января 2010. Архивировано из оригинала 30 апреля 2009 года.
↑ Scott Meyers. Code Bloat due to Templates (неопр.). comp.lang.c++.moderated. Usenet (16 мая 2002). Дата обращения: 19 января 2010.
↑ ¹ ² ³ Ray Tracer Language Comparison (бенчмарк языков программирования — ffconsultancy.com/languages/ray_tracer/)
↑ Эрик Реймонд. Искусство программирования для Unix = The Art of Unix. — Вильямс, 2005. — ISBN 5-8459-0791-8.
↑ Zhanyong Wan, Walid Taha (неопр.). Архивировано из оригинала 13 августа 2013 года., and Paul Hudak. Event-Driven FRP // Department of Computer Science, Yale University.
↑ MLKit (неопр.). Дата обращения: 30 июля 2013. Архивировано из оригинала 17 сентября 2013 года.
↑ Чистяков Влад aka VladD2. Синтаксический сахар или C++ vs. Nemerle :) // RSDN Magazine #1-2006. — 24.05.2006.
↑ Go at Google: Language Design in the Service of Software Engineering (неопр.). talks.golang.org. Дата обращения: 19 сентября 2017.

Мнения

↑ Programming Language Popularity (неопр.) (2009). Дата обращения: 16 января 2009. Архивировано из оригинала 16 января 2009 года.
↑ TIOBE Programming Community Index (неопр.) (2009). Дата обращения: 6 мая 2009. Архивировано из оригинала 4 мая 2009 года.
↑ ¹ ² Открытая переписка gmane.comp.version-control.git от 06.09.2007 (неопр.). Дата обращения: 5 августа 2013. Архивировано из оригинала 9 декабря 2013 года.
↑ vanDooren. C++ keyword of the day: export (неопр.). Blogs@MSMVPs (24 сентября 2008). — «The export keyword is a bit like the Higgs boson of C++. Theoretically it exists, it is described by the standard, and noone has seen it in the wild. … There is 1 C++ compiler front-end in the world which actually supports it». Дата обращения: 19 января 2010. Архивировано из оригинала 6 мая 2009 года.

Пояснения

↑ Например, Boost.Lambda позиционируется как лямбда-функция, однако C++ не воплощает лямбда-исчисление Чёрча целиком; имитация комбинаторов посредством языка шаблонов слишком затруднено, чтобы ожидать их использование на практике; продолжения, унаследованные от Си, считаются неидеоматичными и опасными, а их реализация посредством языка шаблонов невозможна; кроме того, применение λ-подъёма^[англ.] для оптимизации C++ невозможно,— так что фактчески Boost.Lambda — это просто анонимная функция, а не объект лямбда-исчисления.

Литература

Бьёрн Страуструп. Язык программирования C++ = The C++ Programming Language / Пер. с англ. — 3-е изд. — СПб.; М.: Невский диалект — Бином, 1999. — 991 с. — 3000 экз. — ISBN 5-7940-0031-7 (Невский диалект), ISBN 5-7989-0127-0 (Бином), ISBN 0-201-88954-4 (англ.).
Бьёрн Страуструп. Язык программирования C++. Специальное издание = The C++ programming language. Special edition. — М.: Бином-Пресс, 2007. — 1104 с. — ISBN 5-7989-0223-4.
Бьёрн Страуструп. Программирование: принципы и практика использования C++, исправленное издание = Programming: Principles and Practice Using C++. — М.: Вильямс, 2011. — С. 1248. — ISBN 978-5-8459-1705-8.
Бьёрн Страуструп. Дизайн и эволюция C++ = The Design and Evolution of C++. — СПб.: Питер, 2007. — 445 с. — ISBN 5-469-01217-4.
Сиддхартха Рао. Освой самостоятельно C++ за 21 день, 7-е издание (C++11) = Sams Teach Yourself C++ in One Hour a Day, 7th Edition. — М.: «Вильямс», 2013. — 688 с. — ISBN 978-5-8459-1825-3.
Стефенс Д. Р. C++. Сборник рецептов. — КУДИЦ-ПРЕСС, 2007. — 624 с. — ISBN 5-91136-030-6.
Стивен Прата. Язык программирования C++ (C++11). Лекции и упражнения = C++ Primer Plus, 6th Edition (Developer’s Library). — 6-е изд. — М.: Вильямс, 2012. — 1248 с. — ISBN 978-5-8459-1778-2.
Айвор Хортон. Visual C++ 2010: полный курс = Ivor Horton’s Beginning Visual C++ 2010. — М.: Диалектика, 2010. — С. 1216. — ISBN 978-5-8459-1698-3.
Герберт Шилдт. Полный справочник по C++ = C++: The Complete Reference. — 4-е изд. — М.: Вильямс, 2011. — С. 800. — ISBN 978-5-8459-0489-8.
Герберт Шилдт. Теория и практика C++ = Shildt's Expert C++. — СПб.: BHV — Санкт-Петербург, 1996. — ISBN 0-07-882209-2, 5-7791-0029-2.
P.J. Plauger. Programming Language Guessing Games - If C++ is the Answer, what’s the question? // Dr. Dobb's Journal. — Октябрь, 1993.
The Unix-Haters Handbook. — International Data Group^?!, 1994.
Ian Joyner. A Critique of C++ and Programming and Language Trends of the 1990s - 3rd Edition. // копирайт и список изданий. — 1996.
Скотт Мейерс. Эффективный и современный C++: 42 рекомендации по использованию C++11 и C++14 = Effective Modern C++: 42 Specific Ways to Improve Your Use of C++11 and C++14 / Пер. с англ. — Вильямс, 2016. — 304 с. — ISBN 978-5-8459-2000-3.
Herbert Schildt. C++ The Complete Reference Third Edition. — Osborne McGraw-Hill, 1998. — ISBN 978-0-07-882476-0.

Ссылки

C++ в каталоге ссылок Curlie (dmoz)
Комитет по стандартизации языка C++ (англ.)

рабочие материалы комитета по стандартизации за 2009-й год

Бьёрн Страуструп. CppCoreGuidelines (англ.) The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++
C++11 (известный как C++0x) — новый стандарт языка C++ — доклад Yet another Conference
Бьёрн Страуструп. Краткий обзор C++0x (англ.)
comp.lang.c++.moderated (англ.)
Учебник C++ для начинающих (рус.)
Окончательный список ресурсов для изучения C и C ++ (англ.)
Yossi Kreinin. C++ FQA Lite (неопр.).
Линус Торвальдс. Convert builin-mailinfo.c to use The Better String Library (неопр.). Gmane forum (6 сентября 2007).

[_cbaf5260e18248f3-1] ISO/IEC 14882:2020 Programming languages — C++ — 2020.

[2] Губина Г. Г. Компьютерный английский. Ч. I. Computer English. Part I. Учебное пособие. — С. 385.

[3] Bjarne Stroustrup's FAQ (англ.). Bjarne Stroustrup (Ocober 1, 2017). — «The name C++ (pronounced "see plus plus")». Дата обращения: 4 декабря 2017.

[_cd050e120e51c572-4] Шилдт, 1998.

[_59ba0da17491157e-5] ¹ ² Страуструп, 1999, 2.1. Что такое C++?, с. 57.

[8] Стэнли Липпман, Pure C++: Hello, C++/CLI (англ.)

[_ea7347a0a19ae285-9] ¹ ² Страуструп, 1999, 1.4. Исторические замечания, с. 46.

[10] C++ — Standards

[11] Bjarne Stroustrup. C++ Glossary (неопр.). Дата обращения: 8 июня 2007. Архивировано из оригинала 1 мая 2011 года.

[12] Where do I find the current C or C++ standard documents? http://stackoverflow.com/questions/81656/where-do-i-find-the-current-c-or-c-standard-documents

[13] See a list at http://en.cppreference.com/w/cpp/experimental Visited 5 January 2015.

[sozd-14] Яндекс организует рабочую группу по стандартизации языка C++ (неопр.). ИКС Медиа.

[_1ff3a236e99a77e1-15] Страуструп, Дизайн и эволюция C++, 2007.

[16] ISO/IEC 14882:1998, раздел 6.4, пункт 4: «The value of a condition that is an initialized declaration in a statement other than a switch statement is the value of the declared variable implicitly converted to bool … The value of a condition that is an expression is the value of the expression, implicitly converted to bool for statements other than switch; if that conversion is ill-formed, the program is ill-formed».

[17] STLport: Welcome!

[_0e567011be933344-18] Страуструп, 1999, 1.6.

[19] std::vector — cppreference.com

[20] std::realloc — cppreference.com

[21] Интервью Б. Страуструпа LinuxWorld.com

[22] Интервью Б. Страуструпа журналу «Системный администратор»

[23] CNews: Эксклюзивное интервью с создателем языка программирования C++

[languageorient-24] ¹ ² Martin Ward. Language Oriented Programming^[англ.]. — Computer Science Department, Science Labs, 1994.

[Hudak_DSL-25] Paul Hudak. Modular Domain Speciﬁc Languages and Tools. — Department of Computer Science, Yale University.

[haskell-26] ¹ ² ³ ⁴ An Experiment in Software Prototyping Productivity. Paul Hudak, Mark P. Jones. Yale University, Department of Computer Science, New Haven, CT 06518. July 4, 1994.

[perhelt-27] ¹ ² ³ Lutz Prechelt. An empirical comparison of C, C++, Java, Perl, Python, Rexx, and Tcl for a search/string-processing program (англ.). Технологический институт Карлсруэ. Дата обращения: 26 октября 2013.

[steelman-28] «Ada, C, C++, and Java vs. The Steelman» David A. Wheeler July/August 1997

[rogers-29] Comparison of Ada and C++ Features (en)

[30] Stephen Zeigler, Comparing Development Costs of C and Ada. Архивировано 4 апреля 2007 года.

[googlesg-32] Google C++ Style Guide. Exceptions.

[33] Boehm H. Advantages and Disadvantages of Conservative Garbage Collection. Архивировано 24 июля 2013 года.
(ссылка изРеймонд, Эрик. Искусство программирования для Unix.. — 2005. — С. 357. — 544 с. — ISBN 5-8459-0791-8.)

[autogenerated1-34] ¹ ² ³ ⁴ Открытая переписка gmane.comp.version-control.git от 06.09.2007 (неопр.). Дата обращения: 5 августа 2013. Архивировано из оригинала 9 декабря 2013 года.

[alankay-35] Alan Kay's Definition Of Object Oriented Programming (неопр.). Дата обращения: 5 августа 2013. Архивировано из оригинала 24 августа 2013 года.

[_213d6d8b80a935d7-36] Шилдт, Теория и практика C++, 1996, с. 64—67.

[Joyner-37] ¹ ² Ian Joyner. A Critique of C++ and Programming and Language Trends of the 1990s - 3rd Edition. — копирайт и список изданий.

[Paulson-38] Paulson, Lawrence C. ML for the Working Programmer, 2nd edition. — University of Cambridge: Cambridge University Press, 1996. — ISBN 0-521-57050-6 (hardback), 0-521-56543-X (paperback)., c.271-285

[39] Walid Taha. Domain-Speciﬁc Languages. — Department of Computer Science, Rice University. Архивировано 24 октября 2013 года.

[40] Lugovsky V.S. Using a hierarchy of Domain Speciﬁc Languages in complex software systems design. — 2008.

[XXtraps64bit-41] Андрей Карпов. 20 ловушек переноса Си++ - кода на 64-битную платформу. — RSDN Magazine #1-2007, 25.04.2007.

[42] Don Clugston, CSG Solar Pty Ltd (Перевод: Денис Буличенко). Указатели на функции-члены и реализация самых быстрых делегатов на C++. — RSDN Magazine #6-2004.

[44] Страуструп, Программирование: принципы и практика использования C++, 2001

[45] Dave Gottner. Templates Without Code Bloat. — Dr. Dobb's Journal, январь 1995.

[46] Adrian Stone. Minimizing Code Bloat: Redundant Template Instantiation (неопр.). Game Angst (22 сентября 2009). Дата обращения: 19 января 2010. Архивировано из оригинала 8 декабря 2011 года.

[47] Herb Sutter. C++ Conformance Roundup. — Dr. Dobb's Journal, январь 2001.

[48] Are there any compilers that implement all of this? (неопр.) comp.std.c++ frequently asked questions / The C++ language. Шаблон:Translation (10 декабря 2008). Дата обращения: 19 января 2010. Архивировано из оригинала 30 апреля 2009 года.

[50] Scott Meyers. Code Bloat due to Templates (неопр.). comp.lang.c++.moderated. Usenet (16 мая 2002). Дата обращения: 19 января 2010.

[raytracer-51] ¹ ² ³ Ray Tracer Language Comparison (бенчмарк языков программирования — ffconsultancy.com/languages/ray_tracer/)

[52] Эрик Реймонд. Искусство программирования для Unix = The Art of Unix. — Вильямс, 2005. — ISBN 5-8459-0791-8.

[53] Zhanyong Wan, Walid Taha (неопр.). Архивировано из оригинала 13 августа 2013 года., and Paul Hudak. Event-Driven FRP // Department of Computer Science, Yale University.

[54] MLKit (неопр.). Дата обращения: 30 июля 2013. Архивировано из оригинала 17 сентября 2013 года.

[55] Чистяков Влад aka VladD2. Синтаксический сахар или C++ vs. Nemerle :) // RSDN Magazine #1-2006. — 24.05.2006.

[designGo-56] Go at Google: Language Design in the Service of Software Engineering (неопр.). talks.golang.org. Дата обращения: 19 сентября 2017.

[langpop-6] Programming Language Popularity (неопр.) (2009). Дата обращения: 16 января 2009. Архивировано из оригинала 16 января 2009 года.

[tiobe-7] TIOBE Programming Community Index (неопр.) (2009). Дата обращения: 6 мая 2009. Архивировано из оригинала 4 мая 2009 года.

[torvalds-31] ¹ ² Открытая переписка gmane.comp.version-control.git от 06.09.2007 (неопр.). Дата обращения: 5 августа 2013. Архивировано из оригинала 9 декабря 2013 года.

[49] vanDooren. C++ keyword of the day: export (неопр.). Blogs@MSMVPs (24 сентября 2008). — «The export keyword is a bit like the Higgs boson of C++. Theoretically it exists, it is described by the standard, and noone has seen it in the wild. … There is 1 C++ compiler front-end in the world which actually supports it». Дата обращения: 19 января 2010. Архивировано из оригинала 6 мая 2009 года.

[43] Например, Boost.Lambda позиционируется как лямбда-функция, однако C++ не воплощает лямбда-исчисление Чёрча целиком; имитация комбинаторов посредством языка шаблонов слишком затруднено, чтобы ожидать их использование на практике; продолжения, унаследованные от Си, считаются неидеоматичными и опасными, а их реализация посредством языка шаблонов невозможна; кроме того, применение λ-подъёма^[англ.] для оптимизации C++ невозможно,— так что фактчески Boost.Lambda — это просто анонимная функция, а не объект лямбда-исчисления.

[1]

[2]

[3]

[4]

[5]

[мнения 1]

[мнения 2]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[мнения 3]

[29]

[30]

[31]

[32]

[33]

[34]

[35]

[36]

[37]

[38]

[39]

[пояснения 1]

[40]

[41]

[42]

[43]

[44]

[мнения 4]

[45]

[46]

[47]

[48]

[49]

[50]

[51]

Стандарты ISO
Перечни: Перечень стандартов ИСО Перечень романизаций ISO Перечень стандартов IEC Категории: Категория:Стандарты ISO Категория:Протоколы OSI
1 по 9999	1 2 3 4 6 7 9 16 31 -0 -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 128 216 217 226 228 233 259 269 296 302 306 428 639 -1 646 668 690 732 764 796 843 898 1000 1004 1007 1073-1 1413 1538 1745 2014 2015 2022 2108 2145 2146 2281 2709 2711 2788 3029 3103 3166 -1 -2 -3 3297 3307 3602 3864 3901 3977 4031 4157 4217 5218 5775 5776 5964 6166 6344 6346 6425 6429 6438 6523 6709 7001 7002 7098 7185 7388 7498 7736 7810 7811 7812 7813 7816 8000 8217 8571 8583 8601 8632 8652 8691 8807 8820-5 8859 -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16) 8879 9000 9075 9126 9241 9362 9407 9506 9529 9564 9594 9660 9897 9945 9984 9985 9995
10000 по 19999	10006 10118-3 10160 10161 10165 10179 10206 10303 10303-11 10303-21 10303-22 10303-238 10303-28 10383 10487 10585 10589 10646 10664 10746 10861 10957 10962 10967 11073 11170 11179 11404 11544 11783 11784 11785 11801 11898 11940 11941 11941 (TR) 11992 12006 12164 12182:1998 12207:1995 12207:2008 12234-2 13211 -1 -2 13216 13250 13399 13406-2 13407 13450 13485 13490 13567 13568 13584 13616 14000 14031 14396 14443 14496-10 14496-14 ISO 14575 14644 -1 -2 -3 -4 -5 -6 -7 -8 -9 14649 14651 14698 14698-2 14750 14882 14971 15022 15189 15288 15291 15292 15408 15444 15445 15438 15504 15511 15686 15693 15706 15706-2 15707 15897 15919 15924 15926 15926 WIP 15930 16023 16262 16750 17024 17025 17369 17799 17987 18000 18004 18014 18245 18629 18916 19005 19011 19092-1 19092-2 19114 19115 19439 19501:2005 19752 19757 19770 19775-1 19794-5
20000+	20000 20022 20121 21000 21047 21500 21827:2002 22000 23008-2 23270 23360 24613 24707 25964-1 25178 26000 26300 26324 27000 series 27000 27001 27002 27003 27004 27005 27006 27007 27729 27799 29199-2 29500 31000 32000 38500 42010 50001 80000
См. также: Список статей, названия которых начинаются с «ISO»

C++
C++98 C++03 C++11 C++14 C++17 C++20 C++23 C++26
Особенности	Перегрузка функций Перегрузка операторов Шаблоны Виртуальное наследование Ссылки Правило трёх POD SFINAE
Некоторые библиотеки	Стандартная библиотека STL Boost POCO Qt
Компиляторы	Borland C++ C++ Builder Cfront Clang GCC Intel C++ compiler Visual C++ Open Watcom
Повлиял на	C# D Java Managed C++ Rust Vala
Категория C++

IDE для C и C++ (сравнение)
Свободные	Anjuta Code::Blocks CodeLite Dev-C++ Eclipse Geany GNAT Programming Studio KDevelop MonoDevelop NetBeans QDevelop Qt Creator wxDev-C++ Ultimate++
Бесплатные	Visual Studio Express Pelles C Sun Studio Turbo C
Коммерческие	C++ Builder CLion CodeWarrior IBM VisualAge Visual Studio Xcode