C ++が2番目のテンプレート引数を推測しないようにするにはどうすればよいですか？

私は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ポインタでないことを確認するため）; 今は変更できません。代わりに、テンプレート引数を1つだけ指定し、1つは指定せず、もう1つは演繹しないことをコンパイラーに何らかの方法で示す必要があります。

それをしてもいいですか？

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>(...)常に1つのテンプレート引数を使用してテンプレートを明示的に呼び出すために使用できますが、引数からの推定は行いません。range1元のstrf::rangeテンプレートから控除を複製します。

これが機能するのは、[temp.deduct.funcaddr] / 1が、変換のターゲットタイプなしで関数のアドレスを取得するときのテンプレート引数の推定は、仮想呼び出しのパラメーターと引数のリストが空の。したがって、2番目のテンプレート引数は、2つのテンプレートパラメーターを持つ2番目のオーバーロードに対して推定できません。残っている唯一の候補は最初のオーバーロードであり、関数ポインターのターゲットとして選択されます。

引数が1つだけの有効なtemplate-idを形成できる2番目の候補関数テンプレートがない限り、range1_ptr常に1つの引数を取る関数テンプレートを明確に呼び出すために使用できます。そうしrange1_ptrないと、あいまいさのためにのインスタンス化でエラーが発生します。

を通過するのはusingどうですか？

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

tfp x = &strf::range;

char const * a = "abcd";

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

解決策は

1）まず、2番目の引数の型を指定する必要があります。例： (char *)(some_char_ptr + some_length)

2）const両方に使用しないでください、これはうまくいきます：

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

あなたが交換するために試みることができる(char *)と(const char *)左または右に、それはまだ動作します。