能否在Critcl中结合Tcl比较器使用qsort函数指针？

完全可以实现这个需求，下面提供两种方案：一种是直接用Tcl内置命令简化实现，另一种是用Critcl包装qsort的完整方案，满足你结合C层qsort的需求。

方案一：直接用Tcl内置lsort -command（最简单） #

Tcl的lsort命令原生支持通过-command选项指定自定义Tcl比较器，完全不需要Critcl就能实现你的排序逻辑：

proc comparator {p q} {
    if {($p % 2) && ($q % 2)} {
        # 两个奇数按升序排列：p<q时返回-1，相等返回0，p>q返回1
        return [expr {$p < $q ? -1 : ($p > $q ? 1 : 0)}]
    }
    if {!($p % 2 ) && !($q % 2)} {
        # 两个偶数按降序排列：p>q时返回-1，相等返回0，p<q返回1
        return [expr {$p > $q ? -1 : ($p < $q ? 1 : 0)}]
    }
    if {!($p % 2)} {
        # 偶数排在奇数前面，返回-1让p（偶数）排在q（奇数）前
        return -1
    }
    # 奇数排在偶数后面，返回1让q（偶数）排在p（奇数）前
    return 1
}

# 测试示例
set testList {3 1 4 1 5 9 2 6 5 3 5}
set sortedList [lsort -command comparator $testList]
puts "原列表：$testList"
puts "排序后：$sortedList"

方案二：用Critcl包装C层qsort（满足C库结合需求） #

如果必须使用C的qsort（比如要和其他C代码集成），可以通过Critcl编写桥接代码，让qsort的C比较回调调用你的Tcl比较器proc：

完整Critcl实现代码 #

package require critcl

# 定义Tcl命令tcl_qsort，接收待排序列表和比较器proc名
critcl::cproc tcl_qsort {Tcl_Obj* list Tcl_Obj* comparator} Tcl_Obj* {
    // 解析Tcl列表元素
    int elemCount;
    Tcl_Obj** elements;
    if (Tcl_ListObjGetElements(interp, list, &elemCount, &elements) != TCL_OK) {
        return NULL;
    }

    // 分配内存存储整数数组
    int* intArray = (int*)ckalloc(elemCount * sizeof(int));
    for (int i = 0; i < elemCount; i++) {
        if (Tcl_GetIntFromObj(interp, elements[i], &intArray[i]) != TCL_OK) {
            ckfree(intArray);
            return NULL;
        }
    }

    // 存储Tcl解释器和比较器proc信息，供比较函数使用
    typedef struct {
        Tcl_Interp* interp;
        Tcl_Obj* comparator;
    } SortContext;
    SortContext ctx = {interp, comparator};

    // C层比较函数，桥接到Tcl比较器
    int tcl_qsort_comparator(const void* a, const void* b) {
        SortContext* ctx = (SortContext*)qsort_get_extra();
        int valA = *(const int*)a;
        int valB = *(const int*)b;

        // 创建Tcl对象作为比较器参数
        Tcl_Obj* argA = Tcl_NewIntObj(valA);
        Tcl_Obj* argB = Tcl_NewIntObj(valB);
        int result = 0;

        // 调用Tcl比较器proc
        if (Tcl_EvalObjv(ctx->interp, 3, (Tcl_Obj*[]){ctx->comparator, argA, argB}, TCL_EVAL_GLOBAL) == TCL_OK) {
            Tcl_GetIntFromObj(ctx->interp, Tcl_GetObjResult(ctx->interp), &result);
        }

        // 释放临时对象
        Tcl_DecrRefCount(argA);
        Tcl_DecrRefCount(argB);

        // 返回符合qsort规则的结果：<0则a排前，>0则b排前，0顺序不变
        return result;
    }

    // 使用线程安全的qsort_r传递上下文
    qsort_r(intArray, elemCount, sizeof(int), tcl_qsort_comparator, &ctx);

    // 将排序后的数组转换为Tcl列表
    Tcl_Obj* resultList = Tcl_NewListObj(0, NULL);
    for (int i = 0; i < elemCount; i++) {
        Tcl_Obj* elem = Tcl_NewIntObj(intArray[i]);
        Tcl_ListObjAppendElement(interp, resultList, elem);
        Tcl_DecrRefCount(elem);
    }

    // 释放内存
    ckfree(intArray);
    return resultList;
}

测试代码（和方案一的comparator proc通用） #

proc comparator {p q} {
    if {($p % 2) && ($q % 2)} {
        return [expr {$p < $q ? -1 : ($p > $q ? 1 : 0)}]
    }
    if {!($p % 2 ) && !($q % 2)} {
        return [expr {$p > $q ? -1 : ($p < $q ? 1 : 0)}]
    }
    if {!($p % 2)} {
        return -1
    }
    return 1
}

set testList {3 1 4 1 5 9 2 6 5 3 5}
set sortedList [tcl_qsort $testList comparator]
puts "原列表：$testList"
puts "排序后：$sortedList"

关键细节说明 #

• 线程安全：使用qsort_r而非qsort，可以安全传递Tcl解释器和比较器信息，避免全局变量带来的线程安全问题。
• 数据转换：自动完成Tcl列表与C整数数组的双向转换，若需支持其他数据类型（如字符串），只需修改Tcl_GetIntFromObj等转换函数。
• 内存管理：使用Critcl的ckalloc/ckfree管理内存，严格维护Tcl对象的引用计数，避免内存泄漏。

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