内核源码里的指针，都不做判空处理？这是为什么呢

lzalinux

好多内核源码里的指针 在分配空间后 空间是否分配成功都不处理

  函数的入参中的指针也都不做判断

难道 就是因为是内核代码 可以完全保证指针没有问题  或是为了提供效率

amarant

一般申請了內存都會判斷吧，我都沒看到過不判斷的。。

lzalinux

谢谢你的回复 ，刚看了新分配的内存是都判空了

函数的入参为什么就不需要判断呢？ 难道是要求调用者自己保障么？

static inline void __list_add(struct list_head *new,
                              struct list_head *prev,
                              struct list_head *next)
{
        next->prev = new;
        new->next = next;
        new->prev = prev;
        prev->next = new;
}


另， 代码里有些变量在声明的同时又的初始化， 有的没初始化。 是什么原因呢？

cluter

回复 3# lzalinux


    指针一般都会初始化的，参数如果来自用户空间也会检验的。

Godbach

函数的入参为什么就不需要判断呢？ 难道是要求调用者自己保障么？

调用者判断，或者接口判断，这是不同的策略。

个人觉得，最好不要把太多参数合法性的检查工作都交给接口。

人家接口都提供给你了，你要提供非法的参数进去。出了错，就不要怪接口了。

cluter

回复 5# Godbach


    不同的程序不同的策略，如果是UI的程序，必须得检验用户的输入，这样才不容易造成程序的崩溃。
   如果是模块内部函数，少一些检验是可以的。

amarant

回复 3# lzalinux


    这个插入链表也判断那就太。。。 这个操作这么频繁，消耗不起阿。  如果数据是从用户空间传来的，就一定会判断

lzalinux

谢谢各位，根据大家的意思，我总结下。

1，内存分配后，一定要判断是否分配成功。

2，函数入参的有效性检查呢，有的函数会去检查其有效性， 有的就需要函数的调用者来保障。
   这是策略不同，使用哪种方式要看具体需求和使用场景。
(1) UI相关的模块或你的接口是供不同水平的开发人员调用的，就要在接口函数里去检查参数的有效性。
(2) 如果你的接口是供自己模块或已与别的模块开发人员达成共识的，可以由调用者保掌参数的有效性。
(3) 考虑到性能问题。如果接口使用比较频繁，则为了精简代码，参数需调用者来保证。

amarant

内核是相信自己的，除了从用户空间传来的参数，基本都不会检查参数有效性。

futex

除了armrant说的信任外，应该还有效率的考虑