C - fts_open 的 "compar"参数应该有多稳健？

Question

fts_open 定义 on the man page采用比较函数作为参数。虽然我知道将错误检查放入函数中是一种很好的做法，但实际上对函数的期望是什么？ FTS 是否会提供空值作为参数，还是会自行检查？

Answer 1

FTS 将仅使用有效指针调用您的函数。也就是说，给定:

int my_compar(const FTSENT **ppx, const FTSENT **ppy) { ... }

ppx将有效，*ppx将有效，**ppx将有效(这同样适用于 ppy )。

唯一需要注意的是 fts_accpath , fts_path和fts_pathlen **ppx 的字段和**ppy FTSENT不得访问 s。

<小时/>

关于一般错误检查:您无法检查指针是否有效。您可以检查空指针，但不能检查未初始化的值、目标不再存在的指针(“悬空”)等。因此您可以执行的检查无论如何都是非常有限的。

对于函数参数，调用者有责任提供有效值。在这种情况下，“调用者”是 fts_open 。它的描述仅表示“[compar 函数] 将两个指向 FTSENT 结构的指针作为参数”，这意味着这正是它将传递的内容。如果它希望您处理空指针(或指向空指针的指针)，文档会明确说明。