template_specialisation.cpp

template_specialisation.cpp

@@ -0,0 +1,119 @@
+/* Check cf5-opt.vim defs.
+VIM: let g:lcppflags="-std=c++11 -O2 -pthread"
+VIM: let g:wcppflags="/O2 /EHsc /DWIN32"
+VIM: let g:cppflags=g:Iboost.g:Itbb
+VIM: let g:ldflags=g:Lboost.g:Ltbb.g:tbbmalloc.g:tbbmproxy
+VIM: let g:ldlibpath=g:Bboost.g:Btbb
+VIM: let g:argv=""
+VIM-: let g:cf5output=0
+*/
+#include <iostream>
+#include <exception>
+
+template <int a>
+struct A
+{
+	A()
+	{
+		std::cout << "A<" << a << ">" << std::endl;
+	}
+};
+
+template <>
+struct A<5>
+{
+	A()
+	{
+		std::cout << "special A<5>" << std::endl;
+	}
+};
+
+template <class b, int a>
+struct B
+{
+	B()
+	{
+		std::cout << "B<" << a << ">" << std::endl;
+	}
+};
+
+template <class b>
+struct B<b,5>
+{
+	B()
+	{
+		std::cout << "special B<5>" << std::endl;
+	}
+};
+
+template <int a>
+void f()
+{
+	std::cout << "f<" << a << ">()" << std::endl;
+}
+
+template <>
+void f<5>()
+{
+	std::cout << "special f<5>()" << std::endl;
+}
+
+template <class b, int a>
+void g()
+{
+	std::cout << "g<" << a << ">()" << std::endl;
+}
+
+/*
+ * no partial specialisation for functions.
+template <class b>
+void g<b,5>()
+{
+	std::cout << "special g<5>()" << std::endl;
+}
+*/
+template <>
+void g<void,5>()
+{
+	std::cout << "special g<void,5>()" << std::endl;
+}
+
+int main ( void )
+{try{
+
+	A<1> a1;
+	A<2> a2;
+	A<5> a5;
+	A<6> a6;
+	
+	B<void,1> b1;
+	B<void,2> b2;
+	B<void,5> b5;
+	B<void,6> b6;
+
+	f<1>();
+	f<2>();
+	f<5>();
+	f<6>();
+
+	g<void,1>();
+	g<void,2>();
+	g<void,5>();
+	g<int,5>();
+	g<void,6>();
+
+	return 0;
+}
+catch ( const std::exception& e )
+{
+	std::cerr << std::endl
+			<< "std::exception(\"" << e.what() << "\")." << std::endl;
+	return 2;
+}
+catch ( ... )
+{
+	std::cerr  << std::endl
+			<< "unknown exception." << std::endl;
+	return 1;
+}}
+