为何包含指针成员的结构体数组必须声明为const？

场景复现 #

你遇到的情况源于使用带void*字段的结构体时的编译差异，以下是真实场景的代码示例：

编译正常的代码（const数组）

struct Item {
    public string name;
    public void* data;
}

class Main: Object
{
    static int book_data;
    static int pen_data;
    
    const Item[] items = {
        { "book", ref book_data },
        { "pen",  ref pen_data }
    };
    
    public static void main(){
    }
}

编译失败的代码（非const数组）

struct Item {
    public string name;
    public void* data;
}

class Main: Object
{
    static int book_data;
    static int pen_data;
    
    Item[] items = {
        { "book", ref book_data },
        { "pen",  ref pen_data }
    };
    
    public static void main(){
    }
}

编译报错：Invalid type for member 'data'

编译正常的代码（值类型字段）

struct Item {
    public string name;
    public int data;
}

class Main: Object
{
    static int book_data;
    static int pen_data;
    
    Item[] items = {
        { "book", book_data },
        { "pen",  pen_data }
    };
    
    public static void main(){
    }
}

原因拆解 #

1. const数组的编译期特性
   const修饰的数组属于编译期常量，初始化逻辑在编译阶段直接处理。静态变量的内存地址在编译时是确定的，ref book_data会被编译器直接解析为该变量的指针，此时可以隐式转换为void*类型，因此能通过编译。

2. 非const数组的运行时类型检查
   当数组是普通实例变量时，初始化代码会被放到类的构造函数中，属于运行时执行逻辑。此时ref book_data是一个引用类型表达式，Vala的类型系统会严格校验类型匹配——ref int和void*是完全不同的类型，编译器不允许这种隐式转换，因此抛出类型不匹配的错误。

3. 值类型字段的兼容性
   把void*换成int字段后，book_data本身就是int类型，直接赋值属于同类型的值传递，不存在任何类型转换问题，所以无论数组是否加const，都能正常编译。

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