强制特定类型的函数模板/函数重载

Question

我有一个函数

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

问题是，由于需要字符串副本，char * 的实现与值类型不同。是的，这是旧代码的接口，所以我不能使用 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.

---

如果我理解正确，ScottLamb 在 cmets 中提出了类似的建议。标题：

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

实施文件（.cpp/.cc）：

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