От C++ к C

Язык C++ является расширением C и представляет редкий пример языка почти полной обратной совместимости с предшественником - правильная C-программа обычно является и правильной C++ программой и дает те же результаты.

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

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

Такая концепция описания (указание различий с другим языком) объясняет также, почему, в отличие от других приложений, обсуждение основ и стиля C вынесено в самый конец.

Отсутствующие элементы

Исходя из описания C++, нисходя от C++ к C, следует опустить:

Большинство из того, что осталось, включает:

Основы языка и стиль

Язык C возник в результате исследований, проводимых в ATT's Bell Laboratories в конце шестидесятых с целью получения преимуществ от идей структурного программирования, с сохранением при этом возможности прямого доступа к механизмам машинного уровня. Последнее требование связано не только с проблемами производительности; другая причина состояла в том, что на C предстояло написать операционную систему - первую версию Unix. Этот проект был успешным, и все последующие версии Unix (и нескольких других операционных систем) были написаны на C.

Язык C ценится за возможность управления низкоуровневыми аспектами приложения - то, что называется возможностью работы на уровне операционной системы и аппаратуры. Такая работа поддерживается возможностью прямого манипулирования адресами, в частности, использованием указателей (* и -операций), адресной арифметики и идеи о том, что целью присваивания может быть любое выражение (l-value), которое может обозначать адрес.

Ничто не дается даром, так что, достигая хорошего контроля над ресурсами низкого уровня, теряем преимущества абстракции, обеспечиваемой более современными языками, в частности, такого аспекта, как проверка типов. Динамически разрешается определить любой адрес, но нет гарантии, что при каждом выполнении по этому адресу будет находиться предполагаемое по смыслу значение. Это не просто проблема надежности, но также и проблема безопасности. Переполнение буфера, один из любимых способов атаки интернетовских разбойников, фундаментально основан на C-механизме доступа к произвольному адресу памяти, вычисляемого динамически.

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

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

Библиотека EiffelBase использует этот подход при реализации таких абстракций, как массивы и файлы. Для остального мира соответствующие классы являются нормальными Eiffel-классами с контрактами; их реализации просто вызывают короткие внешние C-функции.

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

Этот подход успешно используется многими компиляторами, включая Eiffel-компиляторы.

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

Дальнейшее чтение

Brian W. Kernighan and Dennis M. Ritchie: The C Programming Language, second edition, Prentice Hall, 1988.

На русском языке это букинистическая редкость, но доступна на многих сайтах.

Библия C-программирования от авторов языка, известная как "KR", ценимая за ясность и выразительность. Есть множество других книг по C, но трудно, кажется, прочесть что-либо другое, отличное от "KR", для овладения C.