Шаблоны. В чем разница между созданием экземпляра и специализацией?

int main()
{
    // --- здесь компилятор, что бы создать объект класса
    // должен сначала сгенерировать этот самый класс
    // по шаблону 'Property'
    Property<int> 
        prop1;
}

#include <iostream>
 
template<class T> struct example
{
    // инстанцируется только тот конструктор
    // который был задействован
    
    template<class F>
        example(F f)
    {
        f();
    }
    
    template<class F, class A>
    example(F f, A a)
    {
        f(a);
    }
};
 
 
// --- функция без аргументов
// поэтому второй конструктор шаблона для неё в принципе не подходит
void foo() { std::cout<<"launch foo\n"; }
 
int main()
{
 
    std::cout << "Hello, world!\n";
 
    
    // но поскольку мы задейстсвовали именно первый конструктор
    // и не использовали второй конструктор
    example< void(*)() >
        ex(foo);
    
    // то второй конструктор оказался не инстанцированным
    // то бишь, в инстанс example< void(*)() >
    // попал только один конструктор
    
    // поэтому, нет никаких ошибок компиляции
    
    // а вот если расскоментировать эту строчку
    //example< void(*)() > ex2(foo, 10);
    
    // тогда в инстанс шаблона попадут оба конструктора
    // и код не скомпилируется
    // ведь функцию foo нельзя вызвать с аргументом
}

template<T> void foo() 
{ std::cout<<typeid(T).name()<<std::endl; }

void foo() 
{ std::cout<<typeid(int).name()<<std::endl; }

template<T> void foo() 
{ std::cout<<typeid(T).name()<<std::endl; }
 
template<> void foo<int>() 
{ std::cout<<typeid(int).name()<<std::endl; }