feedc0de/boost_typeof
1
0
Fork 0
forked from boostorg/typeof
Code Pull Requests Activity

temporary -- debugging cw-8.x

Browse Source 
[SVN r32503]
This commit is contained in:
Arkadiy Vertleyb
2006-02-02 02:45:46 +00:00
parent 4370fd31cb
commit d6c44f0332
2 changed files with 70 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
test/function_ptr_from_tpl.cpp
View File

@ -1,5 +1,28 @@
//#undef BOOST_TYPEOF_COMPLIANT
#include <boost/typeof/typeof.hpp>
#include <boost/utility/enable_if.hpp>
#include <boost/type_traits/function_traits.hpp>
namespace boost { namespace type_of {
#ifdef BOOST_TYPEOF_EMULATION
template<class T>
typename enable_if<
is_function<T>,
sizer<typename encode_type<BOOST_TYPEOF_VECTOR(0)<>, T*>::type>
>::type encode(T*);
#else
template<typename T>
char (*encode_start(T*))[encode_type<T*>::value];
#endif
}}
void f()
{}

47
test/type.cpp
View File

@ -1,3 +1,49 @@
#include <boost/typeof/typeof.hpp>
namespace boost { namespace type_of {
template<class T, class U>
struct test_wrapper{};
}}
namespace boost { namespace type_of { namespace {
template<class V , class P0 , class P1 >
struct encode_template_impl<V,boost::type_of::test_wrapper< P0 , P1> >
: push_back<V, mpl::size_t<5 * 0x10000 + 33> >
{ };
template<class Iter>
struct decode_template_impl<mpl::size_t<5 * 0x10000 + 33>, Iter>
{
typedef int P0;
typedef int P1;
typedef boost::type_of::test_wrapper< int , int > type;
typedef Iter iter;
};
template<class V , class P0 , class P1 >
struct encode_type_impl<V, boost::type_of::test_wrapper< P0 , P1> >
{
typedef typename push_back<V, boost::mpl::size_t<5 * 0x10000 + 33> >::type V0;
typedef typename encode_type< V0, P0 >::type V1;
typedef typename encode_type< V1, P1 >::type V2;
typedef V2 type;
};
template<class Iter>
struct decode_type_impl<boost::mpl::size_t<5 * 0x10000 + 33>, Iter>
{
typedef Iter iter0;
typedef decode_type< iter0 > d0;
typedef typename d0::type P0;
typedef typename d0::iter iter1;
typedef decode_type< iter1 > d1;
typedef typename d1::type P1;
typedef typename d1::iter iter2;
typedef boost::type_of::test_wrapper< P0 , P1> type;
typedef iter2 iter;
};
}}}
/*
#include "test.hpp"
#include BOOST_TYPEOF_INCREMENT_REGISTRATION_GROUP()
@ -5,3 +51,4 @@ struct A;
BOOST_TYPEOF_REGISTER_TYPE(A)
BOOST_STATIC_ASSERT(boost::type_of::test<A>::value);
*/