deviator Jun 24 2015 at 18:15

D для новичков, часть 1

8 min

14K

Tutorial

+15

Comments 12

ANtlord Jun 24 2015 at 20:08

Это полезно при передаче больших структур, в целях избежания накладных расходов на копирование. Но подобная запись, не будет работать с rvalue значениями, тоесть в данном случае нельзя будет вызвать так func(5), так как литерал не имеет адреса (это касается и структур, создаваемых в момент выхова функции).

Вам неизвестно это осознанное решение или следствие череды других? Что-то совсем грустно прибегать к шаблонам. И кстати перегрузка метода не спасет разве?

deviator Jun 24 2015 at 20:20

Как я уже писал на оффсайте ведётся обсуждение и есть решение. Проблема больше идеологическая, существует 2 подхода:

реализовать неявную шаблонизацию (с возможностью перегрузки)
либо оставить только функцию принимающую ref, а вызов реализовать через временную переменную
```
func(5);
// разворачивается в
{
    auto __tmp_var__ = 5;
    func( __tmp_var__ );
}
```

rafuck Jun 24 2015 at 22:34

Что-то, насколько я помню, immutable — это сплошная боль. Нельзя просто так взять и объявить immutable «переменную». Сам тип данных должен быть иммутабелен, а это заставляет писать мутабельные и иммутабельные типы данных по отдельности. Я ошибаюсь?

deviator Jun 24 2015 at 22:41

Ошибаетесь. Просто накладывает соответствующие ограничения. Если Вы хотите просто передавать экземпляр какой-то своей структуры между потоками, то просто все методы доступа должны быть pure const, а методы изменения по определению не могут вызываться для immutable объекта. В следующей статье будет больше подробностей.

rafuck Jun 24 2015 at 23:34

Разве экземпляры структур в D не создаются в TLS?
Может, я что-то путаю, но у меня создалась стойкая ассоциация, что в D все эти shared и immutable только заставляют бороться с компилятором. Это точно было в D2. Но давно. Надо будет попробовать еще раз многопоточный сервис реализовать. И я уже даже знаю, какой. И теперь знаю, куда адресовать вопросы :)

deviator Jun 24 2015 at 23:56

Если Вы хотите передать структуру/класс в другой поток она должна быть либо shared, либо immutable. Соответственно вызоваемые методов либо должны быть константными и чистыми, либо Вы должны обозначить их как shared (и прописать необходимые синхронизации в случае структур) или immutable. Такая система типов по началу может вызывать определённый дискомфорт, но если к ней пригледеться, то многое становится ясным.

rafuck Jun 25 2015 at 00:29

Так структура должна быть shared или экземпляр структуры?
Т.е. «shared struct T{....}; T s;» или «struct T{....}; shared T s;»?

rafuck Jun 25 2015 at 00:41

А, кажется я понял, зачем модификатор shared в описании типа данных. Я не могу написать
struct T{int a; immutable int b;}
я должен всю структуру вывести из TLS и написать:
shared struct T{int a; immutable int b;}

deviator Jun 25 2015 at 02:11

я постараюсь на эти вопросы ответить в следующей статье)

9mm Jun 25 2015 at 01:22

Спасибо за статью.

Моё имхо: её стоило разделить на несколько, чтобы легче воспринималось, и давать материал опираясь на базу C++ (D позиционируется как его преемник), затем уже говорить об особенностях/дополнениях.
Т.е., объяснить что аналогом c++'ного const char* является const (char)* и дать объяснения почему. Отдельно упомянуть про отличия классов и структур и отдельно говорить о передаче параметров в функции.
Получается что каждый параграф в целом понятен, но почему он находится после предыдущего не ясно — нет гладкости повествования.

Успехов, молодец что пишите про D!

deviator Jun 25 2015 at 02:15

Просто я не ставил целью сравнить D с C++, хотелось осветить именно эти моменты (хотя про указатели упомянуть наверное стоит, завтра добавлю).

deviator Jun 25 2015 at 17:38

добавил про указатели

Show the best of all time