如何通过两个void指针参数交换未知类型数值？超大数值方案是否可行？

嘿，这个问题问到点子上了！首先得明确你当前的实现方式，不同的实现思路对“超出long double的数值类型”的支持情况完全不一样：

情况1：你用的是C++模板函数（比如类似这样的实现） #

template <typename T>
void swap(T& a, T& b) {
    T temp = a;
    a = b;
    b = temp;
}

这种方案完全可行，不管你的数值类型是多大、是不是内置类型（哪怕是自定义的高精度浮点数、超大整数类型，或者第三方库提供的数值类型），只要这个类型满足以下基本要求：

• 支持拷贝构造（能创建T temp = a;这样的临时对象）
• 支持赋值运算符（a = b;这种操作合法）

模板函数会在编译期针对具体的T类型生成专属的交换代码，和类型本身的大小、是否是内置类型完全无关——哪怕这个类型比long double大10倍，编译器也能正确处理。甚至C++标准库自带的std::swap就是干这个的，还做了移动语义的优化，比自己写的更高效。

情况2：你用的是C语言的类型泛型宏（比如类似这样的实现） #

#define SWAP(a, b) do { \
    __typeof__(a) temp = a; \
    a = b; \
    b = temp; \
} while(0)

这种方案同样可行。宏会在预处理阶段根据a和b的实际类型，生成对应类型的交换代码——只要你的编译器能识别这个类型（不管是内置的还是自定义的数值类型），就能正确完成交换。比如你用了某个第三方库的128位整数类型，只要编译器认识它，宏就会生成针对该类型的交换逻辑，不会有问题。

情况3：你用了强制转换到long double的“伪泛型”实现 #

如果你是把两个参数强制转换成long double来交换，再转回去（比如类似这样的）：

void swap(long double& a, long double& b) {
    long double temp = a;
    a = b;
    b = temp;
}
// 调用时强制转换：swap((long double&)x, (long double&)y)

这种方案完全不可行。一旦你的数值类型比long double大，或者和long double的内存布局不兼容，强制转换会直接导致数据丢失、内存越界或者交换后数据损坏——比如自定义的256位浮点数，转成long double会截断大部分数据，交换后完全不是原来的值。

总结 #

只要你的实现是基于真正的泛型机制（C++模板或C的类型泛型宏），不管数值类型多大、是不是内置类型，方案都是可行的；但如果是靠强制转换到固定类型来“模拟”泛型，那遇到超出long double的类型时就彻底失效了。

内容的提问来源于stack exchange，提问作者Dean Movy