大佬教程收集整理的这篇文章主要介绍了c – 做一个static_assert,一个模板类型是另一个模板,大佬教程大佬觉得挺不错的,现在分享给大家,也给大家做个参考。
template<T> struct foo {}; template<FooType> struct bar { static_assert(FooType is indeed foo<T> for some T,"failure"); //how? };
#include <type_Traits> template<typename T,template<typename> class TT> struct is_instantiation_of : std::false_type { }; template<typename T,template<typename> class TT> struct is_instantiation_of<TT<T>,TT> : std::true_type { };
在您的程序中使用如下:
template<typename T> struct foo {}; template<typename FooType> struct bar { static_assert(is_instantiation_of<FooType,foo>::value,"failure"); }; int main() { bar<int> b; // ERROR! bar<foo<int>> b; // OK! }
如果需要,您可以推广这一点,以检测类是否是具有任意数量(类型)参数的模板实例,如下所示:
#include <type_Traits> template<template<typename...> class TT,typename T> struct is_instantiation_of : std::false_type { }; template<template<typename...> class TT,typename... Ts> struct is_instantiation_of<TT,TT<Ts...>> : std::true_type { }; template<typename FooType> struct bar { static_assert(is_instantiation_of<foo,FooType>::value,"failure"); };
然后,您可以在程序中使用它:
template<typename FooType> struct bar { static_assert(is_instantiation_of<foo,"failure"); }; int main() { bar<int> b; // ERROR! bar<foo<int>> b; // OK! }
以上是大佬教程为你收集整理的c – 做一个static_assert,一个模板类型是另一个模板全部内容,希望文章能够帮你解决c – 做一个static_assert,一个模板类型是另一个模板所遇到的程序开发问题。
如果觉得大佬教程网站内容还不错,欢迎将大佬教程推荐给程序员好友。
本图文内容来源于网友网络收集整理提供,作为学习参考使用,版权属于原作者。
如您有任何意见或建议可联系处理。小编QQ:384754419,请注明来意。