Việc mở rộng gói giá trị trống có khớp với gói loại hoặc tham số loại tùy chọn không?

Question

Tôi chỉ đang cố gắng để hack một số nhị phân là operator ""_b, nhưng bị kẹt cố gắng chấm dứt đệ quy. Làm thế nào để xác định một hàm có thể được gọi bằng cách sử dụng một danh sách tham số mẫu trống rỗng, không xung đột với quá tải gói tham số? Sau đó, cảm hứng: phù hợp với việc mở rộng gói sản phẩm nào đó để một cái gì đó wacky.

Nhưng GCC than phiền rằng các loại không tồn tại của danh sách đối số trống không đồng ý với các loại danh sách tham số không bắt buộc. Có phải nó phải hoạt động theo cách này?

template< char head, char ... tail > 
constexpr unsigned long long parse_binary() { 
    return ((head - '0') << sizeof ... (tail)) 
     + parse_binary< tail ... >(); // Error: no overload for termination. 
} 

template< typename = void > // I want this to match an empty pack of chars. 
// template< short = 0 > // even this would do. 
constexpr unsigned long long parse_binary() { 
    return 0; 
} 

template< char ... digits > 
constexpr unsigned long long operator ""_b() { 
    return parse_binary< digits ... >(); 
} 

#include <iostream> 

int main() { 
    std::cout << 010101_b << '\n'; 
} 

Lưu ý: Câu hỏi không được triển khai operator ""_b. Vấn đề đó có thể được giải quyết bằng cách mở rộng gói vào danh sách tham số và chuyển các loại std::integral_constant xung quanh.

Lưu ý 2: Mã này thực sự không hoạt động với điều chỉnh nhỏ; xem câu trả lời của tôi dưới đây. Nhưng điều đó không trực tiếp giải quyết câu hỏi. Hmm, có lẽ tôi nên chỉnh sửa thông tin này thay vì trả lời…

Answer 1

Không tin chính thức về việc tuân thủ khó khăn như vậy khớp, nhưng mã đã cho làm hoạt động nếu hai tình trạng quá tải được chuyển đổi.

Thứ hai, quá tải kết thúc không hiển thị cho lần đầu tiên bởi vì đầu tiên giải quyết tên tại thời điểm định nghĩa mẫu. Chỉ các cuộc gọi chức năng phụ thuộc vào tham số mẫu mới được tra cứu cho đến khi thời gian khởi tạo.

Chỉ cần được rõ ràng, làm việc này:

template< typename = void > // Define this one first! 
constexpr unsigned long long parse_binary() { 
    return 0; 
} 

template< char head, char ... tail > 
constexpr unsigned long long parse_binary() { 
    return ((head - '0') << sizeof ... (tail)) 
     + parse_binary< tail ... >(); // Bingo: overload found. 
} 

Answer 2

Sẽ không tốt hơn nếu chấm dứt đệ quy tại một ký tự?

template<char Ch> 
constexpr unsigned long long parse_binary(){ 
    return Ch - '0'; 
}; 

// second head to disambiguate 
template< char head1, char head2, char ... tail > 
constexpr unsigned long long parse_binary() { 
    return ((head1 - '0') << sizeof ... (tail)+1) + parse_binary< head2, tail ... >(); 
} 

Trong mọi trường hợp, vấn đề là parse_binary cho zero chars cần phải được khai báo trước khi phiên bản variadic, như Clang độc đáo chỉ ra:

error: call to function 'parse_binary' that is neither visible in 
     the template definition nor found by argument-dependent lookup 

// call trace... 

note: 'parse_binary' should be declared prior to the call site 
     constexpr unsigned long long parse_binary() {