feedc0de/boost_concept_check
1
0
Fork 0
forked from boostorg/concept_check
Code Pull Requests Activity

Improve visibility of concept failure messages

Browse Source 
[SVN r47797]
This commit is contained in:
Dave Abrahams
2008-07-25 09:38:53 +00:00
parent 5c06a2ea0b
commit 63c674c575
1 changed files with 23 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

25
include/boost/concept/detail/msvc.hpp Executable file → Normal file
View File

@@ -14,6 +14,7 @@
namespace boost { namespace concept { namespace boost { namespace concept {
template <class Model> template <class Model>
struct check struct check
{ {
@@ -22,7 +23,19 @@ struct check
x->~Model(); x->~Model();
} }
}; };
# ifndef BOOST_NO_PARTIAL_SPECIALIZATION
struct failed {};
template <class Model>
struct check<failed ************ Model::************>
{
virtual void failed(Model* x)
{
x->~Model();
}
};
# endif
# ifdef BOOST_OLD_CONCEPT_SUPPORT # ifdef BOOST_OLD_CONCEPT_SUPPORT
namespace detail namespace detail
@@ -38,7 +51,11 @@ struct require
: mpl::if_c< : mpl::if_c<
not_satisfied<Model>::value not_satisfied<Model>::value
, detail::constraint , detail::constraint
# ifndef BOOST_NO_PARTIAL_SPECIALIZATION
, check<Model> , check<Model>
# else
, check<failed ************ Model::************>
# endif
>::type >::type
{}; {};
@@ -46,7 +63,11 @@ struct require
template <class Model> template <class Model>
struct require struct require
: check<Model> # ifndef BOOST_NO_PARTIAL_SPECIALIZATION
: check<Model>
# else
: check<failed ************ Model::************>
# endif
{}; {};
# endif # endif