模板函數檢查「is int」/「is double」/ etc

Question

我對C++模板語法有些不穩定，所以我不確定我想象的是否可能，如果是，對正確的語法不清楚。

我想實現像template<int> bool is(std::string&)，template<double> bool is(std::string&)等模板函數，這樣我可以打電話is <int> (...)或is <double> (...)代替isInt(...)或isDouble(...)，等這可能嗎？如果是這樣，你將如何編寫函數簽名？

隨着我的模板語法的微妙把握，我的嘗試是：

#include <iostream> 
#include <cstdlib> 

template<int> 
bool is(std::string& raw) 
{ 
    if (raw.empty()) return false; 
    char* p; 
    int num = strtol(raw.c_str(), &p, 10); 
    return ((*p != '\0') ? false : true); 
} 

int main(int argc, char* argv[]) 
{ 
    std::string str("42"); 
    std::cout << std::boolalpha << is <int> (str) << std::endl; 
    return 0; 
} 

這失敗，出現以下錯誤：

>g++ -g main.cpp 
main.cpp: In function ‘int main(int, char**)’: 
main.cpp:16:51: error: no matching function for call to ‘is(std::string&)’ 
    std::cout << std::boolalpha << is <int> (str) << std::endl; 
               ^
main.cpp:5:6: note: candidate: template<int <anonymous> > bool is(std::string&) 
bool is(std::string& raw) 
    ^
main.cpp:5:6: note: template argument deduction/substitution failed: 

Answer 1

我到您的文章承受評論，很容易做到這一點的方法是與使用std::istringstream類來分析一個簡單的模板：

template<typename T> 
bool is(std::string const& raw) { 
    std::istringstream parser(raw); 

    T t; parser >> t; 
    return !parser.fail() && parser.eof(); 
} 

明顯的警告是T必須是默認施工的。但從好的一面來說，上述內容也適用於用戶定義的類型，只要它們實現了operator >>即可。

Answer 2

您需要使用模板特此：

#include <iostream> 
#include <cstdlib> 

template<class T> bool is(std::string& raw) = delete; 

template<> 
bool is<int>(std::string& raw) 
{ 
    if (raw.empty()) return false; 
    char* p; 
    int num = strtol(raw.c_str(), &p, 10); 
    return ((*p != '\0') ? false : true); 
} 

int main(int argc, char* argv[]) 
{ 
    std::string str("42"); 
    std::cout << std::boolalpha << is <int> (str) << std::endl; 
    return 0; 
} 

您可以在here

中查看更多信息