1.0.0

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

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

Структуры

Структуры как и в C# являются value типами, выделяются на стеке и копируются при передачи или присваивании. Все поля структуры являются публичными. В структурах могут быть методы. Структуры можно наследовать.

Для структуры

struct Foo{
	int a;
	bool b;
	string c;
}

Сгенерируются методы:

GType foo_get_type (void) G_GNUC_CONST;
Foo* foo_dup (const Foo* self);
void foo_free (Foo* self);
void foo_copy (const Foo* self,
               Foo* dest);
void foo_destroy (Foo* self);

Copy и Dup

copy принимает 2 указателя на структуры, и копирует все поля первой во вторую, dup принимает существующий Foo, создает новый, вызывает для переданного и нового copy, возвращает получившуюся копию.

Foo*
foo_dup (const Foo* self)
{
	Foo* dup;
	dup = g_new0 (Foo, 1); // выделение памяти инициализированной нулями
	foo_copy (self, dup);
	return dup;
}

void
foo_copy (const Foo* self,
          Foo* dest)
{
	const gchar* _tmp0_;
	gchar* _tmp1_;
	(*dest).a = (*self).a;
	(*dest).b = (*self).b;
	_tmp0_ = (*self).c;
	_tmp1_ = g_strdup (_tmp0_);
	_g_free0 ((*dest).c);
	(*dest).c = _tmp1_;
}

Free и Destroy

destroy освобождает все поля структуры для которых это требуется(в данном случае только string c)

#define _g_free0(var) (var = (g_free (var), NULL))

void
foo_destroy (Foo* self)
{
	_g_free0 ((*self).c);
}

Free вызывает destroy, а затем освобождает саму структуру

void
foo_free (Foo* self)
{
	foo_destroy (self);
	g_free (self);
}

Рассмотрим что тут происходит

void main(string[] args) {
	Foo foo = {5, false, "foo"};
}

//превращается в
typedef struct _Foo Foo;
struct _Foo {
	gint a;
	gboolean b;
	gchar* c;
};

{
	Foo foo = {0}; // структура на стеке проинициализированная нулями
	gchar* _tmp0_; // будущая строка
	Foo _tmp1_ = {0}; // еще раз (соптимизируется)
	_tmp0_ = g_strdup ("foo"); // заполняется строка
	_tmp1_.a = 5;
	_tmp1_.b = FALSE; // заполняется переменными на стеке лишняя структура
	_g_free0 (_tmp1_.c); // очистка с от возможного мусора 
	_tmp1_.c = _tmp0_; // присваивание в c строки
	foo = _tmp1_; // присванивание в настоящую структуру временной
	foo_destroy (&foo); // вызов деструктора который очистит строку
}

Строка тут единственное что будет выделено в куче, поэтому ей нужна очистка.

Вариант в котором все будет лежать на стеке(функция destroy нигде не вызывается):

struct Foo{
	int a;
	bool b;
	uint8 c[3]; // [] cи стайл = на стеке, c# стайл = на куче
	// int[] a; на куче, int a[5] на стеке
}

void main(string[] args) {
	Foo foo = {5, false, "foo".data}; // data возвращает массив uint8[]
}

Боксинг

Так как структуры передаются по значению, то есть копируются, если мы хотим изменить значение одного из полей в методе, структуру придется забоксить, то есть превратить в указатель, делается это через nullability

void bar (Foo? foo){
	foo.a = 4;
}

void main(string[] args) {
	Foo foo = {5, false, "foo".data};
	bar(foo);
	print(foo.a.to_string()); // 4
}

Структура честно принимается и передается по указателю:

void
bar (Foo* foo)
{
	(*foo).a = 4;
}
...
  _tmp4_ = foo;
	bar (&_tmp4_);

Конструкторы

У структур в Vala есть конструкторы (и обычные методы разумеется).

struct Foo{
	int a;
	bool b;
	Foo(int a, bool b){ this.a = a; this.b = b; }
}

void main(string[] args) {
	var foo = Foo(5, false); 
}

// На стороне С
static void
foo_init (Foo *self,
          gint a,
          gboolean b)
{
	memset (self, 0, sizeof (Foo));
	(*self).a = a;
	(*self).b = b;
}

{
	Foo foo = {0};
	foo_init (&foo, 5, FALSE);
}

Наследование

Структуры можно наследовать, но в наследниках можно добавлять только методы, так как структуры выделены на стеке и новой памяти в них не добавить.

struct Foo{
	int a;
	public void bar(string str) { print(str + "\n");}
}

struct Bar: Foo{
	public void foo(int a) { print(@"$(a + 1 + base.a)\n"); } // 41 + 1 + 1
}

void main(string[] args) {
	Bar bar = {1};
	bar.bar("foo"); // foo из Foo.bar()
	bar.foo(41); // 43
}

base означает родитель, на 7ой строке base.a = 1, было присвоено на 11.

Можно наследоваться от любых value типов, в том числе базовых типов.

псс, парень, все базовые типы и так структуры

struct Foo: uint64{
	public void print_value() { print(@"$this\n");}
}

void main(string[] args) {
	Foo apple = 20;
	Foo orange = 22;
	apple.print_value(); //20
	orange.print_value();//22
	var a = apple + orange;
	print(@"$a\n"); // 42
}

Все что ниже не готово(WIP)

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

?? 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Использование GLibNextHabr

Last updated