c – 做一个static_assert,一个模板类型是另一个模板

概述我怎么这样static_assert？可能Boost支持它,如果不是C或C 11中的新功能？ template<T>struct foo {};template<FooType>struct bar { static_assert(FooType is indeed foo<T> for some T,"failure"); //how?}; 你可以沿着这些方向做点事情.给定一个可以 我怎么这样static_assert？可能Boost支持它,如果不是C或C 11中的新功能？

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!}

这是一个live example.

总结

以上是内存溢出为你收集整理的c – 做一个static_assert,一个模板类型是另一个模板全部内容，希望文章能够帮你解决c – 做一个static_assert,一个模板类型是另一个模板所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。