关于include的一个困惑

描述：    

    config.h文件声明了一个全局函数func1，且只包含了一个类型定义的H文件，main.c只包含config.h，此外工程中包含了文件a.c，但是没有用到a.c的函数，但a.c要用到全局函数func1，此时编译出错，告知找不到func1的定义，然后在main.c定义了func1函数，编译通过。这是怎么回事？

引用：这是我在使用CMSIS固件库时遇到的问题，此时func1对应void check_failed(uint8_t *file, uint32_t line)。