c - 通用函数宏和如何抑制特定的 GCC 警告 : "Pointer Type Mismatch in Conditional Expression"

Question

在有人立即将其标记为重复之前，让我说我已经花了几个小时来寻找答案(并阅读了许多类似的 S/O 问题)

情况如下:我在玩_Generic并尝试实现一个在检索时自动转换的字典结构。让我解释一下(如果您不在乎，请跳到粗体标题)。据我所见，拥有所有值都属于同一字段的字典结构的首选方法涉及 void指针，要求用户在检索时进行转换；这是一个例子:

struct C99_Dict *d = new_C99_Dict(); /* Creates a pointer to an empty dict
                                        d: {} */
int i = 7;
put_in_c99_dict(d,"key",i); /* d: {"key": (void *)&i} */
...
// BAD: Will cast to i's address
int j = get_from_c99_dict(d,"key");
// BAD: Dereferencing void pointer
int k = *(get_from_c99_dict(d,"key"));
// GOOD: Will set l equal to 7
int l = *(int *)get_from_c99_dict(d,"key");

正如人们可能想象的那样，一段时间后(特别是有一次 struct * 被混入其中……尽管在我当前的项目中没有改变)，您的代码最终看起来就像 Lisp 教科书中的内容。

使用 _Generic ，但是，我设法找到了一种方法来制作更易于使用的字典，该字典以这样一种方式自动转换，即

int j = get_from_c11_dict(d,"key");

变得完全有效并且可以按预期工作(对于内置...结构仍然需要手动转换)。更改 put_in_c11_dict 的行为基于输入类型很容易，对于 _Generic关键字完成所有繁重的工作。然而，困难的是在出路时进行类型转换的概念。这是因为，为了字典 struct要明确定义，它的值必须是一致的类型(例如 void* ，正如我已经实现的那样)。然而，这样做的问题是，在插入函数处理了给定的输入之后，类型信息就会丢失。

我最初(失败)尝试解决此问题是制作以下形式的字典结构:

typedef struct _dict_mem_struct{
  union {
    _Bool(*bool_get)(_dict_mem_struct*);
    char(*char_get)(_dict_mem_struct*);
    ...
    char *(*char_point_get)(_dict_mem_struct*);
    void *(*void_point_get)(_dict_mem_struct*);
  } get;
  void *value;
} _dict_mem_t;

希望(尽管可能很愚蠢)能够在 _get 中执行以下操作辅助宏定义:

#define _get(mem_struct) _Generic((mem_struct.get) ... )

不幸的是，我从 gdb 得知 mem_struct.get属于 union 类型，所以它又回到了绘图板上。最终，我得到了一些有用的东西。首先，我添加了一个 char*字段到包含原始类型的成员结构。然后我真正需要的是一个内联的 switch 语句，因为我没有事先说明函数签名是什么。所以，这是我做的可怕的事情(它在技术上是无效的 C 吗？也许吧。可能。我不知道。不过，GCC 编译它并且它可以工作，所以我很高兴。)

#define IS_PFX(val,pfx) (!strcmp(val->pfx, pfx))
#define _get(valstruct) (IS_PFX(valstruct,"bool") ? boolval(valstruct) : IS_PFX(valstruct,"char") ? charval(valstruct) : ... : valstruct)

是的，我知道;我可能会为此下 hell 。所以，有了那个...

这是我的实际问题:当我编译它时，它可以工作，但是 gcc 对我非常不满。它给了我一堆错误，例如

dict.c:203:75: warning: pointer type mismatch in conditional expression
 #define PAIR(valstruct,str,fn,rst) (IS_PFX(valstruct,str) ? fn(valstruct) : rst)

据我所知，这意味着 gcc 对这些函数都是不同类型的感到不安。尽管如此，如前所述，代码可以工作，所以我想告诉 gcc 为这些警告放一个 socks 。问题是当我运行 gcc -fdiagnostics-show-option ，那些警告行没有 -W...他们身后的旗帜。此外，我已经通读了 gcc 警告标志页面，没有什么对我来说很明显，我可以用它来抑制这些。最后，添加行后警告仍然没有消失 #pragma GCC diagnostic ignored "-Wall"和 #pragma GCC diagnostic ignored "-Wextra" .我怎样才能摆脱这些？我可以接受的另一个解决方案是以某种方式关闭所有针对该文件的警告，因为我不想要它们的原因是这样我就可以将它集成到其他项目中而不会头疼。

感谢您的任何帮助。顺便说一句，如果有更好的方法来完成所有这些，请告诉我。无论如何，我想一旦我解决了其中一些问题，我会为此制作一个 git repo，因为我认为它会很有用(如果是这样，我会用链接更新这篇文章)。

Answer 1

gcc 可能是正确的，您在三元表达式中混合了不同的指针类型。所以你的设计很可能是错误的。请记住 _Generic不能创造奇迹，C 中的类型系统保持静态，在编译时确定。它只能处理您在第一个表达式中传递给它的类型信息。

如果您将类型信息丢弃到 void* ，将指针存储在某处并尝试稍后检索它，根据定义_Generic帮不了你。检索的上下文不再具有类型信息，可能会为来自不同地方的此类指针调用它。

因此，特别是对于字典结构，C 在检索端永远无法知道原始指针的类型。如果您想保留该信息，则必须自己执行此操作并将该信息与指针一起存储。

顺便说一句，您的问题标题已经错了:C 中没有泛型函数之类的东西。有类型泛型函数类宏。