Продвинуты гайд(WIP)
Я решил создать этот раздел для тех кто уже хорошо знаком с основными понятиями программирования вроде ООП, лямбд, делегатов и тд. Здесь будут описаны только ключевые особенности Vala в отличии от других языком.
Оссобенности синтаксиса
?? null-сливающий оператор: a ?? b эквивалентно a != null ? a : b. Этот оператор особенно полезен, например, для предоставление дефолтного значения в том случае, если ссылка равна null:
PR ПО ДОБАВЛЕНИЮ ОПЕРАТОРОВ .? !in ...
Модификаторы для ссылок unowned/owned, weak/strong (подробнее будет ниже)
Массивы
Для стандартных массивов в Vala генерируются следующие методы
СИ МЕТОДЫ
Как можно заметить вы можете добавлять элементы динамически с помощью +=. Однако, это работает только для локально определенных или private массивов. Массив будет автоматически переразмещен, если потребуется. Внутренне, это переразмещение происходит, когда размер массива переваливает через еще одну степень двойки, это сделано по причинам эффективности. .length содержит реальное число элементов массива, а не внутренний размер.
Слайсы как в Python
Результатом обрезания массива будет ссылка на запрашиваемые данные, а не копия. Однако, присвоение обрезания owned-переменной (как показано ниже) будет приводить к копированию. Если вы хотите избежать копирования, вы обязаны либо присвоить срез какой-нибудь unowned-переменной или передать его прямо как аргумент (аргументы по умолчанию unowned):
Методы
Vala хранит длинну для всех массивов отдельной переменной(если вы не укажете обратного с помощью атрибутов кода) поэтому у каждого массива(и строки) есть свойство length
Для получения длинны в многомерных массивах используйте следующий синтаксис
ТУТ ПРИМЕР СГЕНЕРИРОВАННОГО С КОДА ЕЩЕ ПРИМЕР С АТРИБУТОМ ДЛЯ БЕЗ ДЛИННЫ
resize(int) - ресайзит
move(src, dest, lenght) мувит
Если вы поставите квадратные скобки после идентификатора вместе с указанием размера, вы получите массив фиксированного размера. Массивы фиксированного размера размещаются в стеке (если используются в качестве локальных переменных) или размещаются в строке (если используются в качестве полей), и вы не сможете перераспределить их позже.
Vala не выполняет никаких проверок границ для доступа к массиву во время выполнения. Если вам нужно больше безопасности, вы должны использовать более сложную структуру данных, такую как ArrayList. Вы узнаете больше об этом позже в разделе о коллекциях.
Однако массивы в Vala все же более безопасны чем в си, изза некоторых хитростей кодогенерации:
Оператор in проверяет, содержит ли правый операнд левый. Этот оператор работает на массивах, строках, коллекциях и любых других типах, которые имеют соответствующий contains() метод. Для строк он выполняет поиск подстроки.
Компилятор
Vala scripting
Вопервых, как уже упоминалось в предисловии вы можете использовать Vala в качестве скриптового языка. Сделав следующий файл исполнительным, это будет работать.
Debug
Компилируя с -g --save-temp Vala подставит в Си код прагмы позволяющие GDB распознавать каким Vala строкам какие Си строки соответствуют.
Таким образом Vala можно замечательно дебажить любыми средствами. Видео демка:
Пример Taskа для VSc под видео.
Компиляция
Только самые важные/интересные, я не буду описывать флаги компиляции shared библиотек и gresource потому что это за вас делает Meson
Флаг -C создаст С файл вместо бинарника, многие флаги специфичные для бинарников при этом не работают (логично)
-H или --header=FILE создаст хедер, если вы хотите слинковаться с либой(хотя опять таки, лучше предоставить это дело Meson)
-X -ANY_C_FLAG — передача флага в компилятор С, например
-X -O3
-k --keep-going Продолжать анализ файла, даже если были встречены ошибки(на случай если вы хотите увидеть все ошибки, и почему то не используете Langue Server, вообще для него флаг и предназначен)
--pkg PKGNAME — использовать пакет через pgk-config, пример
vala v.vala --pkg gee-0.8
--abi-stability — ?
--enable-experimental-non-null — об этом позже, в разделе nullabylity
--fatal-warnings — вылетать при warning, подробнее в разделе про логирование
--cc COMMAND — использовать команду в качестве компилятора С, например valac --cc tcc v.vala ускорит компиляцию в ~2 раза, хороший вариант для циклов разработки
ARC и GC
5 типа ссылок
Owned/Unowned
Weak/Strong
Pure
Pointers are Vala's way of allowing manual memory management. Normally when you create an instance of a type you receive a reference to it, and Vala will take care of destroying the instance when there are no more references left to it. By requesting instead a pointer to an instance, you take responsibility for destroying the instance when it is no longer wanted, and therefore get greater control over how much memory is used.
This functionality is not necessarily needed most of the time, as modern computers are usually fast enough to handle reference counting and have enough memory that small inefficiencies are not important. The times when you might resort to manual memory management are:
When you specifically want to optimise part of a program.
When you are dealing with an external library that does not implement reference counting for memory management (probably meaning one not based on gobject.)
In order to create an instance of a type, and receive a pointer to it:
In order to access members of that instance:
In order to free the memory pointed to:
Vala also supports the address-of (&) and indirection (*) operators known from C:
The behavior is a bit different with reference types, you can omit the address-of and indirection operator on assignment:
The usage of reference-type pointers is equivalent to the use of unowned references.
References and ownership (https://wiki.gnome.org/Projects/Vala/Manual/Concepts#References_and_ownership)
Ownership transfer expressions (https://wiki.gnome.org/Projects/Vala/Manual/Expressions#Ownership_transfer_expressions)
Перевести, обновить (инфа из 2013)
feature
status
Handling Ownership in simple collections
no
Panic for weak reference for referable objects
yes
Weak reference for InitiallyUnowned
not tested yet
References as entities
state unknown
Casting strong to weak
yes
Casting strong to weak ownership transferring at formal parameter
yes
Implicit strong keyword
yes, but not purposely
Implicit ownership keyword
yes, but not purposely
Explicit strong keyword
no
Explicit ownership keyword
no
Strict ownership transferring grammar
no
Weak reference as entity type in generics
yes, but not purposely
Panic for strong reference as entity type in generics
N/A because no explicit strong keyword, they are inferred to be ownerships
3 вида классов
Строки
string = Си строки (это сделано для более простой совместимости, принять из Си char* все равно что string) StringBuilder = GString
По дефолту UTF-8 из-за чего есть особенности https://wiki.gnome.org/Projects/Vala/StringSample
Атрибуты кода
Выделить самые полезные
GIR
Nullability
How to do X in Vala
Last updated