关于Weak external symbols

icoming

在linkers and loaders这本书上在讲述weak external symbols的时候举了printf这个例子。不过我不明白到底是怎么起作用的。
是不是说如果printf的第一个参数中有%f，fltused就会被引用，从而使得程序和浮点库连接?
照书上看来fltused应该是在printf的程序中被调用的。是不是说fltused有代码专门判断是否使用了浮点数，从而决定是否连接浮点库？