Template khấu trừ cho các đối số lambda mẫu variadic

Question

Với mẫu variadic sau:

template<typename... Params> 
void fun(void(*f)(Params...), Params... params) { 
    f(params...); 
} 

int main() { 
    fun(+[](int a, int b) {}, 2, 3); 
} 

Đối với bây giờ khi gọi fun với một lambda tôi cần phải xác định loại của tất cả các đối số lambda một cách rõ ràng. Có vẻ như dư thừa kể từ khi int, int có thể được suy ra từ 2, 3. Có cách nào để làm cho nó ngắn gọn hơn và tự động hơn không?

Tôi muốn sau đây để làm việc, nhưng nó không:

template<typename... Params> 
void fun(void(*f)(Params...), Params... params) { 
    f(params...); 
} 

int main() { 
    fun(+[](auto a, auto b) {}, 2, 3); 
} 

Tôi đang biên soạn với g++ 5.4.0 và -std=c++14.

Answer 1

Đi chức năng bởi T thay vì bằng con trỏ:

template<typename T, typename... Params> 
void fun(T f, Params... params) { 
    f(params...); 
} 

int main() { 
    fun([](auto a, auto b) {}, 2, 3); 
} 

Bằng cách đó, trình biên dịch có thể chọn quá tải là quyền để gọi tại địa điểm cuộc gọi thay vì nếu bên các nhà điều hành +. Như đã nói trong bình luận, không có toán tử + được định nghĩa cho lambdas chung.

---

Ngoài ra, bạn có thể vô hiệu hóa các trình biên dịch từ cố gắng để suy Params từ con trỏ chức năng bằng cách sử dụng một bí danh sắc, nhưng tôi thực sự không khuyên bạn nên nó. Dù sao, ở đây bạn đi:

template<typename T> 
struct identity { using type = T; }; 

template<typename T> 
using identity_t = typename identity<T>::type; 

template<typename... Params> 
void fun(void(*f)(identity_t<Params>...), Params... params) { 
    f(params...); 
} 

int main() { 
    // v----- no unary +. That operator is not defined for generic lambdas. 
    fun([](auto a, auto b) {}, 2, 3); 
}