c - 编译器如何以及为什么将 extern 函数替换为空函数？

Question

考虑 linux/drivers/usb/hid-core.c 中的以下代码:

static void hid_process_event (struct hid_device *hid,
                               struct hid_field *field,
                               struct hid_usage *usage,
                               __s32 value)
{
   hid_dump_input(usage, value);
   if (hid->claimed & HID_CLAIMED_INPUT)
         hidinput_hid_event(hid, field, usage, value);
#ifdef CONFIG_USB_HIDDEV
   if (hid->claimed & HID_CLAIMED_HIDDEV)
         hiddev_hid_event(hid, usage->hid, value);
#endif
}

如果未启用特定配置选项，作者不想在此处调用 hiddev_hid_event()。这是因为如果未启用配置选项，该功能甚至不会存在。

为了删除这个 #ifdef，对 include/linux/hiddev.h 进行了以下更改:

#ifdef CONFIG_USB_HIDDEV
   extern void hiddev_hid_event (struct hid_device *,
                                 unsigned int usage,
                                 int value);
#else
   static inline void
   hiddev_hid_event (struct hid_device
*hid,
                     unsigned int usage,
                     int value) { }
#endif

然后drivers/usb/hid-core.c改成了:

static void hid_process_event
                           (struct hid_device *hid,
                            struct hid_field *field,
                            struct hid_usage *usage,
                            __s32 value)
{
   hid_dump_input(usage, value);
   if (hid->claimed & HID_CLAIMED_INPUT)
         hidinput_hid_event(hid, field, usage, value);
   if (hid->claimed & HID_CLAIMED_HIDDEV)
         hiddev_hid_event(hid, usage->hid, value);
}

如果未启用 CONFIG_USB_HIDDEV，编译器将用空函数调用替换对 hiddev_hid_event() 的调用，然后完全优化掉 if 语句。

我无法理解的是编译器如何将对 hiddev_hid_event() 的调用替换为空函数。我看到的唯一区别是返回类型 extern void 已替换为 static inline void。这是否意味着所有未定义的外部函数都将自动变为空函数？

引用:http://www.linuxjournal.com/article/5780?page=0,3

Answer 1

函数实际上是定义的，但是函数体是空的:

static inline void
hiddev_hid_event (struct hid_device *hid,
                 unsigned int usage,
                 int value) 
{ }

我想，用空主体优化掉内联函数是微不足道的。