FilesExpand file tree

 master

/

example76.cpp

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

53 lines (39 loc) · 1.3 KB

 master

/

example76.cpp

Copy path

Top

File metadata and controls

• Code
• Blame

53 lines (39 loc) · 1.3 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

/*

Copyright David Abrahams 2003-2004

Copyright Aleksey Gurtovoy 2003-2004

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)

This file was automatically extracted from the source of

"C++ Template Metaprogramming", by David Abrahams and

Aleksey Gurtovoy.

It was built successfully with GCC 3.4.2 on Windows using

the following command:

g++ -I..\..\boost_1_32_0 -c -o%TEMP%\metaprogram-chapter5-example76.o example76.cpp

*/

#include <boost/mpl/map.hpp>

#include <boost/mpl/pair.hpp>

#include <boost/mpl/begin_end.hpp>

#include <boost/mpl/has_key.hpp>

#include <boost/mpl/key_type.hpp>

#include <boost/mpl/deref.hpp>

#include <boost/mpl/placeholders.hpp>

#include <boost/mpl/assert.hpp>

#include <boost/static_assert.hpp>

namespace mpl = boost::mpl;

using namespace mpl::placeholders;

typedef mpl::map1<mpl::pair<int,int> > S;

typedef int k;

typedef int k2;

typedef mpl::pair<int,int> t;

typedef mpl::begin<S>::type pos1;

typedef pos1 pos2;

enum { tst=

mpl::has_key<

S

, mpl::key_type<

S

, mpl::deref<pos1>::type

>::type

>::value

}; BOOST_STATIC_ASSERT(tst);