====
八月
====

.. contents::
   :local:

Vala Tutorial
=============

:URL: https://wiki.gnome.org/Projects/Vala/Tutorial

.. highlight:: vala

Basics
------

- Compile to C
- Use GLib type & objecct system

@
   用 `@` 前缀来允许使用关键字或者数字作为变量名
new
   使用 `Object obj = new Object()` 实例化对象
注释
   C 风格的注释，`/**` 是文档注释
类型
   value types
      - 传值
      - 支持绑定方法 (`ture.to_string()`)

      struct
         成员支持 public/private
      enum
         朴素的 int 值
      string
         `"""`
            跨行字符串
         `@` 前缀
            类似 Python 的 f-string：`@"$a * $b"`
         切片
            正：`foo[7:12]`，负：`foo[-4:-2]`
         不可变
            `string a = "foo"; a[0] = 'b'` 不合法
         和其他类型转换
            `.parse()` 和 `.to_string()`
         `in` 操作符
            string in string
      array
         定长数组，同样传值

         栈上声明::

            int a[10];

         堆上（可以 `.resize()`）::

            int[] a = new int[10]
            int[] b = { 2, 4, 6, 8 }

         切片
            支持切片
         `unowned`
            用 `unowned int[] c = b[1:3]` 防止传值
         多维
            ::

               int[,] c = new int[3,4];
               int[,] d = {{2, 4, 6, 8}
                          {3, 5, 7, 9},
                          {1, 3, 5, 7}};

            多维数组无法降维：无法省略任意维的下标
         追加
            `+=`

   reference types
      常常继承 `GLib.Object`，基于 reference count 的内存管理，有 `null`

      见 OOP 一节

静态 cast
   C-style，没有 runtime 开销::

      int i = 10;
      float j = (float) i;

类型推断
   用 `var` 代替显式的类型声明::

      var p = new Person();     // same as: Person p = new Person();
      var s = "hello";          // same as: string s = "hello";
      var l = new List<int>();  // same as: List<int> l = new List<int>();
      var i = 10;               // same as: int i = 10;

创建类型
   TODO

操作符
   自操作
      `++, --, +=, -=, /=, *=, %=,  |=, &=, ^=`
   三目运算
      `true ? 1 : 0`
   null coalescing
       else if null: `a ?? b` => `a != null ? a : b`
   in
      需要 `.contains()` 方法支持，对于 string 是搜索字串

控制流
   .. hint:: 条件判断总是需要 bool，和 C 里只要求非零指有区别

   循环，支持 `break` `continue`
      ::

         while (a > b) { a--; }
         do { a--; } while (a > b);
         for (int a = 0; a < 10; a++) { stdout.printf("%d\n", a); }
         foreach (int a in int_array) { stdout.printf("%d\n", a); }

   分支
      ::

         if (a > 0) { stdout.printf("a is greater than 0\n"); }
         else if (a < 0) { stdout.printf("a is less than 0\n"); }
         else { stdout.printf("a is equal to 0\n"); }

         switch (a) {
         case 1:
             stdout.printf("one\n");
             break;
         case 2:
         case 3:
             stdout.printf("two or three\n");
             break;
         default:
             stdout.printf("unknown\n");
             break;
         }

Language Elements
   方法
      - Vala 方法总会被编译成 C 函数：因此总是接受 *若干* 参数，返回 *一个* 结果
      - 推荐下划线分割的全小写
      - 不支持重载

      默认参数
         ::

            void f(int x, string s = "hello", double z = 0.5) { }

      Nullable value
         ::

            string? method_name(string? text, Foo? foo, Bar bar) {
                // ...
            }

   Delegate type
      感觉是用来约束函数签名的

      .. seealso:: `委托（C# 编程指南）`_

         .. _委托（C# 编程指南）: https://docs.microsoft.com/zh-cn/dotnet/csharp/programming-guide/delegates/

   匿名函数
      ::

         (a) => { stdout.printf("%d\n", a); }

   Namespace
      声明
         推荐驼峰::

            namespace NameSpaceName {
                // ...
            }

         - 不在任何命名空间的对象会被放在全局的匿名命名空间中
         - 命名空间可嵌套声明
      引用
         `using` 关键字::

            using NameSpaceName;

         - "GLib" 命名空间总是默认引用
         - 为了避免歧义，需要从全局空间开始索引，可以使用 `global::` 前缀

      用 `class NameSpace1.Test { ... }` 可以将 class 声明在特定命名空间中。

   Struct
      声明
         推荐驼峰，需要显式设置成员的 access modifier::

            struct StructName {
                public int a;
            }

      实例化
         ::

            Color c1 = Color();  // or Color c1 = {};
            Color c2 = { 0.5, 0.5, 1.0 };
            Color c3 = Color() {
                red = 0.5,
                green = 0.5,
                blue = 1.0
            };

      总是在栈上分配，并且在赋值时传值

   Class
      总是在堆上分配，并且在赋值时传址

   Interface
      Vala 的 interface 可携带默认实现

Code Attributes
   对编译期的指示，形如::

      [AttributeName(param1 = value1, param2 = value2, ...)]

   :`[CCode(...)]`: Bindings in vapi files
   :`[DBus(...)]`: Exporting remote interfaces via D-Bus

Object Oriented Programming
---------------------------

Access modifier
   :public:    No restrictions to access
   :private:   (default) Access is limited to within the class/struct definition
   :protected: Access is limited to within the class definition and any class that inherits from the class
   :internal:   Access is limited exclusively to classes defined within the same package

Constructor Overloading
   不支持，用以下语法替代::

      public class Button : Object {
         public Button.with_label(string label) {}
      }

      new Button.with_label("Click me");

Destruction
   熟悉的语法::

      class Button : Object {
             ~Button() { }
         }

Signals
   `GLib.Object` 的信号机制的语法糖::

      public class Test : GLib.Object {
          public signal void sig_1(int a);
          public static void main(string[] args) {
              var t1 = new Test();
              t1.sig_1.connect((t, a) => {
                  stdout.printf("%d\n", a);
              });
              t1.sig_1(5);
          }
      }

    Signal 现在只能是 `public` 的

    Code Attributes
      `[Signal (action=true, detailed=true, run=true, no_recurse=true, no_hooks=true)]`

Properties
   Getter & Setter::

      class Person : Object {
          /* Property with standard getter and setter and default value */
          public int age { get; set; default = 32; }
      }

   Code Attributes::

      [Description(nick = "age in years", blurb = "This is the person's age in years")]

      [CCode(notify = false)]

   Notify::

      alice.notify["age"].connect((s, p) => {
          stdout.printf("age has changed\n");
      });

Inheritance
   `GObject` 的实现决定了 Vala 只支持单继承。

   `base()`
      即 python 里的 `super()`

Abstract Classes
   用 `abstract` 声明抽象类，或者用 `virtual` 提供默认实现。用 `override` 提供实现。

Interfaces

素描群作业点评
==============

:date: 2021-08-27

发根垂直于头皮