在Perl XS中返回hashref的实现方法（Go与Perl 5.12.2绑定场景）

我太懂你这种感受了——之前用CGO+XS在Go和Perl 5.12.2之间传字符串、布尔值这些简单类型，简直顺得不行，但现在要返回带字符串、状态码和数组的复杂哈希引用，确实得调整一下思路。别担心，我给你一步步拆解具体实现，保证能跑通：

首先得明确核心逻辑：Go没法直接和Perl的XS交互，得先把Go的复杂数据转换成C兼容的结构体，然后XS层读取这个C结构体，再把它转换成Perl能识别的哈希引用。

第一步：Go侧通过CGO暴露数据（转换成C结构体） #

首先在Go代码里，我们要把需要返回的哈希数据打包成C能识别的结构体，同时提供释放内存的函数（避免内存泄漏）：

package main

/*
#include <stdlib.h>
#include <string.h>

// 定义C兼容的结构体，对应Perl哈希里的字段
typedef struct {
    char *foo;
    int status;
    int *ids;
    int ids_len;
} GoResult;
*/
import "C"
import (
    "unsafe"
)

// 导出给C/XS调用的函数，返回我们的结果结构体
//export GetComplexResult
func GetComplexResult() *C.GoResult {
    // 模拟生成业务数据
    fooStr := "bar"
    idsList := []int{1, 2, 3}

    // 把Go字符串转换成C字符串（注意要手动释放）
    cFoo := C.CString(fooStr)
    // 为数组分配C内存
    cIds := (*C.int)(C.malloc(C.size_t(len(idsList)) * C.sizeof_int))
    // 把Go数组的值拷贝到C数组里
    cIdsSlice := (*[1 << 30]C.int)(unsafe.Pointer(cIds))[:len(idsList):len(idsList)]
    for idx, val := range idsList {
        cIdsSlice[idx] = C.int(val)
    }

    // 组装C结构体并返回
    result := &C.GoResult{
        foo:     cFoo,
        status:  C.int(1),
        ids:     cIds,
        ids_len: C.int(len(idsList)),
    }
    return result
}

// 导出释放内存的函数，供XS调用
//export FreeGoResult
func FreeGoResult(result *C.GoResult) {
    C.free(unsafe.Pointer(result.foo))
    C.free(unsafe.Pointer(result.ids))
}

// 空main函数，因为我们要编译成C共享库
func main() {}

第二步：XS层处理C结构体，构建Perl哈希引用 #

接下来在XS代码里，我们要调用Go暴露的函数，拿到C结构体，然后一步步构建Perl的哈希引用：

#include "EXTERN.h"
#include "perl.h"
#include "XSUB.h"

// 要和Go里定义的结构体完全一致
typedef struct {
    char *foo;
    int status;
    int *ids;
    int ids_len;
} GoResult;

// 声明Go导出的函数
extern GoResult* GetComplexResult();
extern void FreeGoResult(GoResult*);

MODULE = MyPerlGoBridge  PACKAGE = MyPerlGoBridge

// XS函数，Perl端会调用这个函数拿到哈希引用
SV* get_complex_result()
    CODE:
        // 调用Go的函数拿到结果结构体
        GoResult *result = GetComplexResult();
        if (!result) {
            // 如果获取失败，返回Perl的undef
            XSRETURN_UNDEF;
        }

        // 1. 创建一个空的Perl哈希表（HV是哈希表类型）
        HV *hash_table = newHV();
        // 2. 把哈希表转换成引用（SV是Perl的通用标量类型）
        SV *hash_ref = newRV_noinc((SV*)hash_table);

        // 3. 往哈希里添加foo字段：字符串类型
        // newSVpv把C字符串转换成Perl的字符串标量
        SV *foo_sv = newSVpv(result->foo, 0);
        // hv_store把标量存到哈希里，参数分别是：哈希表、键名、键名长度、值标量、标志位
        hv_store(hash_table, "foo", 3, foo_sv, 0);

        // 4. 往哈希里添加status字段：整数类型
        SV *status_sv = newSViv(result->status);
        hv_store(hash_table, "status", 6, status_sv, 0);

        // 5. 往哈希里添加ids数组：先创建Perl数组（AV是数组类型）
        AV *ids_array = newAV();
        SV *ids_array_ref = newRV_noinc((SV*)ids_array);
        // 遍历C数组，把每个元素转换成Perl标量后push到数组里
        for (int i = 0; i < result->ids_len; i++) {
            SV *id_sv = newSViv(result->ids[i]);
            av_push(ids_array, id_sv);
        }
        // 把数组引用存到哈希里
        hv_store(hash_table, "ids", 3, ids_array_ref, 0);

        // 6. 一定要记得释放Go分配的内存，避免泄漏！
        FreeGoResult(result);

        // 7. 返回哈希引用给Perl端
        XSRETURN_REFERENCE(hash_ref);

关键注意事项 #

• 内存管理是重中之重：Go里用C.CString和C.malloc分配的内存，Perl的垃圾回收管不到，必须通过FreeGoResult函数手动释放，XS里用完结构体后一定要调用这个函数。
• 字符串处理细节：newSVpv的第二个参数传0时，Perl会自动以\0为结尾计算字符串长度；如果你的字符串里包含\0，就得传实际的字符串长度。
• 数组处理逻辑：先创建Perl数组（AV），把每个C数组元素转换成Perl标量（SV）后push进去，再把数组的引用存到哈希里。
• 返回引用的宏：用XSRETURN_REFERENCE宏返回哈希引用，Perl端就能直接拿到一个可用的哈希引用，和原生Perl哈希引用用法完全一样。

编译与测试 #

1. 先把Go代码编译成C共享库：go build -buildmode=c-shared -o libgobridge.so
2. 写Makefile.PL来编译XS模块：

use ExtUtils::MakeMaker;

WriteMakefile(
    NAME          => 'MyPerlGoBridge',
    VERSION_FROM  => 'MyPerlGoBridge.pm',
    LIBS          => ['-L. -lgobridge'],  # 链接Go编译的共享库
    OBJECT        => 'MyPerlGoBridge.o',
);

3. 编译XS模块：perl Makefile.PL && make && make install
4. Perl端测试：

use MyPerlGoBridge;

my $result = get_complex_result();
use Data::Dumper;
print Dumper($result);
# 会输出：
# $VAR1 = {
#           'foo' => 'bar',
#           'status' => 1,
#           'ids' => [1,2,3]
#         };

备注：内容来源于stack exchange，提问作者Tiago Peczenyj