C++ Mẫu Chức năng biến thể của loại đã biết

Question

Tôi hiện đang cố gắng thu hút đầu của mình xung quanh một số điều tôi có thể làm với hỗ trợ mẫu variadic. Giả sử tôi có một chức năng như thế này -

template <typename ... Args> 
void foo(Args ... a) 
{ 
    int len = sizeof...(tail); 
    int vals[] = {a...}; 
    /* Rest of function */ 
} 

/* Elsewhere */ 
foo(1, 2, 3, 4); 

Mã này hoạt động vì tôi cho rằng đối số sẽ là số nguyên, nhưng rõ ràng sẽ thất bại nếu tôi cung cấp cái gì khác. Nếu tôi biết rằng các gói thông số sẽ chứa một loại hình cụ thể trước, có một số cách mà tôi có thể làm mà không có khuôn mẫu và có một cái gì đó giống như -

void foo(int ... a) 

Tôi đã cố gắng làm điều này, nhưng trình biên dịch đưa ra một lỗi về foo là trường trống. Tôi biết rằng tôi cũng có thể truy cập các tham số trong gói thông qua đệ quy, nhưng tôi không chắc chắn điều này sẽ khắc phục được sự cố mà tôi có - cụ thể là tôi muốn có thể lấy một số biến đối số cùng loại.

Answer 1

Nếu bạn biết các loại trước đây, bạn có thể sử dụng chức năng quá tải với std:initializer_list:

#include <initializer_list> 
#include <iostream> 

void foo(std::initializer_list<int> l) 
{ 
    for (auto el : l) 
     // do something 
} 

void foo(std::initializer_list<float> l) 
{ 
} 

void foo(std::initializer_list<std::string> l) 
{ 
} 

int main() 
{ 
    foo({1, 2, 3, 4 }); 
    foo({1.1f, 2.1f, 3.1f, 4.1f }); 
    foo({ "foo", "bar", "foo", "foo" }); 
    return 0; 
} 

Nếu bạn sử dụng Visual Studio 2012, bạn có thể cần Visual C++ Compiler November 2012 CTP.

EDIT: Nếu bạn vẫn muốn sử dụng mẫu variadic, bạn có thể làm:

template <int ... Args> 
void foo() 
{ 
    int len = sizeof...(Args); 
    int vals[] = {Args...}; 
    // ... 
} 

// And 

foo<1, 2, 3, 4>(); 

Nhưng bạn phải nhớ rằng nó không phải đang làm việc với float và std::string ví dụ: bạn sẽ kết thúc với 'float': illegal type for non-type template parameter . float không hợp pháp như là non-type template parameter, điều này là để làm với độ chính xác, số dấu chấm động không thể được biểu diễn chính xác và khả năng bạn tham chiếu cùng loại có thể phụ thuộc vào cách số được biểu diễn.

Answer 2

Tôi hiện đang cố gắng làm quen với một số điều tôi có thể làm với hỗ trợ mẫu variadic.

Giả sử rằng bạn muốn thử nghiệm với các mẫu variadic, không tìm thấy giải pháp nào cho vấn đề của bạn, sau đó tôi khuyên bạn nên nhìn vào mã bên dưới:

#include <iostream> 

template<int ...Values> 
void foo2() 
{ 
    int len = sizeof...(Values); 
    int vals[] = {Values...}; 

    for (int i = 0; i < len; ++i) 
    { 
     std::cout << vals[i] << std::endl; 
    } 
} 

int main() 
{ 
    foo2<1, 2, 3, 4>(); 

    return 0; 
} 

Sự khác biệt giữa foo2 và bạn foo là bạn chuyển các tham số tới foo khi đang chạy và đến foo2 lúc biên dịch, vì vậy đối với mỗi bộ tham số bạn sử dụng, trình biên dịch sẽ tạo ra một hàm chức năng riêng biệt foo2.

Answer 3

này nên làm việc:

void foo(int); 

template<typename ...Args> 
void foo(int first, Args... more) 
{ 
    foo(first); 
    foo(std::forward(more)...); 
}