如何在保护库实现的前提下导出私有类型并隐藏typedef语句？

你的思路非常正确——信息隐藏确实是C库设计中必须遵循的最佳实践，能有效隔离实现细节、降低用户的使用成本，同时让你后续修改内部实现时不影响外部代码。针对你提出的问题，我们一步步拆解分析：

核心结论：不能隐藏公共头文件中的typedef #

你不能把typedef struct my_data my_data_type;从公共头文件library.h中移除，原因很简单：这是用户唯一能引用这个类型的合法方式。这条语句属于「不完整类型声明」——它告诉编译器“存在一个名为struct my_data的类型，但我现在不告诉你它的内部结构”，用户只能用my_data_type*来声明指针，无法直接实例化这个结构体、也不能访问它的成员，刚好完美契合你“保护内部数据类型”的需求。

如果去掉这个typedef，用户连声明指向该类型的指针都做不到，你的库对外接口将完全无法使用。

优化你的代码结构 #

当前的代码可以调整得更清晰，严格区分公共接口和私有实现：

1. 公共头文件library.h（仅导出用户必需的内容） #

#ifndef LIBRARY_H
#define LIBRARY_H

// 仅对外暴露不完整类型的typedef，用户只能用指针操作
typedef struct my_data my_data_type;

// 对外提供的操作接口，用户只能通过这些函数访问内部数据
my_data_type* my_data_create(int initial_stuff);
void my_data_destroy(my_data_type* data);
int my_data_get_stuff(my_data_type* data);
void my_data_set_stuff(my_data_type* data, int new_stuff);

#endif

2. 私有头文件library_component.h（仅库内部.c文件可见） #

这里可以存放结构体的完整定义，供内部代码使用：

#ifndef LIBRARY_COMPONENT_H
#define LIBRARY_COMPONENT_H

// 完整的结构体定义，仅库内部能访问
struct my_data {
    int stuff;
};

#endif

3. 内部实现文件library_component.c #

#include "library_component.h"
#include <stdlib.h>

// 内部初始化函数，仅库内部调用
struct my_data* my_data_init(int initial_stuff) {
    struct my_data* data = malloc(sizeof(struct my_data));
    if (data != NULL) {
        data->stuff = initial_stuff;
    }
    return data;
}

4. 对外接口实现文件library.c #

#include "library.h"
#include "library_component.h"
#include <stdlib.h>

my_data_type* my_data_create(int initial_stuff) {
    return my_data_init(initial_stuff);
}

void my_data_destroy(my_data_type* data) {
    free(data);
}

int my_data_get_stuff(my_data_type* data) {
    return (data != NULL) ? data->stuff : -1; // 简单的错误处理
}

void my_data_set_stuff(my_data_type* data, int new_stuff) {
    if (data != NULL) {
        data->stuff = new_stuff;
    }
}

最终效果 #

• 用户拿到library.h和library.so后，只能通过你提供的my_data_create、my_data_get_stuff等函数操作数据，完全看不到struct my_data的内部结构；
• 你后续如果需要修改struct my_data的成员（比如把int stuff改成long long stuff），只要保持对外接口的参数和返回值不变，用户的代码不需要做任何修改。

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