Bagaimana saya bisa mencegah C ++ menebak argumen templat kedua?

Saya menggunakan pustaka C ++ ( strf ) yang, di suatu tempat di dalamnya, memiliki kode berikut:

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

Sekarang, saya ingin menggunakan strf::range<const char*>(some_char_ptr, some_char_ptr + some_length)kode saya. Tetapi jika saya melakukannya, saya mendapatkan kesalahan berikut (dengan 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)

The perpustakaan kode mungkin dapat diubah untuk menghindari ini (misalnya menggunakan:

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)

untuk memastikan Rangebukan pointer); tapi saya tidak bisa melakukan perubahan itu sekarang. Sebagai gantinya, saya ingin menunjukkan ke kompiler bahwa saya benar-benar bermaksud hanya memiliki satu argumen templat, bukan satu yang ditentukan dan satu lagi dideduksi.

Bisakah saya melakukan itu?

Akan menghargai jawaban untuk C ++ 11 dan C ++ 14; C ++ 17 jawaban yang melibatkan panduan deduksi kurang relevan tetapi jika Anda punya, silakan posting (untuk versi NVCC mendatang ...)

_{Pembaruan: Perpustakaan strf itu sendiri telah diperbarui untuk menghindari situasi ini, tetapi pertanyaannya tetap seperti yang ditanyakan.}

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

Kemudian panggil range1alih-alih strf::range.

range1_ptr<T>(...)selalu dapat digunakan untuk secara eksplisit memanggil templat yang mengambil satu argumen templat, tetapi tidak melakukan deduksi dari argumen. range1mereplikasi deduksi dari strf::rangetemplat asli .

Ini berfungsi, karena [temp.deduct.funcaddr] / 1 mengatakan bahwa pengurangan argumen templat ketika mengambil alamat suatu fungsi tanpa tipe target konversi dilakukan pada setiap templat fungsi kandidat seolah-olah parameter dan daftar argumen dari panggilan hipotetis adalah kosong. Jadi argumen templat kedua tidak dapat disimpulkan untuk kelebihan kedua dengan dua parameter templat. Satu-satunya kandidat yang tersisa adalah kelebihan beban pertama, yang akan dipilih sebagai target dari pointer fungsi.

Selama tidak ada templat fungsi kandidat kedua yang template-id yang valid dengan hanya satu argumen dapat dibentuk, range1_ptrselalu dapat digunakan untuk memanggil templat fungsi mengambil satu argumen dengan jelas. Kalau tidak, instantiasi range1_ptrakan memberikan kesalahan karena ambiguitas.

Bagaimana dengan melewati sebuah using?

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

tfp x = &strf::range;

char const * a = "abcd";

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

Sebuah solusi adalah

1) pertama-tama, Anda harus menentukan tipe untuk argumen kedua, misalnya (char *)(some_char_ptr + some_length)

2) tidak digunakan constuntuk keduanya, ini bekerja dengan baik:

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

Anda dapat mencoba menggantinya (char *)dengan (const char *)di kiri ATAU di kanan, itu masih berfungsi.