fork download
copy 
  1. #include <iostream>
  2. #include <type_traits>
  3. using namespace std;
  4.  
  5. template<class... Ts>
  6. void get_range(){}
  7.  
  8. auto x = [](auto){};
  9.  
  10. template<class... Ts, class F>
  11. void update(F f){
  12. 	static_assert(sizeof...(Ts) == 2, "");
  13. 	static_assert(std::is_same<decltype(f), decltype(x)>{}, "");
  14. 	get_range<Ts...>();
  15. }
  16.  
  17. int main() {
  18.  
  19. 	update<int,float>(x);
  20. 	return 0;
  21. }
Success #stdin #stdout 0s 3456KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
Standard output is empty
https://ideone.com/PBKF46
language:
C++14 (gcc 8.3)
created:
8 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!