C 语言的泛型实践

参考：C语言实现泛型编程

很多语言内置了对泛型的支持（例如 C++，通过同名不同参数的函数支持泛型）。C 语言中需要借助空指针 void * 实现泛型。

非泛型编程

需要针对所有可能类型实现函数。

void swapInt(int *a, int *b) {
	int tmp = *a;
	*a = *b;
	*b = tmp;
}
void swapDouble(double *a, double *b) {
	double tmp = *a;
	*a = *b;
	*b = tmp;
}

泛型编程

函数具有通用性，支持多种数据类型。

要想实现泛型的函数，需要在调用的地方传入相关要交换的对象的地址空间大小 size，同时利用在头文件 string.h 中定义的 memcpy() 函数来实现。

void swap(void *a, void *b, int size) {
	char buffer[size]; // C99 及更高版本
	memcpy(buffer, a, size);
	memcpy(a, b, size);
	memcpy(b, buffer, size);
}

完整实例

#include <stdio.h>
#include <string.h>

void swap(void *a, void *b, int size) {
	char buffer[size]; // C99 及更高版本
	memcpy(buffer, a, size);
	memcpy(a, b, size);
	memcpy(b, buffer, size);
}
void swapInt(int *a, int *b) {
	int tmp = *a;
	*a = *b;
	*b = tmp;
}
void swapDouble(double *a, double *b) {
	double tmp = *a;
	*a = *b;
	*b = tmp;
}

int main(void) {
    int a = 3, b = 4;
    
    printf("%d--%d\n", a, b);
    swapInt(&a, &b);
    printf("%d--%d\n", a, b);

    printf("%d--%d\n", a, b);
    swap(&a, &b, sizeof a);
    printf("%d--%d\n", a, b);

    char s1[] = "hello";
    char s2[] = "world";
    printf("%s--%s\n", s1, s2);
    swap(&s1, &s2, sizeof s1);
    printf("%s--%s\n", s1, s2);
    return 0;
}