Wie kann ich verhindern, dass C ++ ein zweites Vorlagenargument errät?

Ich verwende eine C ++ - Bibliothek ( strf ), die irgendwo darin den folgenden Code enthält:

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) { /* ... */ }
}

Jetzt möchte ich strf::range<const char*>(some_char_ptr, some_char_ptr + some_length)in meinem Code verwenden. In diesem Fall wird jedoch der folgende Fehler angezeigt (mit dem NVCC von CUDA 10.1):

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)

Der Bibliothekscode kann wahrscheinlich geändert werden, um dies zu vermeiden (z. B. mit:

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)

zu gewährleisten Rangeist kein Zeiger); Aber ich kann das jetzt nicht ändern. Stattdessen möchte ich dem Compiler irgendwie anzeigen, dass ich wirklich nur ein Vorlagenargument haben möchte, nicht eines angegeben und ein anderes abgeleitet.

Kann ich das machen?

Würde mich über Antworten für C ++ 11 und C ++ 14 freuen; C ++ 17-Antworten mit Abzugsleitfäden sind weniger relevant. Wenn Sie jedoch eine haben, veröffentlichen Sie diese bitte (für zukünftige NVCC-Versionen ...).

_{Update: Die strf-Bibliothek selbst wurde aktualisiert, um diese Situation zu umgehen, aber die Frage bleibt wie gestellt.}

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);
}

Dann rufen Sie range1statt strf::range.

range1_ptr<T>(...)kann immer verwendet werden, um die Vorlage explizit mit einem Vorlagenargument aufzurufen, führt jedoch keinen Abzug von den Argumenten durch. range1Repliziert den Abzug von der Originalvorlage strf::range.

Dies funktioniert, weil [temp.deduct.funcaddr] / 1 besagt, dass die Ableitung von Vorlagenargumenten, wenn die Adresse einer Funktion ohne der Konvertierung verwendet wird, für jede Kandidatenfunktionsvorlage so erfolgt, als ob die Parameter- und Argumentlisten eines hypothetischen Aufrufs wären leeren. Daher kann das zweite Vorlagenargument nicht für die zweite Überladung mit zwei Vorlagenparametern abgeleitet werden. Der einzige verbleibende Kandidat ist die erste Überladung, die als Ziel des Funktionszeigers ausgewählt wird.

Solange es keine zweite Kandidatenfunktionsvorlage gibt, für die eine gültige Vorlagen-ID mit nur einem Argument gebildet werden range1_ptrkann , kann immer verwendet werden, um die Funktionsvorlage mit einem Argument eindeutig aufzurufen. Andernfalls führt die Instanziierung von range1_ptraufgrund von Mehrdeutigkeiten zu einem Fehler.

Was ist mit einem Durchgang durch ein using?

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

tfp x = &strf::range;

char const * a = "abcd";

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

Eine Lösung ist

1) Zunächst sollten Sie den Typ für das zweite Argument angeben, z (char *)(some_char_ptr + some_length)

2) nicht constfür beide verwenden, das funktioniert gut:

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

Sie können versuchen , zu ersetzen , (char *)mit (const char *)links oder rechts an, es funktioniert immer noch.