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)는 가상 호출의 매개 변수 및 인수 목록 것처럼 각 후보의 함수 템플릿에서 수행되는 변환의 대상 유형이없는 함수의 주소를 복용 때 템플릿 인수 공제가 말한다 빈. 따라서 두 개의 템플리트 매개 변수를 사용하여 두 번째 과부하에 대해 두 번째 템플리트 인수를 추론 할 수 없습니다. 남은 유일한 후보는 첫 번째 과부하이며 함수 포인터의 대상으로 선택됩니다.

하나의 인수 만있는 유효한 template-id를 구성 할 수있는 두 번째 후보 함수 템플리트가없는 한 range1_ptr항상 하나의 인수를 사용하여 함수 템플리트를 명확하게 호출하는 데 사용할 수 있습니다. 그렇지 않으면, 인스턴스화 range1_ptr하면 모호함으로 인해 오류가 발생합니다.

통과하는 것은 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 *)왼쪽 또는 오른쪽에, 그것은 여전히 작동합니다.