mirror of
https://github.com/boostorg/concept_check.git
synced 2026-07-10 10:20:54 +02:00
Dave Abrahams
7dd50ca8f2
Changed BOOST_CONCEPT_WHERE to BOOST_CONCEPT_REQUIRES to be more consistent with the current C++0x proposal, which now uses a "requires" keyword in lieu of "where." Factored GCC workarounds into the BOOST_CONCEPT_USAGE macro. [SVN r40769]
44 lines
1.1 KiB
C++
Executable File
44 lines
1.1 KiB
C++
Executable File
// Copyright David Abrahams 2006. Distributed under the Boost
|
|
// Software License, Version 1.0. (See accompanying
|
|
// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
|
|
#ifndef BOOST_CONCEPT_USAGE_DWA2006919_HPP
|
|
# define BOOST_CONCEPT_USAGE_DWA2006919_HPP
|
|
|
|
# include <boost/concept/assert.hpp>
|
|
# include <boost/detail/workaround.hpp>
|
|
|
|
namespace boost { namespace concept {
|
|
|
|
# if BOOST_WORKAROUND(__GNUC__, == 2)
|
|
|
|
# define BOOST_CONCEPT_USAGE(model) ~model()
|
|
|
|
# else
|
|
|
|
template <class Model>
|
|
struct usage_requirements
|
|
{
|
|
~usage_requirements() { ((Model*)0)->~Model(); }
|
|
};
|
|
|
|
# if BOOST_WORKAROUND(__GNUC__, <= 3)
|
|
|
|
# define BOOST_CONCEPT_USAGE(model) \
|
|
model(); /* at least 2.96 and 3.4.3 both need this :( */ \
|
|
BOOST_CONCEPT_ASSERT((boost::concept::usage_requirements<model>)); \
|
|
~model()
|
|
|
|
# else
|
|
|
|
# define BOOST_CONCEPT_USAGE(model) \
|
|
BOOST_CONCEPT_ASSERT((boost::concept::usage_requirements<model>)); \
|
|
~model()
|
|
|
|
# endif
|
|
|
|
# endif
|
|
|
|
}} // namespace boost::concept
|
|
|
|
#endif // BOOST_CONCEPT_USAGE_DWA2006919_HPP
|