Использование класса ограничений

Задача заключается в проверке наличия у типа T функции определенного вида. Используем класс ограничений. За счет наследования вызывается конструктор. Не понимаю, как он вызывает статическую функцию, чтобы получилась (если все плохо) ошибка в строке с заданием адреса указателю на функцию. В к-ре же вроде просто присвоение указателю адеса этой функции.

template<typename T>
class Has_f
{
public:
    static void Constraints()
    {
        T* (T::*test)() const = &T::f;
        test;
    }
    Has_f() { void (*p)() = Constraints; }
};

Наш класс:

template <typename T>
class C : Has_f<T>
{
    // ...
};

Почему автор написал именно так? Можно же просто вызвать в конструкторе {Constraints();} или нет? Фрагмент взят из книги Г. Саттера.