Visual Studio中联合体内函数指针初始化报错C2440的解决方法

这个问题我之前帮人排查过，本质是C语言union的初始化规则在Visual Studio的严格编译检查下暴露的问题——当你直接用一个值初始化union变量时，编译器只会把这个值赋值给union的第一个成员。你的body_t union第一个成员是double value，但你在数组初始化里直接传了sqrt这类函数指针，编译器自然会尝试把函数指针转成double，这就触发了C2440错误。

下面给你两种可靠的解决方法：

方法一：使用C99指定初始化器（推荐，VS2013+支持） #

直接明确指定要赋值给union的哪个成员，这样编译器就不会默认匹配第一个double成员了：

typedef union { 
    double value; 
    double (*UnFunc)(double); 
    double (*BiFunc)(double, double); 
    double (*VarAssi)(vars_t *, elem_t, elem_t, error_t *); 
    void (*FuncAssi)(custom_funcs_t *, elem_t, expr_t, error_t *); 
    char delimiter; 
} body_t; 

typedef struct { 
    const char *name; 
    int priority; 
    body_t body; 
} elem_info_t; 

static const elem_info_t s_STD_UN_FUNC[] = { 
    {"sqrt", 2, {.UnFunc = sqrt}},  // 明确指定赋值给UnFunc成员
    {"sin", 2, {.UnFunc = sin}},
    {"cos", 2, {.UnFunc = cos}},
    {"tg", 2, {.UnFunc = tan}},
};

这种方法最清晰，也符合现代C语言的规范，Visual Studio从2013版本开始就支持C99的指定初始化器特性了。

方法二：兼容旧版Visual Studio（C89兼容） #

如果你的项目需要兼容不支持C99的旧版VS，可以先创建临时的body_t变量，赋值对应成员后再初始化数组：

// 先初始化每个union变量
body_t sqrt_body = {0};
sqrt_body.UnFunc = sqrt;

body_t sin_body = {0};
sin_body.UnFunc = sin;

body_t cos_body = {0};
cos_body.UnFunc = cos;

body_t tan_body = {0};
tan_body.UnFunc = tan;

static const elem_info_t s_STD_UN_FUNC[] = { 
    {"sqrt", 2, sqrt_body},
    {"sin", 2, sin_body},
    {"cos", 2, cos_body},
    {"tg", 2, tan_body},
};

为什么之前的显式类型转换会出问题？ #

你提到显式转换会引发其他错误，这是因为如果直接把函数指针转成double，属于未定义行为——函数指针的大小可能和double不一样，转换后的值无法可靠地转回原函数指针，后续调用时会出现崩溃或逻辑错误，绝对不能这么做。

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