Язык программирования D: различия между версиями

C++ обычно требует, чтобы функции и классы были объявлены дважды — объявление происходит в заголовочных файлах (*.h), а описание происходит в файлах исходного кода (*.cpp). Это утомительный и подверженный ошибкам процесс. Очевидно, что программисту достаточно объявить функцию или класс лишь однажды, а компилятор должен впоследствии извлечь информацию об объявлении и сделать ее доступной для импортирования. Именно так работает язык программирования D, например:

 

{

int func() { return 7; }

static int z = 7;

}

 

И более нет необходимости отдельного описания функций-членов, атрибутов и спецификаций внешних объявлений (extern), как в языке C++:

 

 

int ABC::z = 7;

 

 

Заметка: Конечно же, в C++ тривиальные функции вроде { return 7; } тоже описаны внутри класса, но более сложные должны быть описаны отдельно. Вдобавок, если нужны опережающие ссылки (ссылки на класс или функцию, которые объявлены, но еще не определены), то для этих объектов нужны прототипы (prototype). Следующий код не будет работать в C++:

 

{

int foo(Bar *c) { return c->bar(); }

public:

int bar() { return 3; }

 

Но эквивалентный код на языке D будет рабочим:

 

{

int foo(Bar c) { return c.bar; }

{

int bar() { return 3; }

 

А то, будет ли функция встраиваемой (при компиляции вызов такой функции заменяется ее кодом) или нет, в языке D зависит от настроек оптимизатора.

В языках C и C++ оператор typedef на самом деле просто создает синоним типа данных и никакого нового типа данных не объявляется. В языке D оператор typedef объявляет новый тип данных. Таким образом, код

 

 

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

 

 

==== Тип данных bit ====

Бит является фундаментальным типом данных, поэтому в D существует такой тип данных. Следующий код используется для создания массива битов:

 

 

=== Документация ===

* Массивы объявляются с использованием оператора <code>[]</code> после названия массива. Это ведет к использованию очень неуклюжего синтаксиса при объявлении, скажем, ссылки на массив:

 

 

В языке D оператор <code>[]</code> при объявлении массива ставится после типа данных:

 

 

Этот код более легок для восприятия. В языке D можно использовать несколько видов массивов: указатели, статические массивы, динамические массивы и ассоциативные массивы.

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

 

 

Синхронизированные функции разрешают в один момент времени исполнять код функции только одному потоку.