Есть ли причина использовать «:: template»?

Question

Вы можете использовать ключевое слово template при получении имени шаблона из глобального пространства имен:

template <class T> void function_template(); 

template <class T> 
void h() 
{ 
    ::template function_template<T>(); 
} 

int main() { h<int>(); } 

Но этот код может скомпилировать без него. Каковы ситуации, в которых можно было бы это сделать?

Answer 1

я могу думать об одном месте, но я не думаю, что это будет общее:

#include <iostream> 

// simpile function template 
template<class T> 
void function_template(T) 
{ 
    std::cout << __PRETTY_FUNCTION__ << '\n'; 
} 

// overload (NOT specialized) 
void function_template(int value) 
{ 
    std::cout << __PRETTY_FUNCTION__ << '\n'; 
} 

int main() 
{ 
    function_template(0);    // calls overload 
    ::function_template(0);    // calls overload 
    ::template function_template(0); // calls template, deduces T 
} 

Выход

void function_template(int) 
void function_template(int) 
void function_template(T) [T = int] 

Я собирался набить некоторые из этого в анонимном пространстве имен на самом деле приносят нетривиальный смысл в ::, но этого, кажется, достаточно, поэтому я его оставил.