template <template <class, class> class trait, class sectp>
struct ValTrait2to1
{
	template <class type>
	struct Trait
	{
		enum{ Value = trait<type, sectp>::Value };
	};
};

template <class t1, class t2>
struct AreSame
{
	enum{ Value =  0  };
};

template <class t>
struct AreSame<t, t>
{
	enum{ Value =  1  };
};

template <template <class> class tr>
int f()
{
	return tr<int>::Value; //INTERNAL COMPILER ERROR
}

int main()
{
	f<ValTrait2to1<AreSame, int>::Trait>();
}

//Ну вот моя любимая ошибка...

template <class trait, class sectp>
struct ValTrait2to1 {
	template <class type>
	struct Trait {
		enum{ Value = typename trait::Trait<type, sectp>::Value };
	};
};

struct AreSame {
	template <class t1, class t2>
	struct Trait { enum{ Value =  0  }; };
};


template <class t>
struct AreSame::Trait<t, t> { enum{ Value =  1  }; };

template <class tr>
int f() {
	return typename tr::Trait<int>::Value;
}

int main() {
	f< ValTrait2to1<AreSame, int> >();
}

На сайте осуществляется обработка файлов cookie, необходимых для работы сайта, а также для анализа использования сайта и улучшения предоставляемых сервисов с использованием метрической программы Яндекс.Метрика.

Продолжая использовать сайт, вы даёте согласие на обработку файлов cookie, необходимых для работы сайта. Другие опции вы можете выбрать по своему усмотрению.

По нижеприведенным ссылкам мы можете ознакомиться с действующим на сайте пользовательским соглашением и политикой конфиденциальности.

Пользовательское соглашение
Политика конфиденциальности

	Необходимые cookie
	Cookie для сбора статистики
	Cookie для маркетинга и рекламы