如图，在正方形 ABCD 中，点 E 为 BC 的中点，F 为 AB 上一点，AE，CF 交于点 O.若 AB=4，∠AOF=45°，则 BF 的长为.