Рассмотрим эти две функции: void foo() {} void bar() {} гарантировано ли, что &foo != &bar ? По аналогии, template<class T> void foo() { } гарантировано ли, что &foo<int> != &foo<double> ?...