English

Продвинуты гайд(WIP)

Я решил создать этот раздел для тех кто уже хорошо знаком с основными понятиями программирования вроде ООП, лямбд, делегатов и тд. Здесь будут описаны только ключевые особенности Vala в отличии от других языком.

Оссобенности синтаксиса

?? null-сливающий оператор: a ?? b эквивалентно a != null ? a : b. Этот оператор особенно полезен, например, для предоставление дефолтного значения в том случае, если ссылка равна null:

print("Hello, %s!\n", name ?? "unknown person");

PR ПО ДОБАВЛЕНИЮ ОПЕРАТОРОВ .? !in ...

Модификаторы для ссылок unowned/owned, weak/strong (подробнее будет ниже)

Массивы

Для стандартных массивов в Vala генерируются следующие методы

СИ МЕТОДЫ

Как можно заметить вы можете добавлять элементы динамически с помощью +=. Однако, это работает только для локально определенных или private массивов. Массив будет автоматически переразмещен, если потребуется. Внутренне, это переразмещение происходит, когда размер массива переваливает через еще одну степень двойки, это сделано по причинам эффективности. .length содержит реальное число элементов массива, а не внутренний размер.

int[] e = {};
e += 12;
e += 5;
e += 37;

Слайсы как в Python

int[] b = { 2, 4, 6, 8 };
int[] c = b[1:3]; // => { 4, 6 }

Результатом обрезания массива будет ссылка на запрашиваемые данные, а не копия. Однако, присвоение обрезания owned-переменной (как показано ниже) будет приводить к копированию. Если вы хотите избежать копирования, вы обязаны либо присвоить срез какой-нибудь unowned-переменной или передать его прямо как аргумент (аргументы по умолчанию unowned):

unowned int[] c = b[1:3];     // => { 4, 6 }

Методы

Vala хранит длинну для всех массивов отдельной переменной(если вы не укажете обратного с помощью атрибутов кода) поэтому у каждого массива(и строки) есть свойство length

Для получения длинны в многомерных массивах используйте следующий синтаксис

int[,] arr = new int[4,5];
int r = arr.length[0];
int c = arr.length[1];

ТУТ ПРИМЕР СГЕНЕРИРОВАННОГО С КОДА ЕЩЕ ПРИМЕР С АТРИБУТОМ ДЛЯ БЕЗ ДЛИННЫ

resize(int) - ресайзит

int[] a = new int[5];
a.resize(12);

move(src, dest, lenght) мувит

uint8[] chars = "hello world".data;
chars.move(6,0,5);
print((string) chars); //"world "

Если вы поставите квадратные скобки после идентификатора вместе с указанием размера, вы получите массив фиксированного размера. Массивы фиксированного размера размещаются в стеке (если используются в качестве локальных переменных) или размещаются в строке (если используются в качестве полей), и вы не сможете перераспределить их позже.

int f[10];

Vala не выполняет никаких проверок границ для доступа к массиву во время выполнения. Если вам нужно больше безопасности, вы должны использовать более сложную структуру данных, такую как ArrayList. Вы узнаете больше об этом позже в разделе о коллекциях.

Однако массивы в Vala все же более безопасны чем в си, изза некоторых хитростей кодогенерации:

Оператор in проверяет, содержит ли правый операнд левый. Этот оператор работает на массивах, строках, коллекциях и любых других типах, которые имеют соответствующий contains() метод. Для строк он выполняет поиск подстроки.

Компилятор

Vala scripting

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

#!/usr/bin/vala
var a = 5;
print(@"a = $a\n");
print(Environment.get_current_dir() + "\n");
print(Environment.get_host_name() + "\n");
❯❯❯ ./v.vala
a = 5
/home/gavr/bin/temp
arch

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:

Object* o = new Object();

In order to access members of that instance:

o->method_1();
o->data_1;

In order to free the memory pointed to:

delete o;

Vala also supports the address-of (&) and indirection (*) operators known from C:

int i = 42;
int* i_ptr = &i;    // address-of
int j = *i_ptr;     // indirection

The behavior is a bit different with reference types, you can omit the address-of and indirection operator on assignment:

Foo f = new Foo();
Foo* f_ptr = f;    // address-of
Foo g = f_ptr;     // indirection

unowned Foo f_weak = f;  // equivalent to the second line

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

PreviousИспользование GLibNextGpseq

Last updated