如何在 C 中创建一个接受未知类型参数的函数？

Question

假设我有以下代码：

struct test* t1;
t1 = get_t(1);

... 其中 get_t 是：

struct test* get_t(int);

如何重构上述代码并将其放入函数中？像下面这样：

void r1(?* t, ?* (fn*)(int)) {
    t = fn(1);
}

/* ... */

struct test* t1;
r1(t1, &get_t);

Answer 1

使用void *param，一个指向任何东西的指针......在glib中通常用作gpointer

Answer 2

我有两个想法：

[1] 将 void 指针传递给变量/对象，并在函数中对其进行类型转换。

[2] 将所有数据类型与整数数据类型进行联合，该联合将标识联合中的哪个数据类型变量确实保存实际数据。 void * 传递

struct _unknown {
   union {
      int a;
      float b;
      char c;
      double d;
   } data;
   int type;
} unknown;
.
.
.
if (unknown.type == FLOAT)
{
  /* Process variable b */ 
}
else if (unknown.type == INT)
{
 /* Process variable a */
}
.
. 
.

将此联合作为值或像这样的

。您可以将 FLOAT 和 INT 以及其他值定义为唯一值。

或者简单地

struct _unknown {
  void *data;
  int type;
} unknown;
.
.
.
if (unknown == FLOAT)
{
  /* process (float *) data */
}
else if (unknown == INT)
{
  /* process (int *) data */
}
else if (unknown == MY_DATA_TYPE)
{
  /* process (my_data_type *) data */
  /* where my_data_type could be a typedef, or struct */
}

Answer 3

如果你有 gcc，你可以使用这个类型更安全的版本：

#define r1(varp,func) ({ \
    typeof(**varp)* (*_func_)(int); \
    typeof(**varp)* _varp_ = (varp); \
    _func_ = (func); \
    r1_((void**)(_varp_),(void*(*)(int))_func_); \
    })

void r1_(void** varp,void*(*func)(int))
    {
    *varp = func(1);
    }

Call as:

struct test* get_t(int);
struct test* t1;
r1(&t,get_t);

（你不需要在函数上使用 & ，它们会自动衰减为指针，就像数组一样）。这会检查 t 是否为指针，以及 get_t 是否为返回该类型指针的函数。 _varp_ 从技术上讲是不需要的，但可以使参数求值保持正确的顺序。

编辑：

如果你没有 gcc，你仍然可以这样做，但你必须明确提供类型：

#define r1(T,varp,func) do { \
    T*(*_func_)(int); \
    T* _varp_ = (varp); \
    _func_ = (func); \
    r1_((void**)(_varp_),(void*(*)(int))_func_); \
    } while(0)

void r1_(void** varp,void*(*func)(int))
    {
    *varp = func(1);
    }

Call as：

struct test* get_t(int);
struct test* t1;
r1(struct test*,&t,get_t);

不太安全，而且更冗余，但仍然相当不错。