fork download

copy

#include <type_traits>
 
struct Test{
	template<class T>
	Test(T &t) : Test<T, typename std::is_const<T>::type>(t){}
 
	template<class T, class D>
	Test(T &t){ "t ist irgendwas!"; }
 
	template<class T, std::true_type>
	Test(T &t){ "t ist const!"; }
 
	template<class T, std::false_type>
	Test(T &t){ "t ist nicht const!"; }
};
 
int main() {
	// your code goes here
}

prog.cpp:10:25: error: ‘struct std::integral_constant<bool, true>’ is not a valid type for a template non-type parameter
  template<class T, std::true_type>
                         ^
prog.cpp:11:2: error: ‘template<class T, <declaration error> > Test::Test(T&)’ cannot be overloaded
  Test(T &t){ "t ist const!"; }
  ^
prog.cpp:8:2: error: with ‘template<class T, class D> Test::Test(T&)’
  Test(T &t){ "t ist irgendwas!"; }
  ^
prog.cpp:13:25: error: ‘struct std::integral_constant<bool, false>’ is not a valid type for a template non-type parameter
  template<class T, std::false_type>
                         ^
prog.cpp:14:2: error: ‘template<class T, <declaration error> > Test::Test(T&)’ cannot be overloaded
  Test(T &t){ "t ist nicht const!"; }
  ^
prog.cpp:8:2: error: with ‘template<class T, class D> Test::Test(T&)’
  Test(T &t){ "t ist irgendwas!"; }
  ^
prog.cpp: In constructor ‘Test::Test(T&)’:
prog.cpp:5:15: error: ‘struct Test Test::Test’ is not a non-static data member of ‘Test’
  Test(T &t) : Test<T, typename std::is_const<T>::type>(t){}
               ^
prog.cpp:5:19: error: expected ‘(’ before ‘<’ token
  Test(T &t) : Test<T, typename std::is_const<T>::type>(t){}
                   ^
prog.cpp:5:19: error: expected ‘{’ before ‘<’ token

Standard output is empty