Як я можу запобігти відгадуванню 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)в своєму коді. Але якщо я це роблю, я отримую таку помилку (з NVCC 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)

Код бібліотеки, ймовірно, можна змінити, щоб уникнути цього (наприклад, використовуючи:

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 говорить, що виведення аргументу шаблону при прийнятті адреси функції без цільового типу перетворення робиться на кожному шаблоні функції кандидата, як ніби списки параметрів і аргументів гіпотетичного виклику були порожній. Отже, другий аргумент шаблону неможливо вивести для другого перевантаження двома параметрами шаблону. Єдиним кандидатом, що залишився, є перша перевантаження, яка буде обрана в якості цілі вказівника функції.

Поки немає другого шаблону функції кандидата, для якого може бути сформований дійсний ідентифікатор шаблону з лише одним аргументом, 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 *)зліва чи справа, він все ще працює.