Hi, Dave! I suggest to have some concept checks for integral template parameters. What if I which to check at compile time that an integer value passed to template is greater 0. I can do this with BOOST_MPL_ASSERT or I could use some descriptive concept check like stated below. With Kind Regards, Ovanes Markarian On Thu, November 2, 2006 19:43, David Abrahams wrote:
"Ovanes Markarian" <om_boost@keywallet.com> writes:
Hi!
Thanks for the great library. Currently I have to deal with constants as template parameters and I wonder, why there is no library to model constant concepts. Like:
template<class T, size_t MAX_SIZE> struct Allocator { Allocator()throw(); };
template<class T, size_t MAX_SIZE> Allocator<T,MAX_SIZE>::Allocator()throw() { boost::function_requires<ConstGreaterThen<MAX_SIZE,O> >(); }
I understand I could model it with BOOST_MPL_ASSERT etc. But would not it be better to unite all these features in one lib?
I'm not sure what you're suggesting, sorry.
-- Dave Abrahams Boost Consulting www.boost-consulting.com
_______________________________________________ Boost-users mailing list Boost-users@lists.boost.org http://lists.boost.org/mailman/listinfo.cgi/boost-users