Dlaczego is_lock_free jest funkcją składową?

Jaka jest przyczyna tegois_lock_free wymaga instancji (jest funkcją składową)? Dlaczego nie metafunkcja typu lub statycznaconstexpr funkcja członka?

Szukam rzeczywistego przykładu, dlaczego jest to konieczne.