兼容C/C++的库中如何声明指向参数数量未知的C函数的C++指针？

我正在开发一款同时兼容C和C++的库，核心需求是接收用户传入的、参数数量为0~3个的回调，在特定时机触发调用。

现有C侧实现 #

C侧实现利用了C语言中空参数函数指针的语义特性：double (*cb_func)() 不同于 double (*cb_func)(void)，前者代表参数列表未知的函数指针，C语言允许这类指针在调用时传入任意数量、匹配类型的参数，不会在编译期做严格的参数匹配检查。

该实现目前可在本地编译环境、线上编译验证平台正常运行，按现有设计逻辑，不会触发未定义行为（UB）。

C侧调用示例 #

// app_c.c
#include <stdio.h>
#include "lib.h"

double f0(void) {
    return 123;
}

double f2(double a, double b) {
    return a + b;
}

int main() {
    cb_arity = 0;
    cb_func = f0;
    printf("%f\n", cb_call());

    cb_arity = 2;
    cb_func = f2;
    printf("%f\n", cb_call());
}

库头文件定义 #

// lib.h
#ifndef LIB_H_
#define LIB_H_

#ifdef __cplusplus
extern "C" {
#endif

extern int cb_arity;
extern double (*cb_func)();
double cb_call(void);

#ifdef __cplusplus
}
#endif

#endif  // LIB_H_

库实现逻辑 #

// lib.c
#include "lib.h"
#include <stdlib.h>

int cb_arity;
double (*cb_func)();

double cb_call(void) {
    switch (cb_arity) {
        case 0:
            return cb_func();
        case 1:
            return cb_func(10.0);
        case 2:
            return cb_func(10.0, 20.0);
        case 3:
            return cb_func(10.0, 20.0, 30.0);
        default:
            abort();
    }
}

C++侧兼容问题 #

C对 () 空参数列表的语法定义和C完全不同：C中 double (*cb_func)() 等价于指向无参数函数的指针，不再是“参数列表未知”的语义。这直接导致C++用户传入带参数的回调时，不得不依赖强制类型转换适配现有头文件定义：

// app_cpp.cpp
#include <stdio.h>
#include "lib.h"

int main() {
    cb_arity = 0;
    cb_func = []() { return 123.0; };
    printf("%f\n", cb_call());

    cb_arity = 2;
    cb_func = reinterpret_cast<double(*)()>(static_cast<double(*)(double, double)>(
        [](double a, double b) { return a + b; }
    ));
    printf("%f\n", cb_call());
}

对现有类型转换的正确性判断：虽然C++侧把 double(*)(double, double) 类型的函数指针强制转换为了 double(*)(void) 类型，但实际在C库侧发起调用前，会通过运行时存储的 cb_arity 值切换到正确的签名发起调用，理论上不会触发未定义行为。

当前尝试与核心诉求 #

曾尝试把 cb_func 的类型改为C风格可变参数指针 void(*)(...)，但C语法本身不允许将固定参数列表的函数指针隐式转换为这类可变参数类型的指针。
核心目标是：在不破坏现有C侧兼容性的前提下，去掉C用户传入回调时需要手写的冗余强制转换。

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