fork download

copy

namespace NonTemplate
{
	struct T1{};
 
	struct T2
	{
		operator T1(){ return T1(); }
	};
 
	T2 operator*(const T1&, const T1&){ return T2(); }
}
 
namespace Template
{
	template <typename T>
	struct T1{};
 
	template <typename T>
	struct T2
	{
		operator T1<T>(){ return T1<T>(); }
	};
 
	template <typename T>
	T2<T> operator*(const T1<T>&, const T1<T>&){ return T2<T>(); }
 
	// Раскомментировать вот эту строчку и ошибки не будет
	// T2<int> operator*(const T1<int>&, const T1<int>&){ return T2<int>(); }
}
 
int main()
{
	{
		NonTemplate::T1 t1;
		NonTemplate::T2 t2;
		t1 * t2; // ok
	}
	{
		Template::T1<int> t1;
		Template::T2<int> t2;
		t1 * static_cast<Template::T1<int>>(t2); // ok
		t1 * t2; // error (я где-то косячу в объявлении шаблонов?)
	}
}

prog.cpp: In function 'int main()':
prog.cpp:42:6: error: no match for 'operator*' (operand types are 'Template::T1<int>' and 'Template::T2<int>')
   t1 * t2; // error (я где-то косячу в объявлении шаблонов?)
      ^
prog.cpp:25:8: note: candidate: template<class T> Template::T2<T> Template::operator*(const Template::T1<T>&, const Template::T1<T>&)
  T2<T> operator*(const T1<T>&, const T1<T>&){ return T2<T>(); }
        ^
prog.cpp:25:8: note:   template argument deduction/substitution failed:
prog.cpp:42:8: note:   'Template::T2<int>' is not derived from 'const Template::T1<T>'
   t1 * t2; // error (я где-то косячу в объявлении шаблонов?)
        ^

Standard output is empty