C语言中抽象数据类型的应用是否等价于函数式编程及相关咨询

先看你给出的代码片段：

typedef struct Customer* CustomerPtr; 
typedef struct Order* OrderPtr; 
CustomerPtr createCustomer(const char* name, const Address* address); 
void destroyCustomer(CustomerPtr customer); 
void placeOrder(const CustomerPtr customer, const OrderPtr order);

1. 这种实现是否确实等同于函数式编程？ #

答案是完全不等同——哪怕placeOrder看起来像纯函数（仅依赖输入参数），但这只是函数式编程的一个小特征，远达不到“等价”的程度。咱们掰开了说：

• 函数式编程的核心是不可变性：数据一旦创建就绝不修改，要更新状态就得生成全新的数据副本。但你这里的Customer结构体内部几乎必然是可变的——placeOrder大概率是直接把订单塞进customer内部的订单列表里，本质是修改原有对象的状态，这属于典型的副作用，和函数式编程的核心理念背道而驰。
• 函数式编程不会有createCustomer/destroyCustomer这种手动内存管理操作，它依赖语言的自动内存管理或持久化数据结构来避免手动操作带来的副作用。
• 另外，函数式编程强调函数是“一等公民”——可以作为参数传递、作为返回值、自由组合成新函数，但你给出的代码只是用ADT做了数据封装，完全没体现这一点。

2. 核心差异是什么？有没有简洁的函数式模式可实现？ #

既然明确了不等同，核心差异可以总结为这几点：

• 不可变性 vs 可变性：函数式编程里所有数据都是不可变的，比如给用户加订单，会返回一个包含新订单的全新Customer对象，而非修改原有对象；但C的ADT基本都是基于可变状态设计的，placeOrder这类函数几乎都会修改传入的customer内部状态。
• 函数的地位：函数式编程里函数可以自由组合、传递，比如你能把“验证订单”和“添加订单”两个函数组合成一个新函数；但在C里做这种组合，要么用你觉得可读性差的函数指针，要么就得写一堆繁琐的包装函数，完全没有函数式语言里的简洁感。
• 副作用的处理：函数式编程会把所有依赖显式化，尽可能消除隐藏副作用；但C里哪怕用了ADT，也可能存在全局变量、内部状态修改这类隐藏副作用，比如Customer结构体如果引用了全局配置，那placeOrder就不再是纯函数了。

如果想在C里实现接近函数式的模式，也不是不行，但确实不简洁：比如把placeOrder改成返回新的CustomerPtr，而非修改原有对象：

CustomerPtr placeOrder(const CustomerPtr customer, const OrderPtr order);

但这样每次操作都要创建新对象，手动管理内存，还要处理原有对象的销毁，代码量会暴增，而且完全不符合C的惯用写法。

内容的提问来源于stack exchange，提问作者Rijul Gupta