强制功能模板/函数重载为特定类型

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。）