Sea++

Try, Go, Try!

English version: https://telegra.ph/Try-Go-Try-10-28

Некоторое время назад в среде Go появилось предложение о введении встроенной функции проверки ошибок try (https://go.googlesource.com/proposal/+/master/design/32437-try-builtin.md, https://habr.com/ru/post/472758/) за авторством Роберта Гризмера.

Это нужно для устранения повторяющихся проверок
if err != nil {
return nil, err
}

о которых не говорил только ленивый.

К слову, это уже не первое предложение ввести новые языковые конструкции для обработки ошибок. Уже были check и handle, о которых я уже писал (https://t.me/seaplusplus/77)

В новом предложении
f := try(os.Open(filename))

будет развернуто компилятором в
f, err := os.Open(filename)
if err != nil {
return nil, err
}
что весьма удобно.

handle не прижился из-за того, что был очень сильно похож на уже имеющийся механизм defer.

try будет реализован как встроенная функция. Во-первых, сделать ее обычной функцией не удастся, потому что нужно будет уметь выходить сразу из двух стек фреймов. Во-вторых, отказ от использования нового ключевого слова позволяет сохранить обратную совместимость с уже имеющимися парсерами Go.

Между прочим, C++ тоже не хватает, на мой взгляд, возможности выйти сразу из нескольких стек фреймов. Это проблему можно решить, к примеру, используя нестандартное расширение GCC и макросы: https://github.com/google/lmctfy/blob/master/util/errors.h#L229

И писать
std::string s = RETURNIFERROR(FunctionReturnsStatusOrString());
получая здесь практически все то же самое, что дает try в Go.

Google Abseil Btree

В C++ библиотеку Google Abseil https://github.com/abseil/abseil-cpp/tree/master/absl/container, о которой я уже писал (https://t.me/seaplusplus/69), добавили четыре новых STL-like Btree контейнера: absl::btreemap, absl::btreemultimap, absl::btreeset и absl::btreemultiset. Данные хранятся в памяти, но под капотом алгоритм, который пришел из баз данных. Btree хранит несколько элементов в одном блоке памяти, что уменьшает количество аллокаций, а также за счет более эффективного использования кэша работает быстрее в большинстве случаев.

Это практически drop-in замена std::map и std::set. Однако при вставке и удалении происходит инвалидация итераторов. Поэтому надо быть осторожным.

English version: https://telegra.ph/Google-Abseil-Btree-10-20

https://t.me/seapluspluschat — официальный чат канала Sea++.
Здесь можно обсудить заметки и пообщаться с другими подписчиками.

https://t.me/seapluspluschat — official Sea++ channel chat.
Here you can discuss notes and communicate with other subscribers.

Rust в Amazon

Rust заполучил еще одного спонсора, компанию Amazon: https://aws.amazon.com/jp/blogs/opensource/aws-sponsorship-of-the-rust-project/

Пишут, что Амазон использует Rust в критичных к производительности компонентах Lambda, EC2 и S3.

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

English version: https://telegra.ph/Rust-at-Amazon-10-15

CURL — это C

Интересное рассуждение автора библиотеки libcurl Дэниела Стенберга на тему выбранного для проекта языка C https://daniel.haxx.se/blog/2017/03/27/curl-is-c/

Главная идея: проект использует стандарт C89 для совместимости практически со всеми ОС и устройствами, все знают этот язык, переписывание на Rust дало бы огромное количество багов, которых нет сейчас, новые баги перимущественно возникают из-за логических ошибок в коде, а не по причине небезопасности языка.

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

English version: https://telegra.ph/CURL-is-C-10-11

Комментарии (comments)

Pythonic C++

std::string s;<br/> s = 1;<br/><br/>— Вау, C++, оказывается, как Python! Можно присваивать строке целые числа, — подумаете вы, увидев, что данный фрагмент кода компилируется без ошибок. И... Будете неправы.

Все дело в объявлении оператора присваивания:
string& string::operator=(char ch);<br/><br/>которое приводит 1 в char.

Так что никакой магии нет. И данный момент заставит вас подумать, почему же в код закралась ошибка.

А если вы все-таки хотите подобное поведение как в Python, взгляните в сторону std::any https://en.cppreference.com/w/cpp/utility/any

English version: https://telegra.ph/Pythonic-C-03-18