Làm cách nào tôi có thể ngăn C ++ đoán đối số mẫu thứ hai?

Tôi đang sử dụng thư viện C ++ ( strf ), ở đâu đó trong đó, có đoạn mã sau:

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

Bây giờ, tôi muốn sử dụng strf::range<const char*>(some_char_ptr, some_char_ptr + some_length)trong mã của tôi. Nhưng nếu tôi làm như vậy, tôi sẽ gặp lỗi sau (với NVCC của 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)

Các thư viện đang có lẽ có thể được thay đổi để tránh điều này (ví dụ sử dụng:

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)

để đảm bảo Rangekhông phải là một con trỏ); nhưng tôi không thể thay đổi ngay bây giờ. Thay vào đó, tôi muốn bằng cách nào đó chỉ ra cho trình biên dịch rằng tôi thực sự có nghĩa là chỉ có một đối số mẫu, không phải là một đối số được chỉ định và một đối số khác được suy ra.

Tôi có thể làm điều đó?

Sẽ đánh giá cao câu trả lời cho C ++ 11 và C ++ 14; C ++ 17 câu trả lời liên quan đến hướng dẫn khấu trừ ít liên quan hơn nhưng nếu bạn có một câu hỏi, vui lòng đăng nó (cho các phiên bản NVCC trong tương lai ...)

_{Cập nhật: Bản thân thư viện strf đã được cập nhật để tránh tình trạng này, nhưng câu hỏi vẫn được đặt ra.}

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

Sau đó gọi range1thay strf::range.

range1_ptr<T>(...)luôn luôn có thể được sử dụng để gọi một cách rõ ràng mẫu lấy một đối số mẫu, nhưng không thực hiện bất kỳ suy luận nào từ các đối số. range1nhân rộng các khoản khấu trừ từ strf::rangemẫu ban đầu .

Điều này hoạt động, bởi vì [temp.deduct.funcaddr] / 1 nói rằng việc khấu trừ đối số khuôn mẫu khi lấy địa chỉ của hàm mà không có loại chuyển đổi đích được thực hiện trên mỗi mẫu hàm ứng cử viên như thể danh sách tham số và đối số của một cuộc gọi giả định là trống. Vì vậy, đối số mẫu thứ hai không thể được suy ra cho quá tải thứ hai với hai tham số mẫu. Ứng cử viên duy nhất còn lại là quá tải đầu tiên, sẽ được chọn làm mục tiêu của con trỏ hàm.

Miễn là không có mẫu hàm ứng cử viên thứ hai mà id mẫu hợp lệ chỉ có một đối số có thể được tạo, range1_ptrluôn có thể được sử dụng để gọi mẫu hàm lấy một đối số một cách rõ ràng. Nếu không, việc khởi tạo range1_ptrsẽ đưa ra một lỗi vì sự mơ hồ.

Còn việc đi qua a usingthì sao?

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

tfp x = &strf::range;

char const * a = "abcd";

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

Một giải pháp là

1) trước hết, bạn nên chỉ định loại cho đối số thứ hai, ví dụ: (char *)(some_char_ptr + some_length)

2) không sử dụng constcho cả hai, điều này hoạt động tốt:

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

Bạn có thể thử thay thế (char *)bằng (const char *)bên trái HOẶC bên phải, nó vẫn hoạt động.