C - 使用宏使用不同结构类型参数的方法重载

Question

我正在尝试在 C 中实现方法重载，最好使用宏，以便标头/库可以处理定义和声明，而不是将其交给用户。现在我已经阅读了这个answer 关于使用_Generic 但是问题是我的函数有struct 类型。所以没有办法使用_Generic 的__typeof__ 来评估他们的类型。我想知道有没有什么办法。

这就是我的头文件的样子（这是我们应该关心的全部）-

#pragma once

// Macros for generic like use of the data structure

// Macros for the stack type itself
/*
 * Define stack with corresponding type
 * Converts Stack(int) to intstack_t
*/
#define Stack(type) type stack_t

// Macros for functions
/*
 * Define createStack function
 * Converts createStack(int, 5) to create_intstack(5)
*/
#define createStack(type, capacity) create_ ##type ##stack(capacity)

/*
 * Define destroyStack function
 * Converts destroyStack(someIntStack) to destroy_intstack(someIntStack)
 * Where someIntStack is a pointer to a variable of type intstack_t
*/
#define destroyStack(stack) _Generic(stack, intstack_t*: destroy_intstack, charstack_t*: destroy_charstack)(stack)

/*
 * Define push function
 * Converts push(someIntStack, data) to intstack_push(someIntStack, data)
 * Where someIntStack is a pointer to a variable of type intstack_t
*/
#define push(stack, data) _Generic(stack, intstack_t*: intstack_push, charstack_t*: charstack_push)(stack, data)

// Stack structure definition(s)

// int stack definition
typedef struct IntegerStack {
    int top;
    unsigned capacity;
    int* arr;
}intstack_t;

// char stack definition
typedef struct CharacterStack {
    int top;
    unsigned capacity;
    char* arr;
}charstack_t;

//Stack functions

// int stack functions
intstack_t* create_intstack(int);
void destroy_intstack(intstack_t*);
void intstack_push(intstack_t*, int);

// char stack functions
charstack_t* create_charstack(int);
void destroy_charstack(charstack_t*);
void charstack_push(charstack_t*, char);

大部分函数声明（以及它们各自的宏）已被删除，因为它们的功能基本相同。我只关心提供的push 函数宏。其他宏确实可以显示我想要什么样的用例。显然，push 中使用的宏使用 _Generic 将无法工作，因为 intstack_t 或 charstack_t 不是原始类型。

目标是让用户能够使用push(stack, data)，其中堆栈可以是intstack_t* 或charstack_t* 类型的变量，而push(stack, data) 语句将转换为intstack_push(stack, data) 或@987654337 @分别。

Answer 1

_Generic 将适用于可变长度数组以外的任何完整类型。尽管您不能将不完整类型与 _Generic 调用中的值相关联，但指向不完整类型的指针没有问题。

因此，您的 push 宏可以正常工作，即使在 instack_t 和 charstack_t 不透明的上下文中使用也是如此。

大肠杆菌样本：http://coliru.stacked-crooked.com/a/7d9b181af2429c5e