c++-template-template-constexpr-if.cpp

#include <type_traits>
#include <typeinfo>
#include <cstdio>

template <
	template <class> class T,
	class A,
	class B
>
bool f(T<A>&& a, T<B>&& b)
{
	(void) a;
	(void) b;

	if constexpr (std::is_same<T<A>, T<B>>::value)
		return true;
	else
		return false;
}

template <typename A, typename B>
void test()
{
	printf("%s %s %s\n",
		typeid(A).name(),
		f(A{}, B{}) ? "==" : "!=",
		typeid(B).name()
	);
}

template <typename T> struct S { T v; };
template <typename T> struct U { T v; };

int main()
{
	test<S<int>, S<int>>();
	test<S<int>, S<float>>();
}