強制功能模板/函數重載爲特定類型

Question

我有一個功能

foo(int, int, int, int/long long/_int64/double/long double/char *, int ONLY IF previous char * - otherwise unneeded)

問題是，字符*實現要比值類型，由於進行字符串拷貝不同。是的，這是一箇舊代碼的接口，所以我不能使用std :: string：/

目前，我已經把它作爲模板，並且有一個函數重載char *，並帶有額外的參數。但是，其他類型的所有操作在char *上也是有效的，所以如果調用者忘記了最後一個參數，則該函數默默地匹配模板，而不是產生錯誤的邏輯。

有沒有什麼辦法可以強制使用函數模板中的重載/使用默認參數/這將允許特定類型的不同簽名（額外參數），而不會默認匹配較小的簽名？

更多： 尚未獲得C++ 11的許可，但我很樂意看到使用它來幫助推動採用的建議。 沒有提升，但與上面相同

我也曾嘗試

return_type foo(int,int,int,typename std::enable_if<!std::is_pointer<T>::value, T>::type & value2update)

沒有任何的運氣。然後它聲稱帶雙&參數的呼叫無法匹配。

Answer 1

你可以讓你的鏈接幫助。聲明，但沒有定義，你的函數模板，char*超載頭：

template<typename T> 
foo(int, int, int, T); 
foo(int, int, int, char*, int); 

在實現文件（的.cpp/.cc的），同時實現：

template<typename T> 
foo(int, int, int, T) { ... } 

foo(int, int, int, char*, int) { ... } 

，並明確實例版本對於類型要接受：

template<> 
foo(int, int, int, int); 
template<> 
foo(int, int, int, long long); 
// etc. 

---

如果我理解正確，ScottLam b在評論中暗示了這樣的事情。頭文件：

foo(int, int, int, int); 
foo(int, int, int, long long); 
... 
foo(int, int, int, char*, int); 

執行文件（.cpp /。立方厘米）：

namespace { 
    template<typename T> 
    foo_tmpl(int, int, int, T) { ... } 
} 

foo(int, int, int, int) { foo_tmpl(...); } 
foo(int, int, int, long long) { foo_tmpl(...); } 
.... 
foo(int, int, int, char*, int) { ... } 

這是從使用報頭的人的觀點考慮，優選（它們可以立即看到哪些重載是可用的），但需要對實施側略微更多的工作。

Answer 2

使用一個輔助類string_ref捆綁的兩個參數爲您提供：

class string_ref { 
    const char *str; 
    std::size_t len; 
public: 
    string_ref(std::string const& s) 
    : str(s.c_str()), len(s.size()) {} 

    string_ref(const char *c, std::size_t len) 
    : str(c), len(len) {} 

    const char * c_str() const { return str; } 
    std::size_t size() const { return len; } 
}; 

然後

foo(int, int, int, int/long long/_int64/double/long double/const char*, [int]) 

只需添加

foo(int, int, int, string_ref) 
{ 
    foo(int, int, int, c_str(), size()); 
} 

一個string_ref可以創建從const char*和int沒有開銷，兩者都可以輕鬆提取以便進一步傳遞給C函數。

（命名string_ref是not random。）