-fsanitize = function（UndefinedBehaviorSanitizer）錯誤實際上是什麼意思？

Question

當在Ubuntu 14.04與-fsanitize鏗鏘3.5編譯MAME/MESS（https://github.com/mamedev/mame/）=功能我得到很多下列錯誤：

src/lib/util/delegate.h:651:64: runtime error: call to function osd_file_output_callback(_IO_FILE*, char const*, __va_list_tag*) through pointer to incorrect function type 'void (*)(delegate_generic_class *, const char *, __va_list_tag *)' 
/home/notroot/trunk/src/osd/osdcore.c:14: note: osd_file_output_callback(_IO_FILE*, char const*, __va_list_tag*) defined here 

src/lib/util/delegate.h:649:42: runtime error: call to function rom_exit(running_machine&) through pointer to incorrect function type 'void (*)(delegate_generic_class *)' 
/home/notroot/trunk/src/emu/romload.c:1514: note: rom_exit(running_machine&) defined here 

我真的不明白，因爲如果有什麼這些錯誤的意思函數簽名不匹配我會希望應用程序在某個時刻崩潰。到目前爲止，沒有人能夠向我解釋這個錯誤實際上意味着什麼或者爲什麼這是工作。

Answer 1

我真的不明白這些錯誤是什麼意思，因爲如果函數簽名不匹配，我會期望應用程序在某個時刻崩潰。

而這就是未定義行爲的危險。這確實意味着函數簽名不匹配。這並不意味着它會崩潰，或者等到崩潰之前看到的老闆，或者破壞堆棧或什麼東西。它甚至可能變成今天完全不可觀測的，但不是未來版本的編譯器（或舊版本）。未定義的行爲就是這樣。你不能從觀察到的行爲中得出未定義行爲的結論。

在你的情況下，它不會崩潰，因爲指向_IO_FILE的指針和指向delegate_generic_class的指針的大小相同，並且它們在ABI中沒有什麼特別的地方（假設x86-64 linux）。