Có lý do nào để sử dụng ":: mẫu" không?

Question

Bạn có thể sử dụng từ khóa template khi nhận được một tên mẫu từ một namespace toàn cục:

template <class T> void function_template(); 

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

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

Nhưng mã này có thể biên dịch mà không có nó. Các tình huống trong đó người ta có thể muốn làm điều này là gì?

Answer 1

tôi có thể nghĩ đến một nơi, nhưng tôi hầu như không nghĩ rằng nó sẽ được phổ biến:

#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 
} 

Output

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

tôi sẽ nhét một số điều này trong một không gian tên vô danh đến thực sự mang ý nghĩa không tầm thường đến :: nhưng điều này có vẻ là đủ nên tôi đã bỏ nó ra.