Vala 字符串处理会破坏内存。为什么以及如何避免？

Question

我不确定我是在滥用 Vala 还是 GLib.Regex，因为我对这两者都是新手。我创建了一个最小的示例，它重现了错误。从下面的代码中，我希望它会打印六次a INPUTX b，并交替以source 和result 为前缀：

public class Test
{
    public static void run( string src )
    {
        var regex = new Regex( "INPUT[0-9]" );
        for( int i = 0; i < 3; ++i )
        {
            stdout.printf( @"-- source: $src\n" );
            src = regex.replace( src, -1, 0, "value" );
            stdout.printf( @"-- result: $src\n\n" );
        }
    }

    public static void main()
    {
        Test.run( "a INPUTX b" );
    }
}

我根据the example in the docs 编写了这段代码。但是，在使用valac Test.vala --pkg glib-2.0 编译并运行后，我得到：

-- source: a INPUTX b
-- result: a INPUTX b

-- source: -- source: 
-- result: N�

-- source: -- source: 
-- result: PN�

我做错了什么？

Answer 1

查看生成的 C 代码后，我得出结论，这与 Vala 相关：Vala 将 g_free 放在循环体的末尾，这释放了 g_regex_replace 返回的内存，即由src 引用。但是为什么 Vala 会这样做呢？

原因是（see）

默认情况下，参数是无主的。

因此，当我们将regex.replace 返回的string 对象分配给unowned string src 时，该引用为(see)

未记录在对象中

并且 Vala 编译器认为它可以安全地处理 - 虽然还不清楚，但为什么会发生这种情况，特别是在循环体的末尾。

因此，直截了当的解决方案是将src 参数声明为owned。

Answer 2

考虑一下这个（废话）代码：

string foo (string s)
{
    return s;
}

void run (string src)
{
    var regex = new Regex( "INPUT[0-9]" );
    for( int i = 0; i < 3; ++i )
    {
        stdout.printf( @"-- source: $src\n" );
        //src = regex.replace( src, -1, 0, "value" );
        src = foo (src);
        stdout.printf( @"-- result: $src\n\n" );
    }
}

void main ()
{
    run( "a INPUTX b" );
}

Vala 编译器（理所当然地）抱怨：

test.vala:13.2-13.16: error: Invalid assignment from owned expression to unowned variable
        src = foo (src);
        ^^^^^^^^^^^^^^^

因此，vapi 文件中的方法必须有所不同，因为它允许调用Regex.replace ()。

我在某个地方（在编译器或 vapi 中）闻到了错误，但我不确定。