 | |
| 編程範型 | 物件導向、結構化、指令式 |
|---|---|
| 實作者 | Jürg Billeter, Raffaele Sandrini |
| 釋出時間 | 2006年 |
| 穩定版本 | 0.56.2
（2022年7月14日
） |
| 型態系統 | 靜態型別, 強型別 |
| 作業系統 | 所有支援GLib的平台 |
| 特許條款 | GNU較寬鬆公共許可證2.1+ |
| 副檔名 | .vala, .vapi |
| 網站 | wiki |
| 受啟發於 | |
| C, C++, C♯, D, Java, BOO | |
Vala是一門物件導向的程式語言，由自舉編譯器產生C語言代碼和使用GObject系統，允許在Gnome執行時庫的基礎上使用大量現代的編程技巧。通過使用GLib和GObject，Vala提供了動態型別系統和基於參照計數（reference counting）系統的記憶體管理的功能。
描述
Vala是一門程式語言，結合了手稿語言的進階程式語言建造時間效能，與低階的程式語言執行時間效能。相較於用C寫成的應用和庫，它致力於將現代程式語言特徵帶給GNOME開發者，而不用強加任何額外的執行時間要求，並且不用使用不同的ABI。Vala的語法類似於C#，並為了更好的適應GObject型別系統而做了修改[1]。
歷史
| 版本 | 發行日期[2] |
|---|---|
| 0.0.1 | 2006-07-15 |
| 0.1.0 | 2007-07-09 |
| 0.10.0 | 2010-09-18 |
| 0.20.0 | 2013-05-27 |
| 0.30.0 | 2015-09-18 |
| 0.40.25 | 2021-01-11 |
| 0.42.0 | 2018-09-01 |
| 0.44.0 | 2019-05-09 |
| 0.46.0 | 2019-09-05 |
| 0.48.23 | 2022-02-21 |
| 0.50.0 | 2020-09-11 |
| 0.52.11 | 2022-02-21 |
| 0.54.7 | 2022-02-14 |
格式： 舊版本 目前版本 | |
| 對於舊版本只列出最初發行 |
Vala由Jürg Billeter構想，並由他和Raffaele Sandrini實現，他希望開發GNOME應用能有對C語言的更進階替代者。他們的確喜歡C#的語法和語意，但不想使用Mono，故而他們在2006年5月完成了一個編譯器。最初它使用C來引導，一年後（在2007年7月的版本0.1.0發行中），Vala編譯器成為自宿主。
語言設計
特徵
Vala使用GLib和它的子模組（GObject、GModule、GThread、GIO）作為核心庫，它們對於多數作業系統都能獲得到，並提供：平台無關線程、輸入/輸出、檔案管理、網絡通訊端、外掛程式、正則表達式等。Vala的語法目前支援如下現代語言特徵：
圖形化使用者介面可以使用GTK部件工具箱和Glade GUI建造器來開發。
記憶體管理
對於記憶體管理，GType或GObject系統提供參照計數。在C語言中，編程者必須手工管理增加和移除參照，而在Vala中，管理這種參照計數是自動化的，如果編程者使用語言內建參照類型而非普通指標的話。唯一需要當心的是避免生成參照環，因為在這種情況下記憶體管理系統不能正確工作[3]。
Vala還允許通過指標的手工記憶體管理作為一個選項。
繫結
Vala意圖提供但現存C庫的執行時間存取，特別是基於GObject的庫，而不需要執行時間繫結。要通過Vala使用一個庫，全部所需就是一個API檔案（.vapi），包含採用Vala語法的類和方法聲明。但是不支援C++庫。目前在Vala的每次發行中，都包括了GTK以及大部份的GNU專案和GNOME平台的vapi檔案。還有用Vala寫的一個庫叫做Gee，為常用數據結構提供基於GObject的介面和類[4]。
為從用其他語言比如C#寫的應用存取Vala庫，寫繫結生成器也應當是容易的，因為Vala解析器被寫為一個庫，所以所有執行時間資訊在生成一個繫結的時候都是可獲得到的。
工具
編輯器
Vala的開發工具近些年來有了顯著改進。下面是具有支援Vala編程的外掛程式的一些流行IDE和文字編輯器：
- GNOME Builder
- Visual Studio Code，具有Vala外掛程式[5]
- Vim，具有arrufat/vala.vim外掛程式[6]
- Emacs，具有vala-mode[7]
- Atom
- Geany
代碼智能
- benwaffle/vala-language-server，設計用於支援LSP的任何編輯器，包括VSCode、vim和GNOME Builder[8]。
- esodan/gvls，目前是Vala在GNOME Builder中的預設語言伺服器，它對支援LSP的任何編輯器提供支援[9]。
建造系統
目前，有一些建造系統支援Vala，包括Automake、CMake、Meson等[10]。
除錯
- GNOME Builder擁有通過GDB的對Vala的內建除錯支援。
- Visual Studio Code擁有對GDB和LLDB的擴充，比如cpptools和CodeLLDB[5]。
示範代碼
一個簡單的「Hello world」程式：
void main () {
print ("Hello World\n");
}
物件導向
下面是更複雜的一個版本，表現了Vala的一些物件導向的特徵：
class HelloWorld: Object {
private uint year = 0;
public HelloWorld () {
}
public HelloWorld.with_year (int year) {
if (year>0)
this.year = year;
}
public void greeting () {
if (year == 0)
print ("Hello World\n");
else
/* Strings prefixed with '@' are string templates. */
print (@"Hello World, $(this.year)\n");
}
}
void main (string[] args) {
var helloworld = new HelloWorld.with_year (2021);
helloworld.greeting ();
}
因為在GObject庫的情況下，Vala不支援多重繼承，但是Vala中的類可以實現任何數量的介面，它可以包含它們的方法的預設實現。下面一段代碼展示具有預設實現的Vala介面（有時稱為mixin）：
using GLib;
interface Printable {
public abstract string print ();
public virtual string pretty_print () {
return "Please " + print ();
}
}
class NormalPrint: Object, Printable {
string print () {
return "don't forget about me";
}
}
class OverridePrint: Object, Printable {
string print () {
return "Mind the gap";
}
public override string pretty_print () {
return "Override";
}
}
void main (string[] args) {
var normal = new NormalPrint ();
var overridden = new OverridePrint ();
print (normal.pretty_print ());
print (overridden.pretty_print ());
}
訊號和回呼
下面是基本例子，展示如何定義一個訊號於非緊湊（compact）的一個類中，它擁有用Vala通過GLib建造的一個訊號系統。接着註冊回呼函數到這個類的一個實例的這個訊號。這個實例可以傳送這個訊號，而連接到這個實例的每個回呼函數（也叫做處理器），將安它們連接上的次序來呼叫：
class Foo {
public signal void some_event (); // 定义一个信号
public void method () {
some_event (); // 发送这个信号（回调得以调用）
}
}
void callback_a () {
stdout.printf ("Callback A\n");
}
void callback_b () {
stdout.printf ("Callback B\n");
}
void main () {
var foo = new Foo ();
foo.some_event.connect (callback_a); // 连接回调函数
foo.some_event.connect (callback_b);
foo.method ();
}
線程
在Vala中新線程是代碼的一部份，比如要求在執行時間並行執行的一個函數。新線程的建立和同步是用時GLib中的Thread類完成的，它在建立新線程時接受一個函數作為參數，如下面（非常簡化的）例子所示：
int question(){
// 一些print操作
for (var i = 0; i < 3; i++){
print (".");
Thread.usleep (800000);
stdout.flush ();
}
return 42;
}
void main () {
if (!Thread.supported ()) {
stderr.printf ("Cannot run without thread support.\n");
return;
}
print ("The Ultimate Question of Life, the Universe, and Everything");
// 泛型参数是返回值的类型
var thread = new Thread<int> ("question", question);
print(@" $(thread.join ())\n");
}
圖形化使用者介面
使用GTK來建立一個圖形化使用者介面的"Hello, World!"程式：
using Gtk;
int main (string[] args) {
Gtk.init (ref args);
var window = new Window ();
window.title = "Hello, World!";
window.border_width = 10;
window.window_position = WindowPosition.CENTER;
window.set_default_size (350, 70);
window.destroy.connect (Gtk.main_quit);
var label = new Label ("Hello, World!");
window.add (label);
window.show_all ();
Gtk.main ();
return 0;
}
在GNOME3平台上，需要以下命令來編譯這一範例:
valac --pkg gtk+-3.0 hellogtk.vala
參見
- Genie，基於Vala編譯器的具有近似Python語法的一種語言。
- Shotwell，用Vala寫的圖片組織器。
- Geary，用Vala寫的郵件客戶端。
- elementary OS，具有大多用Vala編程的桌面環境的Linux發行版。
- Budgie，大多用Vala編程的Linux桌面環境。
參照
- ↑ Vala· GitLab. GNOME. [2021-03-16].
- ↑ Vala Releases. Vala Project. [2021-03-18].
- ↑ Vala's Memory Management Explained. [2022-03-08].
- ↑ Libgee on Gitlab. [2022-03-08].
- ↑ 5.0 5.1 Coding in Vala with Visual Studio Code. [2021-03-17].
- ↑ Coding in Vala with the Vim Text Editor. [2021-03-17].
- ↑ Enable Vala syntax highlighting and code browser support in GNU Emacs. [2021-03-17].
- ↑ benwaffle/vala-language-server on Github. GitHub. [2021-03-17].
- ↑ esodan/gvls on GitLab. [2021-03-17].
- ↑ Vala Tools. [2021-03-29].
外部連結
- The Vala Programming Language, on GNOME Live!
- Vala 語言書籍《Introducing Vala Programming》 （Apress / Amazon ）
- 面向 Java 開發者的Vala 特性介紹
- 面向 C# 開發者的 Vala 特性介紹
- Benchmark of Vala versus C# and C
- Vala 語言編程規範（Geary版）
- Vala 的語言伺服器（Language Server Protocol）專案： VLS ， GVLS
- Vala 語言社區： The Vala community on GitHub
- Vala 語言案例列表
- Vala 語言開發的數據庫管理工具： DBKangaroo
- Vala 語言庫：官方庫
- Vala 語言庫：第三方庫
