gcc 中不兼容的函数类型之间的强制转换

Question

我有一个代码生成脚本，它是由其他人在 2008 年左右编写的，从那时起几乎没有变化，运行良好。就在最近我尝试使用 gcc9 进行编译时，我在生成的代码中看到了 7300 条“不兼容函数类型之间的强制转换”警告。

代码采用一组函数指针和各种类型标识符，并将所有内容插入到一个大映射中，稍后用于选项序列化、打印等。许多函数和变量被转换并存储为某种形式的 void *。否则代码编译没有错误并且可以正常工作。

我尝试了各种 C 风格的强制转换、reinterpret_cast 以及将函数指针强制转换为 void(*)(void)，但它们都没有消除警告。将函数转换为泛型类型以避免此警告的正确方法是什么？我能想出的唯一解决方案是禁用 -Wcast-function-type。

这是一个生成警告的示例行：

pim.must_find("input_fn")->set_introspect_info( sizeof(filename_t), ((char *)(&p_cn->input_fn)) - ((char *)p_cn), 0,invalid_offset, (str_from_base_t *)str_from_filename_t, (send_base_t *)send_filename_t, (recv_base_t *)recv_filename_t, (val_from_param_t *)val_from_param_filename_t, 0);

警告与这两个功能有关：

typedef std::string str_from_base_t( void const * );

std::string str_from_filename_t( filename_t const & v ) { return v; }

其中 filename_t 是一个从 std::string 插入的类。

请注意，有许多不同的 str_from_***() 函数具有不同的类作为参数。

我得到的警告是：

../src/gen/DEFReader_PostParam.cc: In function 'void croix::DEFReaderCLI_introspect_pim_init()':
../src/gen/DEFReader_PostParam.cc:25:153: warning: cast between incompatible function types from 'std::string (*)(const croix::filename_t&)' {aka 'std::basic_string<char> (*)(const croix::filename_t&)'} to 'std::string (*)(const void*)' {aka 'std::basic_string<char> (*)(const void*)'} [-Wcast-function-type]
25 |  pim.must_find("input_fn")->set_introspect_info( sizeof(filename_t), ((char *)(&p_cn->input_fn)) - ((char *)p_cn), 0,invalid_offset, (str_from_base_t *)str_from_filename_t, (send_base_t *)send_filename_t, (recv_base_t *)recv_filename_t, (val_from_param_t *)val_from_param_filename_t, 0);

Answer 1

将函数转换为泛型类型的正确方法是什么？

答案是没有正确的方法。警告是绝对有道理的。

关键是你有一个类型安全的函数，你只能传递filename_t，然后你把它转换成可以接受任何东西的东西。不遇到未定义行为的唯一方法是仍然传递filename_t，即使您现在可以传递其他任何内容。

这就产生了为什么需要将其转换为泛型类型的问题？您说这些函数存储在具有某些类型标识符的映射中。现在，由于信息有限，很难对此做出判断，但对我来说，这听起来有点像人为地构建一个为您选择正确函数的机制，而有一个完美的内置机制：函数重载解析。

因此，在代码中的某个时刻，您手头必须有一个filename_t 对象。然后（我假设）您从中推断出一些类型标识符并使​​用它在地图中查找正确的函数。然后你将filename_t 作为void* 传递到那里，知道它会起作用。

我确信它比这复杂得多，但也许您可以识别这部分逻辑并摆脱它：摆脱映射（至少将类型标识符映射到函数的那部分）并调用在你仍然知道类型的时候直接调用函数（因为这样重载解析会为你解决问题）。

模板可以帮助您保留类型而不是制作所有内容void*。