Почему _lock _free является функцией-членом?

По какой причине is_lock_freeтребуется экземпляр (, это функция-член )? Почему не метафункция типа или статическая функция-член constexpr?

Я ищу фактический пример того, почему это необходимо.