C++如何将运行时传入的一元函数指针转换为符合要求的二元函数指针

核心原理 #

普通函数指针本身不携带任何上下文状态，仅指向代码段的固定地址，因此你要传入的运行时一元函数指针只能通过外部存储传递。由于你无法修改ExternalFunction的实现，以下是两种可行方案：

方案1：单线程环境方案 #

使用全局变量暂存运行时传入的一元函数指针，配合全局无捕获的普通函数实现转换：

// 全局存储传入的一元函数
static UnaryFunction g_unary = nullptr;

// 无捕获的普通二元函数，符合BinaryFunction签名要求
static double Wrapper(double a, double b) {
    return g_unary(a + b);
}

double MyFunction(UnaryFunction unaryFunction)
{
    // 先保存当前传入的一元函数到全局变量
    g_unary = unaryFunction;
    // 传入包装函数的指针
    return ExternalFunction(Wrapper);
}

注意：该方案在多线程并发调用MyFunction时会出现竞态，全局变量会被多个线程覆盖导致执行错误

方案2：线程安全方案 #

使用线程局部存储（C++11及以上标准支持）替换普通全局变量，避免多线程竞态：

// 线程局部存储，每个线程独立持有一份实例
static thread_local UnaryFunction g_unary = nullptr;

static double Wrapper(double a, double b) {
    return g_unary(a + b);
}

double MyFunction(UnaryFunction unaryFunction)
{
    g_unary = unaryFunction;
    return ExternalFunction(Wrapper);
}

该方案支持多线程并发调用，每个线程的调用互不干扰，是通用场景下的最优解。

极端场景补充 #

如果你需要在同一个线程内同时存在多个不同的一元函数转换需求（比如递归调用MyFunction），可以预先分配固定数量的包装函数槽位，每个槽位对应独立的全局存储变量，使用时取空闲槽位即可，不过这种场景非常少见，绝大多数情况线程局部存储方案都可以满足需求。

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