Tại sao sử dụng gói tham số giá trị tích phân không được phép sau khi gói tham số kiểu trong C++ 11?

Question

Câu hỏi gần như không có ý nghĩa nếu không có ví dụ. Vì vậy, đây là những gì tôi đang cố gắng làm.

Nói chung C++ cho phép như sau:

template<class T, class U, T t, U u> 
void func() {} 

func<char, int, 'A', 10>(); 

Nhưng nó có vẻ như phần mở rộng variadic tự nhiên của nó không hoạt động.

template<class...T, T... t> 
void func() {} 

func<char, int, 'A', 10>(); 

Cả hai clang và g ++ 4.7 từ chối mã trên. Lỗi được hiển thị nơi diễn ra quá trình tạo bản đồ. Nó xuất hiện với tôi rằng hai danh sách variadic nên được phân tích cú pháp một cách rõ ràng bởi vì danh sách đầu tiên có các kiểu và một danh sách khác chỉ có giá trị tích phân.

Nếu ở trên không có nghĩa là để làm việc, tôi nghĩ rằng sau đây sẽ không hoạt động.

template <class Ret, class... Args, Ret (*func)(Args...)> 
class Foo {}; 

Tôi nghĩ mẫu Foo là một điều khá hữu ích để có.

Answer 1

(Thêm: Trả lời trực tiếp câu hỏi đầu tiên của bạn, bạn cũng có thể biến template<class...T, T... t> void func() {} thành mẫu bên trong. Mẫu này không hoạt động trong g ++ 4.6, nhưng trong clang 3.0, do đó, tôi một thời gian để tìm thấy nó)

Đặt một mẫu bên trong một mẫu:.

template<class ... T> 
struct func_types { 
    template <T ... t> 
    static void func_values() { 
     // This next line is just a demonstration, and 
     // would need to be changed for other types: 
     printf("%c %d\n", t...); 
    } 
}; 

int main() { 
    func_types<char, int> :: func_values<'A', 10>(); 
} 

là một mẫu-bên-một-mẫu chấp nhận được? Cách khác là sử dụng bộ dữ liệu với . . Tôi nghĩ rằng đây là doable, nhưng bạn có thể phải cuộn lớp tuple của riêng bạn (có vẻ như không phải là một make_tuple constexpr

Cuối cùng, bạn có thể có thể thực hiện mẫu Foo của bạn như sau:

template<typename Ret, typename ...Args> 
struct Foo { 
     template< Ret (*func)(Args...)> 
     struct Bar { 
       template<typename T...> 
       Bar(T&&... args) { 
         cout << "executing the function gives: " 
          << func(std::forward(args)...) << endl; 
       } 
     }; 
}; 

int main() { 
    Foo<size_t, const char*> :: Bar<strlen> test1("hi"); 
    Foo<int, const char*, const char*> :: Bar<strcmp> test2("compare","these"); 
} 

Mã sau này nằm trên ideone Để chứng minh, tôi đã triển khai một hàm tạo để chuyển tiếp hàm arg đến hàm đang mã hóa vào mẫu.

Answer 2

Bởi vì không ai nghĩ rằng sẽ rất đáng để có tính năng này. mẫu có ý định đơn giản và hiệu quả. atures werent bao gồm một trong hai.