模板專業化與常量

Question

我顯然誤解有關模板特重要的東西，這是因爲：

template<typename type> const type getInfo(int i) { return 0; } 
template<> const char* getInfo<char*>(int i) { return nullptr; } 

失敗，編譯：

src/main.cpp:19:24: error: no function template matches function 
     template specialization 'getInfo' 

而

template<typename type> type getInfo(int i) { return 0; } 
template<> char* getInfo<char*>(int i) { return nullptr; } 

作品精細。我如何使用const和模板專業化？我的菜鳥錯誤是什麼？

我在鏗鏘聲++上使用C++ 11。

Answer 1

請注意，在第一個示例中，返回類型爲const type，因此const適用於整個類型。如果type是char*（如您的專業化），那麼返回類型是char * const。這編譯得很好：

template<typename type> const type getInfo(int i) { return 0; } 
template<> char* const getInfo<char*>(int i) { return nullptr; } 

這是有道理的 - 如果專門化類型作爲指針。爲什麼模板對指針指向的內容有任何意見？

但是，在這種情況下，我看不到有很多理由讓返回類型爲const。

Answer 2

如果您需要能夠返回字符串常量只是用這樣的：

template<typename type> type getInfo(int i) { return 0; } 
template<> const char* getInfo<const char*>(int i) { return nullptr; } 

你試圖做的是一樣的東西：

const int getInfo(int i) { return 0; } 

它並沒有多大意義。