使用 Tcl C API 的 Lib 崩溃可能是由于错误的 refCount 使用

Question

我是 Tcl C API 的初学者，我正在尝试了解如何使用它。我有这段代码从 get_my_list proc 获取一个 tcl 列表，然后我遍历它以发送一些信息，在这种情况下，与属性 A、B 和 [=15 相关的信息=] 我用 get_attr_info proc 得到的。当我在一个基本上只有这段代码的非常简单的例子中运行时，一切正常，但是当我在一个大的 tcl 项目中添加这个库时，它最终崩溃了。我怀疑这是由于错误地使用了 tcl 对象的引用计数，我的意思是，它们的生命周期。在下面的示例中我可能做错了什么？我正在使用 Tcl 8.6。

Tcl_Obj* Get_Info(Tcl_Interp *interp, const char* info, const char* attr) {
    char cmd[256];
    sprintf(cmd, "get_attr_info %s %s", info, attr);
    Tcl_Eval(interp, cmd);
    return Tcl_GetObjResult(interp);
}

static int Copy_Info(ClientData cdata, Tcl_Interp *interp, int objc, Tcl_Obj *const objv[]) {
    Tcl_Eval(interp, "get_my_list");
    Tcl_Obj *const my_list = Tcl_GetObjResult(interp);
    int my_list_size;
    Tcl_ListObjLength(interp, my_list, &my_list_size);
    Tcl_IncrRefCount(my_list);

    for (int i = 0; i < my_list_size; ++i) {
        Tcl_Obj* current_info_obj;
        Tcl_ListObjIndex(interp, my_list, i, &current_info_obj);
        const char* current_info_ctr = Tcl_GetStringFromObj(current_info_obj, NULL);

        /* getting info A */
        Tcl_Obj* info_a_obj = Get_Info(current_info_ctr, "A");
        const char* info_a = Tcl_GetStringFromObj(info_a_obj, NULL);
        Copy_Info_A(info_a);

        /* getting info B */
        Tcl_Obj* info_b_obj = Get_Info(current_info_ctr, "B");
        const char* info_b = Tcl_GetStringFromObj(info_b_obj, NULL);
        Copy_Info_B(info_b);

        /* getting info C */
        Tcl_Obj* info_c_obj = Get_Info(current_info_ctr, "C");
        const char* info_c = Tcl_GetStringFromObj(info_c_obj, NULL);
        Copy_Info_C(info_c);
    }

    Tcl_DecrRefCount(my_list);
    Tcl_FreeResult(interp);

    return TCL_OK;
}

Answer 1

棘手的一点是你在 Get_Info() 中调用 Tcl_Eval()，它可以通过对你没有自己引用的值的引用计数管理来做各种各样的事情，包括闪烁移除您在 my_list 中引用的值的列表表示，这可以将地毯从其元素下拉出。特别是，在 current_info_obj 中引用的对象必须 从 Tcl_ListObjIndex() 之后到循环体末尾增加其引用计数。

// ...
for (int i = 0; i < my_list_size; ++i) {
    Tcl_Obj* current_info_obj;
    Tcl_ListObjIndex(interp, my_list, i, &current_info_obj);
    // HOLD THE REFERENCE; IT OWNS THE current_info_ctr STRING FOR US
    Tcl_IncrRefCount(current_info_obj);
    const char* current_info_ctr = Tcl_GetStringFromObj(current_info_obj, NULL);

    /* getting info A */
    Tcl_Obj* info_a_obj = Get_Info(current_info_ctr, "A");
    const char* info_a = Tcl_GetStringFromObj(info_a_obj, NULL);
    Copy_Info_A(info_a);

    /* getting info B */
    Tcl_Obj* info_b_obj = Get_Info(current_info_ctr, "B");
    const char* info_b = Tcl_GetStringFromObj(info_b_obj, NULL);
    Copy_Info_B(info_b);

    /* getting info C */
    Tcl_Obj* info_c_obj = Get_Info(current_info_ctr, "C");
    const char* info_c = Tcl_GetStringFromObj(info_c_obj, NULL);
    Copy_Info_C(info_c);

    // RELEASE THE REFERENCE
    Tcl_DecrRefCount(current_info_obj);
}
// ...

改进您的代码

你也可以走捷径，用Tcl_GetString(objPtr)代替Tcl_GetStringFromObj(objPtr, NULL)。你可以把它放在 Get_Info 里面。您可能还应该考虑改用 Tcl_EvalObjv()，因为 API 速度更快（它避免了一定程度的解析），但使用起来更复杂。

const char *Get_Info(Tcl_Interp *interp, Tcl_Obj* info, const char* attr) {
    Tcl_Obj *argv[3], *result;

    argv[0] = Tcl_NewStringObj("get_attr_info", -1); // cacheable
    argv[1] = info;
    argv[2] = Tcl_NewStringObj(attr, -1);
    Tcl_IncrRefCount(argv[0]);
    Tcl_IncrRefCount(argv[1]);
    Tcl_IncrRefCount(argv[2]);

    // It's very bad form to omit error handling
    if (Tcl_EvalObjv(interp, 3, argv, 0) != TCL_OK) {
        Tcl_Panic("problem: %s", Tcl_GetString(Tcl_GetObjResult(interp)));
    }
    result = Tcl_GetObjResult(interp);
    Tcl_DecrRefCount(argv[0]);
    Tcl_DecrRefCount(argv[1]);
    Tcl_DecrRefCount(argv[2]);
    return Tcl_GetString(result);
}

有些情况下可以减少引用计数处理量。不要担心开始这样做！最好绝对避免崩溃！

Tcl_EvalObjv 是（有效地）Tcl_Eval 在交互模式下解析后调用以实际分派命令的内容，也是字节码引擎调用以评估任何非内联命令的内容。它比将字符串解析为单词更有效。

使用 Tcl C API 的 Lib 崩溃可能是由于错误的 refCount 使用

Lib using Tcl C API is crashing maybe due bad refCount usage

c

tcl

c-api

改进您的代码