如何防止C ++猜测第二个模板参数？

我正在使用C ++库（ strf），该某个位置具有以下代码：

namespace strf {
template <typename ForwardIt>
inline auto range(ForwardIt begin, ForwardIt end) { /* ... */ }

template <typename Range, typename CharT>
inline auto range(const Range& range, const CharT* sep) { /* ... */ }
}

现在，我想使用 strf::range<const char*>(some_char_ptr, some_char_ptr + some_length)在我的代码中。但是，如果这样做，我将收到以下错误（使用CUDA 10.1的NVCC）：

error: more than one instance of overloaded function "strf::range" matches the argument list:
            function template "auto strf::range(ForwardIt, ForwardIt)"
            function template "auto strf::range(const Range &, const CharT *)"
            argument types are: (util::constexpr_string::const_iterator, util::constexpr_string::const_iterator)

的 库的代码也许可以被改变，以避免这一点（例如，使用：

inline auto range(const typename std::enable_if<not std::is_pointer<typename std::remove_cv<Range>::type>::value, Range &>::type range, const CharT* sep)

确保Range不是指针）；但我现在无法进行更改。相反，我想以某种方式向编译器指示，我实际上的意思是只具有一个模板参数，而不指定一个并推导出另一个。

我可以那样做吗？

希望能得到C ++ 11和C ++ 14的答案；涉及推导指南的C ++ 17答案不太相关，但如果有，请张贴（针对将来的NVCC版本...）

_{更新： strf库本身已经更新，可以避免这种情况，但是问题仍然存在。}

template<typename T>
inline constexpr auto range1_ptr = strf::range<T>;

template<typename T>
inline decltype(auto) range1(T begin, T end) {
    return range1_ptr<T>(begin, end);
}

然后打电话range1代替strf::range。

range1_ptr<T>(...) 总是可以使用一个模板参数来显式调用模板，但不会从参数中进行任何推导。 range1复制原始strf::range模板中的推论。

这行得通，因为 可行的 [temp.deduct.funcaddr] / 1表示，在不带转换目标类型的函数的地址处进行模板参数推导时，在每个候选函数模板上都进行了推定，就好像假设调用的参数和参数列表是空的。因此，无法通过两个模板参数推导第二次重载的第二个模板参数。剩下的唯一候选对象是第一个重载，它将被选作函数指针的目标。

只要没有第二个候选函数模板可以形成仅带有一个自变量的有效模板ID，range1_ptr就可以始终使用它来明确地调用带有一个自变量的函数模板。否则，range1_ptr由于不明确，实例化将产生错误。

通过a using呢？

using tfp = void(*)(char const *, char const *);

tfp x = &strf::range;

char const * a = "abcd";

(*x)(a, a+2);

一个解决方案是

1）首先，您应该为第二个参数指定类型，例如 (char *)(some_char_ptr + some_length)

2）请勿同时使用const，效果很好：

strf::range((char *)some_char_ptr, (char *)(some_char_ptr + some_length));

您可以尝试(char *)用(const char *)左侧或右侧替换为，但仍可以使用。