爲什麼不重載函數綁定到更具體的超載？

Question

考慮以下重載函數：

template <class T> 
void foo(const T& v) 
{ 
    std::cout << "Generic version" << std::endl; 
} 

void foo(std::pair<const void*, std::size_t> p) 
{ 
    std::cout << "Pair version" << std::endl; 
} 

下面，我預計第二超載（當一個接受一個std::pair）被稱爲：

int main() 
{ 
    const void* buf = 0; 
    std::size_t sz = 0; 
    foo(std::make_pair(buf, sz)); 
} 

然而，這段代碼實際上調用通用版。爲什麼它沒有綁定到特別需要std::pair的過載？這是一個編譯器錯誤？我用一個很老的編譯器GCC 4.1.2

Answer 1

• 您必須聲明你的專門的功能爲模板
• 你的專業參數類型必須遵循模板參數（即是一個const引用），以及。

嘗試

template <> 
void foo(const std::pair<const void*, std::size_t>& p) 
{ 
    ... 
}