vfs中不能直接用裸指针分发请求，因其不携带所有权、生命周期或上下文信息，易导致use-after-free、空解引用或类型擦除后无法dispatch；正确做法是使用封装函数指针的结构体（如struct file_operations）实现行为抽象与静态绑定。
虚拟文件系统中为什么不能直接用裸指针分发请求
裸指针（int*、void*）本身不携带所有权、生命周期或上下文信息，在 VFS（如 Linux kernel 的 struct file_operations 或用户态模拟器）中直接传递裸指针处理请求，极易导致 use-after-free、空解引用或类型擦除后无法 dispatch。VFS 的请求分发本质是「根据 inode 类型 / 文件操作集选择对应 handler」，靠的是结构体函数指针表（如 f_op->read），不是靠动态计算的地址跳转。
正确做法：用函数指针表 + 操作结构体封装行为
Linux 内核 VFS 层实际用的是 struct file_operations 这类含函数指针成员的结构体，每个文件对象（struct file）持有一个指向该结构体的指针。用户态模拟也应沿用此模式，而非手写跳转逻辑：
struct VfsOps {
ssize_t (*read)(int fd, void* buf, size_t count);
ssize_t (*write)(int fd, const void* buf, size_t count);
int (*open)(const char* path, int flags);
// ... 其他操作
};
<p>// 每个文件系统实例提供自己的实现
extern const struct VfsOps ext4_ops;
extern const struct VfsOps procfs_ops;</p><p>// 请求分发发生在 open() 后：file->f_op = &ext4_ops; 后续 read/write 直接调用 f_op->read</p>
- 所有 handler 函数签名必须严格一致（参数顺序、const 修饰、返回值），否则
f_op->read调用会栈错乱 - 不要在运行时 malloc 一个
VfsOps*并填函数地址——静态 const 表更安全，避免初始化顺序问题 - 若需状态感知（如 per-mount 数据），把状态指针作为第一个隐式参数传入 handler，或通过
container_of()从struct file反查所属 superblock
想用 C++ 封装？避免虚函数表带来的间接开销和 ABI 风险
纯虚类（class VfsInterface { virtual ssize_t read(...) = 0; }）在跨模块或内核/用户态边界时不可靠：vtable 布局未标准化、RTTI 可能被裁剪、虚调用多一层 indirection。更务实的做法是保留 C 风格函数指针表，用 C++ 封装其生命周期与注册逻辑：
class VfsDispatcher {
const VfsOps* ops_ = nullptr;
void* private_data_ = nullptr; // 如 mount options、cache handle
<p>public:
void set<em>ops(const VfsOps& ops, void* data) {
ops</em> = &ops;
private<em>data</em> = data;
}</p><pre class="brush:php;toolbar:false;">ssize_t read(int fd, void* buf, size_t n) {
return ops_ ? ops_->read(fd, buf, n) : -EBADF;
}};
-
set_ops()接收 const 引用而非指针，强制调用方提供静态生命周期的VfsOps实例 - 不要把
VfsOps成员函数声明为std::function——它内部有 heap allocation，且无法内联 - 若必须用 C++ 成员函数，用
std::mem_fn+ 对象指针绑定，但需确保对象生命周期长于 dispatcher
调试时最常踩的坑：函数指针类型不匹配导致静默崩溃
错误示例：ssize_t (*read)(int, void*, size_t) 和 ssize_t (*read)(int, char*, size_t) 在 C 中是不同类型，强制转换后调用可能因 ABI 差异（如 char* vs void* 在某些 ABI 中寄存器使用不同）引发段错误，且编译器未必报错。
- 始终用
typedef或using统一声明函数指针类型，例如：using read_fn = ssize_t (*)(int, void*, size_t); - 在注册 handler 前用
static_assert(std::is_same_v<decltype read_fn>)</decltype>校验类型 - 内核模块中尤其注意：
__user指针修饰符必须显式出现在函数签名里，否则copy_from_user()可能失败而不报错
真正难的不是写指针，而是让每个指针背后的行为契约清晰、可验证、不依赖运行时猜测。VFS 分发的核心约束从来不在语法层面，而在语义对齐——读操作是否更新 f_pos，open 是否检查权限，这些细节比指针怎么存更决定成败。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
