如何在C程序中使用qsort_s？签名不一致及Linux适配问题咨询

问题根源 #

qsort_s是C11标准Annex K定义的可选安全扩展，但不同平台的实现差异极大：

• MinGW64：采用与MSVC兼容的签名，比较函数的context参数排在首位，和标准C11的参数顺序不一致
• Linux glibc：默认未实现Annex K的qsort_s，因此编译时会提示找不到该函数

1. 适配MinGW64的签名差异 #

通过条件编译区分标准C11实现和MSVC/MinGW实现，统一调用逻辑：

#include <stdlib.h>

#ifdef _WIN32
// MSVC/MinGW版本的qsort_s，比较函数context参数在首位
#define QSORT_S(base, nmemb, size, compar, ctx) \
    qsort_s((base), (nmemb), (size), \
            (int (__cdecl *)(void*, const void*, const void*))(compar), (ctx))
#else
// 标准C11版本（仅平台支持时启用）
#ifdef __STDC_LIB_EXT1__
#define QSORT_S(base, nmemb, size, compar, ctx) \
    qsort_s((base), (nmemb), (size), compar, (ctx))
#endif
#endif

// 适配双平台的比较函数
#ifdef _WIN32
int my_compar(void *ctx, const void *a, const void *b)
#else
int my_compar(const void *a, const void *b, void *ctx)
#endif
{
    // 使用ctx传递的上下文实现比较逻辑
    int *sort_order = (int*)ctx;
    int val_a = *(const int*)a;
    int val_b = *(const int*)b;
    return (*sort_order == 1) ? (val_a - val_b) : (val_b - val_a);
}

// 调用示例
int main() {
    int arr[] = {3,1,4,1,5};
    int sort_asc = 1; // 上下文参数：1表示升序，0表示降序
    QSORT_S(arr, sizeof(arr)/sizeof(arr[0]), sizeof(int), my_compar, &sort_asc);
    return 0;
}

2. 解决Linux下无qsort_s的问题 #

如果目标平台不支持原生qsort_s，有两种可靠方案：

方案A：自行实现标准兼容的qsort_s

基于标准qsort，通过线程局部存储传递上下文，保证线程安全：

#include <stdlib.h>
#include <stddef.h>

// 用结构体存储比较函数和上下文
typedef struct {
    int (*compar)(const void*, const void*, void*);
    void *ctx;
} QSortCtx;

// 线程局部存储，避免多线程冲突
static _Thread_local QSortCtx ctx_store;

// 适配标准qsort的包装函数
static int qsort_wrap(const void *a, const void *b) {
    return ctx_store.compar(a, b, ctx_store.ctx);
}

// 自定义标准兼容的qsort_s
int my_qsort_s(void *base, size_t nmemb, size_t size,
               int (*compar)(const void *a, const void *b, void *context),
               void *context) {
    ctx_store.compar = compar;
    ctx_store.ctx = context;
    qsort(base, nmemb, size, qsort_wrap);
    return 0; // 标准qsort_s返回int，0表示成功
}

// Linux下默认使用自定义版本
#ifndef __STDC_LIB_EXT1__
#define qsort_s my_qsort_s
#endif

方案B：使用替代库函数

如果项目依赖GLib，可以直接使用g_qsort_with_data，它的设计逻辑和标准qsort_s一致，原生支持传递上下文参数。

3. 终极兼容策略 #

在代码中加入平台检测，优先使用原生实现，无原生实现时回退到自定义版本：

#include <stdlib.h>

// 检测平台支持情况
#if defined(__STDC_LIB_EXT1__) && __STDC_LIB_EXT1__ >= 201112L
#define USE_STD_QSORT_S 1
#elif defined(_WIN32)
#define USE_MSV_QSORT_S 1
#else
#define USE_CUSTOM_QSORT_S 1
#endif

// 统一调用宏和比较函数签名
#ifdef USE_STD_QSORT_S
#define CALL_QSORT_S(base, nmemb, size, compar, ctx) \
    qsort_s((base), (nmemb), (size), (compar), (ctx))
#define COMPAR_SIGNATURE const void *a, const void *b, void *ctx
#elif defined(USE_MSV_QSORT_S)
#define CALL_QSORT_S(base, nmemb, size, compar, ctx) \
    qsort_s((base), (nmemb), (size), \
            (int (__cdecl *)(void*, const void*, const void*))(compar), (ctx))
#define COMPAR_SIGNATURE void *ctx, const void *a, const void *b
#else
#include "my_qsort_s.h" // 引入自定义实现头文件
#define CALL_QSORT_S(base, nmemb, size, compar, ctx) \
    my_qsort_s((base), (nmemb), (size), (compar), (ctx))
#define COMPAR_SIGNATURE const void *a, const void *b, void *ctx
#endif

// 统一写法的比较函数
int my_compar(COMPAR_SIGNATURE) {
    // 自定义比较逻辑
}

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