【问题标题】:Is this an appropriate use of void pointers?这是对 void 指针的适当使用吗?
【发布时间】:2011-04-13 21:19:29
【问题描述】:

这个问题是关于在特定实现中使用 void 指针的适当性。

我有一个相对简单的程序,它包含一个无限循环。在每个循环中,程序都会迭代固定范围的常量值,并对每个值调用一个函数。调用的特定函数可以是三个可用函数之一,并在运行时由参数指定。在无限循环开始之前,有一个条件块,它根据提供的参数设置指向函数的函数指针。这样条件逻辑只需要运行一次,而不是在每个循环的每次迭代中运行。

这个我已经实现并且运行良好,但我想在每次调用函数之间保持状态。我的建议是将状态存储在结构中,并在对每个值调用函数时传递该结构。问题是每个函数需要不同的结构来存储其状态的一组不同值,并且所有三个函数的原型必须兼容(对于函数指针)。我打算通过在三个函数的原型中使用 void 指针来解决这个问题,从而保持兼容的原型,但允许我将不同的结构传递给每个函数。

问题是;我的提议是对 void 指针的适当使用,还是它引入了太多的运行时动态,因此我应该重新考虑我的方法?

注意:不可能在三个函数中的每一个中都使用静态变量,因为结构体也需要在无限循环中可用,因为在迭代值范围之前和之后还需要进行一些处理。

【问题讨论】:

  • 嗯,它是一个守护进程,所以有逻辑来确定它应该何时结束,但细节并不真正相关:-)

标签: c function-pointers void-pointers


【解决方案1】:

只要您注意保持调用类型正确,这是完成您所描述的内容的相当 C 惯用的方式。

【讨论】:

  • 感谢您的回答!似乎其他人基本上都在说同样的话,但你是第一个,所以我已经将你的答案标记为正确。
【解决方案2】:

您可以通过使用union 获得一些类型安全性:

typedef struct {
        int a;
        char *b;
} s1;
typedef struct {
        double d;
        int *e;
} s2;
typedef union {
        s1 s1;
        s2 s2;
} ocd;
typedef int (*daemon_function)(ocd *);

那么你的所有函数都可以是daemon_function 类型,但通过ocd.s1ocd2.s2 接受不同的参数。不过,我倾向于将这一切称为一堆毫无意义的忙碌工作。一个简单的void* 也可以。

您还可以在结构的前面包含一个幻数,然后函数可以通过查看幻数并查看它是否正确来检查类型安全:

#define MAGIC 0x4d475600L
typedef struct {
    long magic;
    /* ... */
} whatever;

然后:

int f(void *p) {
    whatever *w = (whatever *)p;
    if(w->magic != MAGIC) {
        /* complain and go boom! */
    }
    /* ... */
}

在我的 Motif 编程时代,我一直在玩魔术数字技巧,您在 Motif/Xt/X11 开发中传递了很多 void* 指针。

【讨论】:

  • @SlappyTheFish:当与assert#defined IS_THING(x) ((x)->magic == THING_MAGIC) 样式宏结合使用时,神奇的数字非常棒,这是在处理大量void* 指针时避免很多混淆的好方法。
【解决方案3】:

Void 指针是一种告诉 c 类型系统你希望它停止工作并相信你不会搞砸的方法。这是对 void * 的适当使用,唯一的问题是您无法访问编译器执行的任何类型检查。您可能会创建一些非常奇怪且难以诊断的错误。如果您确定自己知道自己在做什么(听起来像您所做的那样),并且如果您已经多次检查了代码的每一行并且确定其中没有逻辑错误,那么您应该没问题。

【讨论】:

    【解决方案4】:

    void * 在 C 中非常惯用。我个人普遍使用它,但每当我这样做时,为了安全起见,我倾向于使用标记结构,即我在每个结构的开头放置一个唯一的类型 ID 来识别它。

    【讨论】:

      【解决方案5】:

      一般情况下是可以的。 我真的更喜欢使用 void * 上下文,但看起来你想避免它。 由于您已经有一些代码可以解析参数并选择函数,因此您只需在 switch 中选择函数并为每次迭代显式调用它。

      【讨论】:

        猜你喜欢
        • 2023-03-06
        • 2013-07-24
        • 1970-01-01
        • 1970-01-01
        • 1970-01-01
        • 2014-12-16
        • 2014-05-30
        • 2011-06-15
        • 1970-01-01
        相关资源
        最近更新 更多