Vala泛型类中如何正确实例化指定类型的对象？

你遇到的问题很典型——Vala的泛型系统在编译期无法推断泛型参数T是否提供了可访问的无参构造函数，所以直接写new T()会编译失败。下面给你几种可行的解决方案，适配不同的场景：

方案1：传递实例创建委托（最灵活） #

这种方法不限制T的类型（不管是值类型、引用类型还是GLib.Object子类都能用），核心是让调用者提供一个能生成T实例的函数：

class MyClass<T> : GLib.Object {
    protected T data;

    // 接收一个返回T的函数作为构造参数
    public MyClass (Func<T> create_instance) {
        data = create_instance ();
    }
}

// 使用示例
// 创建存储字符串的实例
var string_container = new MyClass<string> (() => "默认字符串");
// 创建存储整数的实例
var int_container = new MyClass<int> (() => 0);
// 创建存储Gtk控件的实例（带参数构造也没问题）
var window_container = new MyClass<Gtk.Window> (() => new Gtk.Window (Gtk.WindowType.TOPLEVEL));

这种方式的优势是完全灵活，不管T需要什么样的构造逻辑，调用者都能通过lambda或者函数引用传递进来。

方案2：利用GLib类型系统（仅适用于GLib.Object子类） #

如果你的T肯定是GLib.Object的子类，并且有无参构造函数，可以借助GLib的类型系统来创建实例：

// 用where约束限定T必须是GLib.Object的子类
class MyClass<T> : GLib.Object where T : GLib.Object {
    protected T data;

    public MyClass () {
        // 通过GLib.Object.new创建实例并强制类型转换
        data = (T) Object.new (typeof (T));
    }
}

// 使用示例：T必须是GLib.Object子类且有无参构造
var label_container = new MyClass<Gtk.Label> ();

注意：如果T的构造函数需要参数，这种方法就不适用了，还是得回到方案1。

方案3：通过接口约束（适用于自定义类型） #

如果你能控制T的定义，可以定义一个要求实现实例创建逻辑的接口，然后让T实现这个接口：

// 定义接口，要求实现创建实例的方法
interface IConstructable<T> {
    public abstract T create ();
}

// 自定义类型实现接口
class MyCustomData : GLib.Object, IConstructable<MyCustomData> {
    public string content { get; set; }

    // 自定义构造函数（也可以有无参构造）
    public MyCustomData () {
        content = "默认内容";
    }

    // 实现接口的create方法
    public MyCustomData create () {
        return new MyCustomData ();
    }
}

// 泛型类通过where约束限定T必须实现IConstructable<T>
class MyClass<T> : GLib.Object where T : IConstructable<T> {
    protected T data;

    public MyClass () {
        data = T.create ();
    }
}

// 使用示例
var custom_container = new MyClass<MyCustomData> ();
print (custom_container.data.content); // 输出：默认内容

这种方式适合你需要统一管理自定义类型实例创建逻辑的场景，代码结构更规整。

内容的提问来源于stack exchange，提问作者Tinyager