1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414 |
- // Copyright (C) 2006-2009, 2012 Alexander Nasonov
- // Copyright (C) 2012 Lorenzo Caminiti
- // Distributed under the Boost Software License, Version 1.0
- // (see accompanying file LICENSE_1_0.txt or a copy at
- // http://www.boost.org/LICENSE_1_0.txt)
- // Home at http://www.boost.org/libs/scope_exit
- #ifndef BOOST_SCOPE_EXIT_HPP
- #define BOOST_SCOPE_EXIT_HPP
- #ifndef DOXYGEN
- #include <boost/config/workaround.hpp>
- #include <boost/type_traits/integral_constant.hpp>
- #include <boost/type_traits/enable_if.hpp>
- #include <boost/function.hpp>
- #include <boost/typeof/typeof.hpp>
- #include <boost/config.hpp>
- #include <boost/preprocessor/cat.hpp>
- #include <boost/preprocessor/control/iif.hpp>
- #include <boost/preprocessor/control/expr_iif.hpp>
- #include <boost/preprocessor/comparison/equal.hpp>
- #include <boost/preprocessor/logical/bitor.hpp>
- #include <boost/preprocessor/logical/bitand.hpp>
- #include <boost/preprocessor/facilities/empty.hpp>
- #include <boost/preprocessor/facilities/is_empty.hpp>
- #include <boost/preprocessor/facilities/identity.hpp>
- #include <boost/preprocessor/punctuation/comma_if.hpp>
- #include <boost/preprocessor/punctuation/paren_if.hpp>
- #include <boost/preprocessor/seq/cat.hpp>
- #include <boost/preprocessor/seq/size.hpp>
- #include <boost/preprocessor/seq/to_tuple.hpp>
- #include <boost/preprocessor/tuple/elem.hpp>
- #include <boost/preprocessor/tuple/eat.hpp>
- #include <boost/preprocessor/tuple/to_list.hpp>
- #include <boost/preprocessor/list/append.hpp>
- #include <boost/preprocessor/list/fold_left.hpp>
- #include <boost/preprocessor/list/enum.hpp>
- #include <boost/preprocessor/list/adt.hpp>
- #include <boost/preprocessor/list/for_each_i.hpp>
- #include <boost/preprocessor/detail/is_unary.hpp>
- // PRIVATE/PROTECTED //
- // NOTE: AUX prefix and aux namespace mark "private" symbols that shall be used
- // only within this library; DETAIL prefix and detail namespace mark "protected"
- // symbols that can be used by other Boost libraries but not outside Boost.
- // WARNING: BOOST_SCOPE_EXIT_AUX_GCC also used by some regression test.
- #if defined(__GNUC__) && !defined(BOOST_INTEL)
- # define BOOST_SCOPE_EXIT_AUX_GCC (__GNUC__ * 100 + __GNUC_MINOR__)
- #else
- # define BOOST_SCOPE_EXIT_AUX_GCC 0
- #endif
- #if BOOST_WORKAROUND(BOOST_SCOPE_EXIT_AUX_GCC, BOOST_TESTED_AT(413))
- # define BOOST_SCOPE_EXIT_AUX_TPL_GCC_WORKAROUND_01 1
- #else
- # define BOOST_SCOPE_EXIT_AUX_TPL_GCC_WORKAROUND_01 0
- #endif
- #if BOOST_MSVC && (BOOST_MSVC <= 1900)
- # define BOOST_SCOPE_EXIT_AUX_TYPEOF_THIS_MSVC_WORKAROUND_01 1
- #else
- # define BOOST_SCOPE_EXIT_AUX_TYPEOF_THIS_MSVC_WORKAROUND_01 0
- #endif
- // MSVC has problems expanding __LINE__ so use (the non standard) __COUNTER__.
- #ifdef BOOST_MSVC
- # define BOOST_SCOPE_EXIT_AUX_PP_LINE_COUNTER __COUNTER__
- #else
- # define BOOST_SCOPE_EXIT_AUX_PP_LINE_COUNTER __LINE__
- #endif
- // Preprocessor "keyword" detection.
- // These are not a local macros, do not #undefine them (these are used by the
- // ..._BACK macros below).
- #define this_BOOST_SCOPE_EXIT_AUX_PP_KEYWORD_THISUNDERSCORE_IS (1) /* unary */
- #define void_BOOST_SCOPE_EXIT_AUX_PP_KEYWORD_VOID_IS (1) /* unary */
- #define BOOST_SCOPE_EXIT_AUX_PP_KEYWORD_IS_BACK_(token, checking_postfix) \
- BOOST_PP_IS_UNARY(BOOST_PP_CAT(token, checking_postfix))
- #define BOOST_SCOPE_EXIT_AUX_PP_KEYWORD_IS_THISUNDERSCORE_BACK(token) \
- BOOST_SCOPE_EXIT_AUX_PP_KEYWORD_IS_BACK_(token, \
- BOOST_SCOPE_EXIT_AUX_PP_KEYWORD_THISUNDERSCORE_IS)
- #define BOOST_SCOPE_EXIT_AUX_PP_KEYWORD_IS_VOID_BACK(token) \
- BOOST_SCOPE_EXIT_AUX_PP_KEYWORD_IS_BACK_(token, \
- _BOOST_SCOPE_EXIT_AUX_PP_KEYWORD_VOID_IS)
- // Preprocessor "void-list".
- // NOTE: Empty list must always be represented as void (which is also a way to
- // specify no function parameter) and it can never be empty because (1)
- // IS_EMPTY(&var) fails (because of the leading non alphanumeric symbol) and
- // (2) some compilers (MSVC) fail to correctly pass empty macro parameters
- // even if they support variadic macros. Therefore, always using void to
- // represent is more portable.
- // Argument: (token1)...
- #define BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST_FROM_SEQ_(unused, seq) \
- BOOST_PP_TUPLE_TO_LIST(BOOST_PP_SEQ_SIZE(seq), BOOST_PP_SEQ_TO_TUPLE(seq))
- // Token: void | token1
- #define BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST_HANDLE_VOID_( \
- is_void_macro, token) \
- BOOST_PP_IIF(is_void_macro(token), \
- BOOST_PP_NIL \
- , \
- (token, BOOST_PP_NIL) \
- )
- // Token: (a)(b)... | empty | void | token
- #define BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST_HANDLE_SEQ_( \
- is_void_macro, token) \
- BOOST_PP_IIF(BOOST_PP_IS_UNARY(token), /* unary paren (a)... */ \
- BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST_FROM_SEQ_ \
- , \
- BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST_HANDLE_VOID_ \
- )(is_void_macro, token)
- #define BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST_NEVER_(tokens) \
- 0 /* void check always returns false */
- #ifdef BOOST_NO_CXX11_VARIADIC_MACROS
- #define BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST_(is_void_macro, seq) \
- BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST_HANDLE_SEQ_(is_void_macro, seq)
- // Expand `void | (a)(b)...` to pp-list `NIL | (a, (b, NIL))`.
- #define BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST(sign) \
- BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST_( \
- BOOST_SCOPE_EXIT_AUX_PP_KEYWORD_IS_VOID_BACK, sign)
- // Expand `(a)(b)...` to pp-list `(a, (b, NIL))`.
- #define BOOST_SCOPE_EXIT_AUX_PP_NON_VOID_LIST(seq) \
- BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST_( \
- BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST_NEVER_, seq)
- #else // VARIADICS
- // FUTURE: Replace this with BOOST_PP_VARIADIC_SIZE when and if
- // BOOST_PP_VARIAIDCS detection will match !BOOST_NO_CXX11_VARIADIC_MACROS (for
- // now Boost.Preprocessor and Boost.Config disagree on detecting compiler
- // variadic support while this VARIADIC_SIZE works on compilers not detected by
- // PP).
- #if BOOST_MSVC
- # define BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST_VARIADIC_SIZE_(...) \
- BOOST_PP_CAT(BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST_VARIADIC_SIZE_I_(__VA_ARGS__, 64, 63, 62, 61, 60, 59, 58, 57, 56, 55, 54, 53, 52, 51, 50, 49, 48, 47, 46, 45, 44, 43, 42, 41, 40, 39, 38, 37, 36, 35, 34, 33, 32, 31, 30, 29, 28, 27, 26, 25, 24, 23, 22, 21, 20, 19, 18, 17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1,),)
- #else // MSVC
- # define BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST_VARIADIC_SIZE_(...) \
- BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST_VARIADIC_SIZE_I_(__VA_ARGS__, 64, 63, 62, 61, 60, 59, 58, 57, 56, 55, 54, 53, 52, 51, 50, 49, 48, 47, 46, 45, 44, 43, 42, 41, 40, 39, 38, 37, 36, 35, 34, 33, 32, 31, 30, 29, 28, 27, 26, 25, 24, 23, 22, 21, 20, 19, 18, 17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1,)
- #endif // MSVC
- #define BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST_VARIADIC_SIZE_I_(e0, e1, e2, e3, e4, e5, e6, e7, e8, e9, e10, e11, e12, e13, e14, e15, e16, e17, e18, e19, e20, e21, e22, e23, e24, e25, e26, e27, e28, e29, e30, e31, e32, e33, e34, e35, e36, e37, e38, e39, e40, e41, e42, e43, e44, e45, e46, e47, e48, e49, e50, e51, e52, e53, e54, e55, e56, e57, e58, e59, e60, e61, e62, e63, size, ...) size
- // Argument: token1, ...
- #define BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST_FROM_VARIADIC_(unused, ...) \
- BOOST_PP_TUPLE_TO_LIST( \
- BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST_VARIADIC_SIZE_( \
- __VA_ARGS__), (__VA_ARGS__))
- #define BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST_(is_void_macro, ...) \
- BOOST_PP_IIF(BOOST_PP_EQUAL( \
- BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST_VARIADIC_SIZE_( \
- __VA_ARGS__), 1), \
- BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST_HANDLE_SEQ_ \
- , \
- BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST_FROM_VARIADIC_ \
- )(is_void_macro, __VA_ARGS__)
- // Expand `void | (a)(b)... | a, b, ...` to pp-list `NIL | (a, (b, NIL))`.
- #define BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST(...) \
- BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST_( \
- BOOST_SCOPE_EXIT_AUX_PP_KEYWORD_IS_VOID_BACK, __VA_ARGS__)
- // Expand `(a)(b)... | a, b, ...` to pp-list `(a, (b, NIL))`.
- #define BOOST_SCOPE_EXIT_AUX_PP_NON_VOID_LIST(...) \
- BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST_( \
- BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST_NEVER_, __VA_ARGS__)
- #endif // VARIADICS
- // Steven Watanabe's trick with a modification suggested by Kim Barrett
- namespace boost { namespace scope_exit { namespace detail {
- // Type of a local BOOST_SCOPE_EXIT_AUX_ARGS variable.
- // First use in a local scope will declare the BOOST_SCOPE_EXIT_AUX_ARGS
- // variable, subsequent uses will be resolved as two comparisons
- // (cmp1 with 0 and cmp2 with BOOST_SCOPE_EXIT_AUX_ARGS).
- template<int Dummy = 0>
- struct declared
- {
- void* value;
- static int const cmp2 = 0;
- friend void operator>(int, declared const&) {}
- };
- struct undeclared { declared<> dummy[2]; };
- template<int> struct resolve;
- template<>
- struct resolve<sizeof(declared<>)>
- {
- static const int cmp1 = 0;
- };
- template<>
- struct resolve<sizeof(undeclared)>
- {
- template<int>
- struct cmp1
- {
- static int const cmp2 = 0;
- };
- };
- typedef void (*ref_tag)(int&);
- typedef void (*val_tag)(int );
- template<class T, class Tag> struct member;
- template<class T>
- struct member<T,ref_tag>
- {
- T& value;
- #if !BOOST_SCOPE_EXIT_AUX_TPL_GCC_WORKAROUND_01
- member(T& ref) : value(ref) {}
- #endif
- };
- template<class T>
- struct member<T,val_tag>
- {
- T value;
- #if !BOOST_SCOPE_EXIT_AUX_TPL_GCC_WORKAROUND_01
- member(T& val) : value(val) {}
- #endif
- };
- template<class T> inline T& deref(T* p, ref_tag) { return *p; }
- template<class T> inline T& deref(T& r, val_tag) { return r; }
- template<class T>
- struct wrapper
- {
- typedef T type;
- };
- template<class T> wrapper<T> wrap(T&);
- } } } // namespace
- #include BOOST_TYPEOF_INCREMENT_REGISTRATION_GROUP()
- BOOST_TYPEOF_REGISTER_TEMPLATE(boost::scope_exit::detail::wrapper, 1)
- #define BOOST_SCOPE_EXIT_AUX_ARGS boost_scope_exit_aux_args
- extern boost::scope_exit::detail::undeclared BOOST_SCOPE_EXIT_AUX_ARGS;
- #define BOOST_SCOPE_EXIT_AUX_GUARD(id) \
- BOOST_PP_CAT(boost_se_guard_, id)
- #define BOOST_SCOPE_EXIT_AUX_GUARD_T(id) \
- BOOST_PP_CAT(boost_se_guard_t_, id)
- #define BOOST_SCOPE_EXIT_AUX_PARAMS(id) \
- BOOST_PP_CAT(boost_se_params_, id)
- #define BOOST_SCOPE_EXIT_AUX_THIS_T(id) \
- BOOST_PP_CAT(boost_se_this_t_, id)
- #define BOOST_SCOPE_EXIT_AUX_THIS_CAPTURE_T(id) \
- BOOST_PP_CAT(boost_se_this_capture_t_, id)
- #define BOOST_SCOPE_EXIT_DETAIL_PARAMS_T(id) \
- BOOST_PP_CAT(boost_se_params_t_, id)
- #define BOOST_SCOPE_EXIT_DETAIL_TAG(id, i) \
- BOOST_PP_SEQ_CAT( (boost_se_tag_)(i)(_)(id) )
- #define BOOST_SCOPE_EXIT_DETAIL_PARAM_THIS(id) \
- BOOST_PP_SEQ_CAT( (boost_se_param_this_)(id) )
- #define BOOST_SCOPE_EXIT_DETAIL_PARAM(id, i, var) \
- BOOST_PP_SEQ_CAT( (boost_se_param_)(i)(_)(id) )
- #define BOOST_SCOPE_EXIT_DETAIL_PARAM_T(id, i, var) \
- BOOST_PP_SEQ_CAT( (boost_se_param_t_)(i)(_)(id) )
- #define BOOST_SCOPE_EXIT_DETAIL_CAPTURE_T(id, i, var) \
- BOOST_PP_SEQ_CAT( (boost_se_capture_t_)(i)(_)(id) )
- #define BOOST_SCOPE_EXIT_AUX_WRAPPED(id, i) \
- BOOST_PP_SEQ_CAT( (boost_se_wrapped_t_)(i)(_)(id) )
- #define BOOST_SCOPE_EXIT_AUX_DEREF(id, i, var) \
- ::boost::scope_exit::detail::deref(var, \
- static_cast<BOOST_SCOPE_EXIT_DETAIL_TAG(id, i)>(0))
- #define BOOST_SCOPE_EXIT_AUX_MEMBER(r, id, i, var) \
- ::boost::scope_exit::detail::member< \
- BOOST_SCOPE_EXIT_DETAIL_PARAM_T(id, i, var), \
- BOOST_SCOPE_EXIT_DETAIL_TAG(id, i) \
- > BOOST_SCOPE_EXIT_DETAIL_PARAM(id, i, var);
- #define BOOST_SCOPE_EXIT_AUX_ARG_DECL(r, id_ty, i, var) \
- BOOST_PP_COMMA_IF(i) \
- BOOST_PP_TUPLE_ELEM(2, 1, id_ty) \
- BOOST_SCOPE_EXIT_DETAIL_PARAMS_T(BOOST_PP_TUPLE_ELEM(2, 0, id_ty)):: \
- BOOST_SCOPE_EXIT_DETAIL_PARAM_T(BOOST_PP_TUPLE_ELEM(2, 0, id_ty), \
- i, var) \
- var
-
- #define BOOST_SCOPE_EXIT_AUX_ARG(r, id, i, var) \
- BOOST_PP_COMMA_IF(i) \
- boost_se_params_->BOOST_SCOPE_EXIT_DETAIL_PARAM(id, i, var).value
- #define BOOST_SCOPE_EXIT_DETAIL_TAG_DECL(r, id, i, var) \
- typedef void (*BOOST_SCOPE_EXIT_DETAIL_TAG(id, i))(int var);
- // Adam Butcher's workaround to deduce `this` type on MSVC revision < 10.
- // Boost.Typeof for VC71's typeid-based workaround does not work to determine
- // `this` type due to error C2355 being incorrectly reported. The typical
- // avoidance strategy implemented below is to make an indirect compile-time
- // constant by assigning an enum and use that as type-index-- this only works
- // with the sizeof() approach and not with the typeid() approach. Lorenzo
- // Caminiti extended this approach to work in type-of emulation mode. This code
- // is very similar (and somewhat of a duplication) of the code in
- // boost/typeof/msvc/typeof_impl.hpp). However, this code cannot be integrated
- // into Boost.Typeof because its final API has to be a `typedef ...` and it
- // cannot be a `typeof(...)`.
- #if BOOST_SCOPE_EXIT_AUX_TYPEOF_THIS_MSVC_WORKAROUND_01
- #include <boost/config.hpp>
- #include <boost/detail/workaround.hpp>
- #include <boost/type_traits/integral_constant.hpp>
- #include <boost/type_traits/is_function.hpp>
- #include <boost/type_traits/enable_if.hpp>
- #if defined(BOOST_MSVC)
- # include <typeinfo>
- #endif
- namespace boost { namespace scope_exit { namespace aux {
- namespace msvc_typeof_this {
- // compile-time constant code
- #if defined(BOOST_MSVC) && defined(_MSC_EXTENSIONS)
- template<int N> struct the_counter;
- template<typename T,int N = 5 /* for similarity */>
- struct encode_counter {
- __if_exists(the_counter<N + 256>) {
- BOOST_STATIC_CONSTANT(unsigned,
- count=(encode_counter<T,N + 257>::count));
- }
- __if_not_exists(the_counter<N + 256>) {
- __if_exists(the_counter<N + 64>) {
- BOOST_STATIC_CONSTANT(unsigned,
- count=(encode_counter<T,N + 65>::count));
- }
- __if_not_exists(the_counter<N + 64>) {
- __if_exists(the_counter<N + 16>) {
- BOOST_STATIC_CONSTANT(unsigned,
- count=(encode_counter<T,N + 17>::count));
- }
- __if_not_exists(the_counter<N + 16>) {
- __if_exists(the_counter<N + 4>) {
- BOOST_STATIC_CONSTANT(unsigned,
- count=(encode_counter<T,N + 5>::count));
- }
- __if_not_exists(the_counter<N + 4>) {
- __if_exists(the_counter<N>) {
- BOOST_STATIC_CONSTANT(unsigned,
- count=(encode_counter<T,N + 1>::count));
- }
- __if_not_exists(the_counter<N>) {
- BOOST_STATIC_CONSTANT(unsigned,count=N);
- typedef the_counter<N> type;
- }
- }
- }
- }
- }
- };
- #else // compile-time constant code
-
- template<int N> struct encode_counter : encode_counter<N - 1> {};
- template<> struct encode_counter<0> {};
- #endif // compile-time constant code
- #if BOOST_WORKAROUND(BOOST_MSVC, >= 1400) // type-of code
- struct msvc_extract_type_default_param {};
- template<typename ID, typename T = msvc_extract_type_default_param>
- struct msvc_extract_type;
- template<typename ID>
- struct msvc_extract_type<ID, msvc_extract_type_default_param> {
- template<bool>
- struct id2type_impl;
- typedef id2type_impl<true> id2type;
- };
- template<typename ID, typename T>
- struct msvc_extract_type
- : msvc_extract_type<ID, msvc_extract_type_default_param> {
- template<>
- struct id2type_impl<true> { // VC8.0 specific bug-feature.
- typedef T type;
- };
- template<bool>
- struct id2type_impl;
- typedef id2type_impl<true> id2type;
- };
- template<typename T, typename ID>
- struct msvc_register_type : msvc_extract_type<ID, T> {};
- #else // type-of code
- template<typename ID>
- struct msvc_extract_type {
- struct id2type;
- };
- template<typename T, typename ID>
- struct msvc_register_type : msvc_extract_type<ID> {
- typedef msvc_extract_type<ID> base_type;
- struct base_type::id2type { // This uses nice VC6.5 and VC7.1 bug-features.
- typedef T type;
- };
- };
- #endif // typeof code
- template<int Id>
- struct msvc_typeid_wrapper {
- typedef typename msvc_extract_type<boost::integral_constant<int, Id>
- >::id2type id2type;
- typedef typename id2type::type type;
- };
- template<>
- struct msvc_typeid_wrapper<4> {
- typedef msvc_typeid_wrapper<4> type;
- };
- template<typename T>
- struct encode_type {
- BOOST_STATIC_CONSTANT(unsigned, value = encode_counter<T>::count);
- typedef typename msvc_register_type<T,
- boost::integral_constant<int, value> >::id2type type;
- BOOST_STATIC_CONSTANT(unsigned, next = value + 1);
- };
- template<class T>
- struct sizer {
- typedef char(*type)[encode_type<T>::value];
- };
- template<typename T>
- typename boost::enable_if_<
- !boost::is_function<T>::value
- , typename sizer<T>::type
- >::type encode_start(T const&);
- template<typename T>
- typename boost::enable_if_<
- boost::is_function<T>::value
- , typename sizer<T>::type
- >::type encode_start(T&);
- template<typename Organizer, typename T>
- msvc_register_type<T, Organizer> typeof_register_type(const T&,
- Organizer* = 0);
- } } } } // namespace
- #define BOOST_SCOPE_EXIT_AUX_TYPEDEF_TYPEOF_THIS_INDEX_(id) \
- BOOST_PP_CAT(boost_se_thistype_index_, id)
- #define BOOST_SCOPE_EXIT_DETAIL_TYPEDEF_TYPEOF_THIS(id, ty, new_type) \
- /* unfortunately, we need to go via this enum which causes this to be */ \
- /* a typedef construct and not a typeof (so this code cannot be */ \
- /* integrated into Boost.Typeof) */ \
- enum { \
- BOOST_SCOPE_EXIT_AUX_TYPEDEF_TYPEOF_THIS_INDEX_(id) = sizeof( \
- *::boost::scope_exit::aux::msvc_typeof_this::encode_start(this)) \
- }; \
- typedef \
- ty ::boost::scope_exit::aux::msvc_typeof_this::msvc_typeid_wrapper< \
- BOOST_SCOPE_EXIT_AUX_TYPEDEF_TYPEOF_THIS_INDEX_(id) \
- >::type \
- new_type \
- ;
- #else // TYPEOF_THIS_MSVC_WORKAROUND
- #define BOOST_SCOPE_EXIT_DETAIL_TYPEDEF_TYPEOF_THIS(id, ty, new_type) \
- typedef /* trailing `EMPTY()` handles empty `ty` */ \
- BOOST_PP_IIF(BOOST_PP_IS_EMPTY(ty BOOST_PP_EMPTY()), \
- BOOST_TYPEOF \
- , \
- BOOST_TYPEOF_TPL \
- )(this) \
- new_type \
- ;
- #endif // TYPEOF_THIS_MSVC_WORKAROUND
- #if BOOST_SCOPE_EXIT_AUX_TPL_GCC_WORKAROUND_01
- #define BOOST_SCOPE_EXIT_AUX_PARAMS_T_CTOR(id, ty, captures, has_this) \
- /* expand to nothing */
- #define BOOST_SCOPE_EXIT_DETAIL_PARAM_INIT(r, id, i, var) \
- BOOST_PP_COMMA_IF(i) { BOOST_SCOPE_EXIT_AUX_DEREF(id, i, var) }
- #define BOOST_SCOPE_EXIT_AUX_PARAMS_INIT(id, captures, has_this) \
- BOOST_PP_EXPR_IIF(BOOST_PP_BITOR(has_this, \
- BOOST_PP_LIST_IS_CONS(captures)), \
- = { \
- ) \
- BOOST_PP_LIST_FOR_EACH_I(BOOST_SCOPE_EXIT_DETAIL_PARAM_INIT, id, captures) \
- BOOST_PP_COMMA_IF(BOOST_PP_BITAND(BOOST_PP_LIST_IS_CONS(captures), \
- has_this)) \
- BOOST_PP_EXPR_IIF(has_this, this) /* no extra {...} needed here */ \
- BOOST_PP_EXPR_IIF(BOOST_PP_BITOR(has_this, \
- BOOST_PP_LIST_IS_CONS(captures)), \
- } /* trailing `;` will be added by the caller */ \
- )
- #else // TPL_GCC_WORKAROUND
- #define BOOST_SCOPE_EXIT_AUX_CTOR_ARG(r, id, i, var) \
- BOOST_PP_COMMA_IF(i) \
- BOOST_SCOPE_EXIT_DETAIL_PARAM_T(id, i, var) & BOOST_PP_CAT(a, i)
- #define BOOST_SCOPE_EXIT_AUX_MEMBER_INIT(r, id, i, var) \
- BOOST_PP_COMMA_IF(i) \
- BOOST_SCOPE_EXIT_DETAIL_PARAM(id, i, var) ( BOOST_PP_CAT(a, i) )
- #define BOOST_SCOPE_EXIT_AUX_CTOR_ARG_THIS_NAME(id) \
- BOOST_PP_CAT(boost_se_this_arg_, id)
- #define BOOST_SCOPE_EXIT_AUX_CTOR_ARG_THIS(id, ty, comma01) \
- BOOST_PP_COMMA_IF(comma01) \
- ty BOOST_SCOPE_EXIT_DETAIL_PARAMS_T(id)::BOOST_SCOPE_EXIT_AUX_THIS_T(id) \
- BOOST_SCOPE_EXIT_AUX_CTOR_ARG_THIS_NAME(id) /* ptr so no & */
- #define BOOST_SCOPE_EXIT_AUX_MEMBER_THIS_INIT(id, comma01) \
- BOOST_PP_COMMA_IF(comma01) \
- BOOST_SCOPE_EXIT_DETAIL_PARAM_THIS(id)( \
- BOOST_SCOPE_EXIT_AUX_CTOR_ARG_THIS_NAME(id))
- #define BOOST_SCOPE_EXIT_AUX_PARAMS_T_CTOR(id, ty, captures, has_this) \
- BOOST_SCOPE_EXIT_DETAIL_PARAMS_T(id)( \
- BOOST_PP_LIST_FOR_EACH_I(BOOST_SCOPE_EXIT_AUX_CTOR_ARG, id, captures) \
- BOOST_PP_IIF(has_this, \
- BOOST_SCOPE_EXIT_AUX_CTOR_ARG_THIS \
- , \
- BOOST_PP_TUPLE_EAT(3) \
- )(id, ty, BOOST_PP_LIST_IS_CONS(captures)) \
- ) \
- BOOST_PP_EXPR_IIF(BOOST_PP_BITOR(BOOST_PP_LIST_IS_CONS(captures), \
- has_this), \
- : \
- ) \
- BOOST_PP_LIST_FOR_EACH_I(BOOST_SCOPE_EXIT_AUX_MEMBER_INIT, id, \
- captures) \
- BOOST_PP_IIF(has_this, \
- BOOST_SCOPE_EXIT_AUX_MEMBER_THIS_INIT \
- , \
- BOOST_PP_TUPLE_EAT(2) \
- )(id, BOOST_PP_LIST_IS_CONS(captures)) \
- {}
- #define BOOST_SCOPE_EXIT_DETAIL_PARAM_INIT(r, id, i, var) \
- BOOST_PP_COMMA_IF(i) BOOST_SCOPE_EXIT_AUX_DEREF(id,i,var)
- #define BOOST_SCOPE_EXIT_AUX_PARAMS_INIT(id, captures, has_this) \
- BOOST_PP_LPAREN_IF(BOOST_PP_BITOR(has_this, \
- BOOST_PP_LIST_IS_CONS(captures))) \
- BOOST_PP_LIST_FOR_EACH_I(BOOST_SCOPE_EXIT_DETAIL_PARAM_INIT, id, captures) \
- BOOST_PP_COMMA_IF(BOOST_PP_BITAND(BOOST_PP_LIST_IS_CONS(captures), \
- has_this)) \
- BOOST_PP_EXPR_IIF(has_this, this) \
- BOOST_PP_RPAREN_IF(BOOST_PP_BITOR(has_this, \
- BOOST_PP_LIST_IS_CONS(captures)))
- #endif // TPL_GCC_WORKAROUND
- #if defined(BOOST_TYPEOF_EMULATION)
- #define BOOST_SCOPE_EXIT_DETAIL_CAPTURE_DECL(r, id_ty, i, var) \
- struct BOOST_SCOPE_EXIT_AUX_WRAPPED(BOOST_PP_TUPLE_ELEM(2, 0, id_ty), i) \
- /* no need to use TYPEOF_TPL here because it's within inheritance */ \
- : BOOST_TYPEOF(::boost::scope_exit::detail::wrap( \
- BOOST_SCOPE_EXIT_AUX_DEREF(BOOST_PP_TUPLE_ELEM(2, 0, id_ty), \
- i, var))) \
- {}; \
- typedef BOOST_PP_TUPLE_ELEM(2, 1, id_ty) \
- BOOST_SCOPE_EXIT_AUX_WRAPPED(BOOST_PP_TUPLE_ELEM(2, 0, id_ty), i)::type\
- BOOST_SCOPE_EXIT_DETAIL_CAPTURE_T(BOOST_PP_TUPLE_ELEM(2, 0, id_ty), \
- i, var) \
- ;
- #elif defined(BOOST_INTEL)
- #define BOOST_SCOPE_EXIT_DETAIL_CAPTURE_DECL(r, id_ty, i, var) \
- typedef \
- /* no TYPEOF_TPL here because uses TYPEOF_KEYWORD directly */ \
- BOOST_TYPEOF_KEYWORD(BOOST_SCOPE_EXIT_AUX_DEREF( \
- BOOST_PP_TUPLE_ELEM(2, 0, id_ty), i, var)) \
- BOOST_SCOPE_EXIT_DETAIL_CAPTURE_T(BOOST_PP_TUPLE_ELEM(2, 0, id_ty), \
- i, var) \
- ;
- #else
- #define BOOST_SCOPE_EXIT_DETAIL_CAPTURE_DECL(r, id_ty, i, var) \
- typedef \
- /* no need to use TYPEOF_TPL here because it's a typedef */ \
- BOOST_TYPEOF(::boost::scope_exit::detail::wrap( \
- BOOST_SCOPE_EXIT_AUX_DEREF(BOOST_PP_TUPLE_ELEM(2, 0, id_ty), \
- i, var))) \
- BOOST_SCOPE_EXIT_AUX_WRAPPED(BOOST_PP_TUPLE_ELEM(2, 0, id_ty), i) \
- ; \
- typedef BOOST_PP_TUPLE_ELEM(2, 1, id_ty) \
- BOOST_SCOPE_EXIT_AUX_WRAPPED(BOOST_PP_TUPLE_ELEM(2, 0, id_ty), i)::type\
- BOOST_SCOPE_EXIT_DETAIL_CAPTURE_T(BOOST_PP_TUPLE_ELEM(2, 0, id_ty), \
- i, var) \
- ;
- #endif
- #define BOOST_SCOPE_EXIT_DETAIL_PARAM_DECL(r, id_ty, i, var) \
- typedef \
- BOOST_SCOPE_EXIT_DETAIL_CAPTURE_T(BOOST_PP_TUPLE_ELEM(2, 0, id_ty), \
- i, var) \
- BOOST_SCOPE_EXIT_DETAIL_PARAM_T(BOOST_PP_TUPLE_ELEM(2, 0, id_ty), \
- i, var) \
- ;
- // Traits.
- #define BOOST_SCOPE_EXIT_AUX_TRAITS_OP_CAPTURE(d, captures, this01, capture) \
- (BOOST_PP_LIST_APPEND(captures, (capture, BOOST_PP_NIL)), this01)
- #define BOOST_SCOPE_EXIT_AUX_TRAITS_OP_THIS(d, captures, this01, this_) \
- (captures, 1 /* has this (note, no error if multiple this_) */)
- #define BOOST_SCOPE_EXIT_AUX_TRAITS_OP(d, captures_this, capture) \
- BOOST_PP_IIF(BOOST_SCOPE_EXIT_AUX_PP_KEYWORD_IS_THISUNDERSCORE_BACK(\
- capture), \
- BOOST_SCOPE_EXIT_AUX_TRAITS_OP_THIS \
- , \
- BOOST_SCOPE_EXIT_AUX_TRAITS_OP_CAPTURE \
- )(d, BOOST_PP_TUPLE_ELEM(2, 0, captures_this), \
- BOOST_PP_TUPLE_ELEM(2, 1, captures_this), capture)
- // ref_val: & | =
- #define BOOST_SCOPE_EXIT_AUX_TRAITS_ALL_OP(ref_val, traits) \
- ( \
- BOOST_PP_LIST_APPEND((ref_val, BOOST_PP_NIL), \
- BOOST_SCOPE_EXIT_AUX_TRAITS_CAPTURES(traits)) \
- , \
- BOOST_SCOPE_EXIT_AUX_TRAITS_HAS_THIS(traits) \
- )
- #define BOOST_SCOPE_EXIT_AUX_TRAITS(captures) \
- BOOST_PP_LIST_FOLD_LEFT(BOOST_SCOPE_EXIT_AUX_TRAITS_OP, \
- (BOOST_PP_NIL, 0), captures)
- #define BOOST_SCOPE_EXIT_AUX_TRAITS_ALL(captures) \
- BOOST_SCOPE_EXIT_AUX_TRAITS_ALL_OP(BOOST_PP_LIST_FIRST(captures), \
- BOOST_SCOPE_EXIT_AUX_TRAITS(BOOST_PP_LIST_REST(captures)))
- #define BOOST_SCOPE_EXIT_AUX_TRAITS_CAPTURES(traits) \
- BOOST_PP_TUPLE_ELEM(2, 0, traits)
- #define BOOST_SCOPE_EXIT_AUX_TRAITS_HAS_THIS(traits) \
- BOOST_PP_TUPLE_ELEM(2, 1, traits)
- #ifndef BOOST_NO_CXX11_LAMBDAS
- namespace boost { namespace scope_exit { namespace aux {
- template<typename This = void>
- struct guard { // With object `this_` (for backward compatibility).
- explicit guard(This _this) : this_(_this) {}
- ~guard() { if(f_) f_(this_); }
- template<typename Lambda>
- void operator=(Lambda f) { f_ = f; }
- private:
- This this_;
- boost::function<void (This)> f_;
- };
- template<>
- struct guard<void> { // Without object `this_` (could capture `this` directly).
- ~guard() { if(f_) f_(); }
- template<typename Lambda>
- void operator=(Lambda f) { f_ = f; }
- private:
- boost::function<void (void)> f_;
- };
- } } } // namespace
-
- #define BOOST_SCOPE_EXIT_AUX_LAMBDA_PARAMS(id) \
- BOOST_PP_CAT(boost_se_lambda_params_, id)
- #define BOOST_SCOPE_EXIT_AUX_LAMBDA_THIS_CAPTURE_TYPE(id) \
- BOOST_PP_CAT(boost_se_lambda_this_t_, id)
- #define BOOST_SCOPE_EXIT_AUX_LAMBDA_THIS_PARAM_TYPE(id) \
- BOOST_PP_CAT(boost_se_lambda_this_capture_t_, id)
- #define BOOST_SCOPE_EXIT_AUX_LAMBDA_THIS_TYPE(id, ty) \
- ty BOOST_SCOPE_EXIT_AUX_LAMBDA_PARAMS(id):: \
- BOOST_SCOPE_EXIT_AUX_LAMBDA_THIS_PARAM_TYPE(id)
- // Precondition: HAS_THIS(traits).
- #define BOOST_SCOPE_EXIT_AUX_LAMBDA_THIS_TYPEDEFS(id, ty, traits) \
- BOOST_SCOPE_EXIT_DETAIL_TYPEDEF_TYPEOF_THIS(id, ty, \
- BOOST_SCOPE_EXIT_AUX_LAMBDA_THIS_CAPTURE_TYPE(id)) \
- /* capture type for workaround GCC internal error (even on later C++11) */ \
- struct BOOST_SCOPE_EXIT_AUX_LAMBDA_PARAMS(id) { \
- typedef BOOST_SCOPE_EXIT_AUX_LAMBDA_THIS_CAPTURE_TYPE(id) \
- BOOST_SCOPE_EXIT_AUX_LAMBDA_THIS_PARAM_TYPE(id); \
- };
- #define BOOST_SCOPE_EXIT_AUX_IMPL_LAMBDA(id, ty, traits) \
- BOOST_PP_IIF(BOOST_SCOPE_EXIT_AUX_TRAITS_HAS_THIS(traits), \
- /* no need for TYPEDEF THIS MSVC workaround on C++11 */ \
- BOOST_SCOPE_EXIT_AUX_LAMBDA_THIS_TYPEDEFS \
- , \
- BOOST_PP_TUPLE_EAT(3) \
- )(id, ty, traits) \
- ::boost::scope_exit::aux::guard< \
- BOOST_PP_IIF(BOOST_SCOPE_EXIT_AUX_TRAITS_HAS_THIS(traits), \
- BOOST_SCOPE_EXIT_AUX_LAMBDA_THIS_TYPE \
- , \
- BOOST_PP_TUPLE_EAT(2) \
- )(id, ty) \
- > BOOST_SCOPE_EXIT_AUX_GUARD(id) \
- BOOST_PP_EXPR_IIF(BOOST_SCOPE_EXIT_AUX_TRAITS_HAS_THIS(traits), \
- (this) \
- ) \
- ; \
- BOOST_SCOPE_EXIT_AUX_GUARD(id) = [ \
- BOOST_PP_LIST_ENUM(BOOST_SCOPE_EXIT_AUX_TRAITS_CAPTURES(traits)) \
- ]( \
- BOOST_PP_IIF(BOOST_SCOPE_EXIT_AUX_TRAITS_HAS_THIS(traits), \
- BOOST_SCOPE_EXIT_AUX_LAMBDA_THIS_TYPE \
- , \
- BOOST_PP_TUPLE_EAT(2) \
- )(id, ty) \
- BOOST_PP_EXPR_IIF(BOOST_SCOPE_EXIT_AUX_TRAITS_HAS_THIS(traits), this_) \
- ) mutable /* can change value captures (as with SCOPE_EXIT) */ -> void
- #endif // Lambdas.
- #if defined(BOOST_SCOPE_EXIT_CONFIG_USE_LAMBDAS) && \
- !defined(BOOST_NO_CXX11_LAMBDAS) // Use lambda for SCOPE_EXIT (not just _ALL).
- #define BOOST_SCOPE_EXIT_AUX_IMPL(id, ty, traits) \
- BOOST_SCOPE_EXIT_AUX_IMPL_LAMBDA(id, ty, traits)
- #else // Not using lambdas.
- // ty: EMPTY() | typename
- #define BOOST_SCOPE_EXIT_AUX_IMPL(id, ty, traits) \
- BOOST_PP_LIST_FOR_EACH_I(BOOST_SCOPE_EXIT_DETAIL_TAG_DECL, id, \
- BOOST_SCOPE_EXIT_AUX_TRAITS_CAPTURES(traits)) \
- BOOST_PP_LIST_FOR_EACH_I(BOOST_SCOPE_EXIT_DETAIL_CAPTURE_DECL, (id, ty), \
- BOOST_SCOPE_EXIT_AUX_TRAITS_CAPTURES(traits)) \
- BOOST_PP_IIF(BOOST_SCOPE_EXIT_AUX_TRAITS_HAS_THIS(traits), \
- BOOST_SCOPE_EXIT_DETAIL_TYPEDEF_TYPEOF_THIS \
- , \
- BOOST_PP_TUPLE_EAT(3) \
- )(id, ty, BOOST_SCOPE_EXIT_AUX_THIS_CAPTURE_T(id)) \
- struct BOOST_SCOPE_EXIT_DETAIL_PARAMS_T(id) { \
- /* interim capture types to workaround internal errors on old GCC */ \
- BOOST_PP_LIST_FOR_EACH_I(BOOST_SCOPE_EXIT_DETAIL_PARAM_DECL, (id, ty), \
- BOOST_SCOPE_EXIT_AUX_TRAITS_CAPTURES(traits)) \
- BOOST_PP_EXPR_IIF(BOOST_SCOPE_EXIT_AUX_TRAITS_HAS_THIS(traits), \
- typedef BOOST_SCOPE_EXIT_AUX_THIS_CAPTURE_T(id) \
- BOOST_SCOPE_EXIT_AUX_THIS_T(id) ; \
- ) \
- BOOST_PP_LIST_FOR_EACH_I(BOOST_SCOPE_EXIT_AUX_MEMBER, id, \
- BOOST_SCOPE_EXIT_AUX_TRAITS_CAPTURES(traits)) \
- BOOST_PP_EXPR_IIF(BOOST_SCOPE_EXIT_AUX_TRAITS_HAS_THIS(traits), \
- BOOST_SCOPE_EXIT_AUX_THIS_T(id) \
- BOOST_SCOPE_EXIT_DETAIL_PARAM_THIS(id) ; \
- ) \
- BOOST_SCOPE_EXIT_AUX_PARAMS_T_CTOR(id, ty, \
- BOOST_SCOPE_EXIT_AUX_TRAITS_CAPTURES(traits), \
- BOOST_SCOPE_EXIT_AUX_TRAITS_HAS_THIS(traits)) \
- } BOOST_SCOPE_EXIT_AUX_PARAMS(id) \
- BOOST_SCOPE_EXIT_AUX_PARAMS_INIT(id, \
- BOOST_SCOPE_EXIT_AUX_TRAITS_CAPTURES(traits), \
- BOOST_SCOPE_EXIT_AUX_TRAITS_HAS_THIS(traits)) \
- ; \
- ::boost::scope_exit::detail::declared< \
- ::boost::scope_exit::detail::resolve< \
- sizeof(BOOST_SCOPE_EXIT_AUX_ARGS) \
- >::cmp1<0>::cmp2 \
- > BOOST_SCOPE_EXIT_AUX_ARGS; \
- BOOST_SCOPE_EXIT_AUX_ARGS.value = &BOOST_SCOPE_EXIT_AUX_PARAMS(id); \
- struct BOOST_SCOPE_EXIT_AUX_GUARD_T(id) { \
- BOOST_SCOPE_EXIT_DETAIL_PARAMS_T(id)* boost_se_params_; \
- BOOST_SCOPE_EXIT_AUX_GUARD_T(id) (void* boost_se_params) \
- : boost_se_params_( \
- (BOOST_SCOPE_EXIT_DETAIL_PARAMS_T(id)*)boost_se_params) \
- {} \
- ~BOOST_SCOPE_EXIT_AUX_GUARD_T(id)() { \
- boost_se_body( \
- BOOST_PP_LIST_FOR_EACH_I(BOOST_SCOPE_EXIT_AUX_ARG, id, \
- BOOST_SCOPE_EXIT_AUX_TRAITS_CAPTURES(traits)) \
- BOOST_PP_COMMA_IF(BOOST_PP_BITAND(BOOST_PP_LIST_IS_CONS( \
- BOOST_SCOPE_EXIT_AUX_TRAITS_CAPTURES(traits)), \
- BOOST_SCOPE_EXIT_AUX_TRAITS_HAS_THIS(traits))) \
- BOOST_PP_EXPR_IIF(BOOST_SCOPE_EXIT_AUX_TRAITS_HAS_THIS( \
- traits), \
- boost_se_params_->BOOST_SCOPE_EXIT_DETAIL_PARAM_THIS(id) \
- ) \
- ); \
- } \
- static void boost_se_body( \
- BOOST_PP_LIST_FOR_EACH_I(BOOST_SCOPE_EXIT_AUX_ARG_DECL, (id, ty), \
- BOOST_SCOPE_EXIT_AUX_TRAITS_CAPTURES(traits)) \
- BOOST_PP_COMMA_IF(BOOST_PP_BITAND(BOOST_PP_LIST_IS_CONS( \
- BOOST_SCOPE_EXIT_AUX_TRAITS_CAPTURES(traits)), \
- BOOST_SCOPE_EXIT_AUX_TRAITS_HAS_THIS(traits))) \
- BOOST_PP_EXPR_IIF(BOOST_SCOPE_EXIT_AUX_TRAITS_HAS_THIS(traits), \
- ty BOOST_SCOPE_EXIT_DETAIL_PARAMS_T(id):: \
- BOOST_SCOPE_EXIT_AUX_THIS_T(id) this_ \
- ) \
- )
- #endif // Using lambdas.
- // PUBLIC //
- #if defined(BOOST_NO_CXX11_VARIADIC_MACROS) // No variadic macros (sequences only).
- # define BOOST_SCOPE_EXIT_ID(id, void_or_seq) \
- BOOST_SCOPE_EXIT_AUX_IMPL(id, BOOST_PP_EMPTY(), \
- BOOST_SCOPE_EXIT_AUX_TRAITS( \
- BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST(void_or_seq)))
- # define BOOST_SCOPE_EXIT_ID_TPL(id, void_or_seq) \
- BOOST_SCOPE_EXIT_AUX_IMPL(id, typename, \
- BOOST_SCOPE_EXIT_AUX_TRAITS( \
- BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST(void_or_seq)))
- # define BOOST_SCOPE_EXIT(void_or_seq) \
- BOOST_SCOPE_EXIT_ID(BOOST_SCOPE_EXIT_AUX_PP_LINE_COUNTER, \
- void_or_seq)
- # define BOOST_SCOPE_EXIT_TPL(void_or_seq) \
- BOOST_SCOPE_EXIT_ID_TPL(BOOST_SCOPE_EXIT_AUX_PP_LINE_COUNTER, \
- void_or_seq)
- # if !defined(BOOST_NO_CXX11_LAMBDAS)
- # define BOOST_SCOPE_EXIT_ALL_ID(id, seq) \
- BOOST_SCOPE_EXIT_AUX_IMPL_LAMBDA(id, \
- /* C++11 allows to use typename outside templates so */ \
- /* always typename here and no need for ..._ALL_TPL */ \
- /* (if a C++11 compiler does not implement this use of */ \
- /* typename, always use `this` instead of `this_`) */ \
- typename, \
- BOOST_SCOPE_EXIT_AUX_TRAITS_ALL( \
- BOOST_SCOPE_EXIT_AUX_PP_NON_VOID_LIST(seq)))
- # define BOOST_SCOPE_EXIT_ALL(seq) \
- BOOST_SCOPE_EXIT_ALL_ID( \
- BOOST_SCOPE_EXIT_AUX_PP_LINE_COUNTER, seq)
- # endif
- #else // Variadic macros (both sequences and variadic tuples).
- # define BOOST_SCOPE_EXIT_ID(id, ...) \
- BOOST_SCOPE_EXIT_AUX_IMPL(id, BOOST_PP_EMPTY(), \
- BOOST_SCOPE_EXIT_AUX_TRAITS( \
- BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST(__VA_ARGS__)))
- # define BOOST_SCOPE_EXIT_ID_TPL(id, ...) \
- BOOST_SCOPE_EXIT_AUX_IMPL(id, typename, \
- BOOST_SCOPE_EXIT_AUX_TRAITS( \
- BOOST_SCOPE_EXIT_AUX_PP_VOID_LIST(__VA_ARGS__)))
- # define BOOST_SCOPE_EXIT(...) \
- BOOST_SCOPE_EXIT_ID(BOOST_SCOPE_EXIT_AUX_PP_LINE_COUNTER, \
- __VA_ARGS__)
- # define BOOST_SCOPE_EXIT_TPL(...) \
- BOOST_SCOPE_EXIT_ID_TPL(BOOST_SCOPE_EXIT_AUX_PP_LINE_COUNTER, \
- __VA_ARGS__)
- # if !defined(BOOST_NO_CXX11_LAMBDAS)
- # define BOOST_SCOPE_EXIT_ALL_ID(id, ...) \
- BOOST_SCOPE_EXIT_AUX_IMPL_LAMBDA(id, \
- /* C++11 allows to use typename outside templates so */ \
- /* always typename here and no need for ..._ALL_TPL */ \
- /* (if a C++11 compiler does not implement this use of */ \
- /* typename, always use `this` instead of `this_`) */ \
- typename, \
- BOOST_SCOPE_EXIT_AUX_TRAITS_ALL( \
- BOOST_SCOPE_EXIT_AUX_PP_NON_VOID_LIST( \
- __VA_ARGS__)))
- # define BOOST_SCOPE_EXIT_ALL(...) \
- BOOST_SCOPE_EXIT_ALL_ID( \
- BOOST_SCOPE_EXIT_AUX_PP_LINE_COUNTER, __VA_ARGS__)
- # endif
- #endif // Variadics.
- #if defined(BOOST_SCOPE_EXIT_CONFIG_USE_LAMBDAS) && \
- !defined(BOOST_NO_CXX11_LAMBDAS) // Use lambdas for SCOPE_EXIT (not just ALL).
- # define BOOST_SCOPE_EXIT_END_ID(id) \
- ; /* lambdas ended with just `;` */
- #else // Not using lambdas.
- # define BOOST_SCOPE_EXIT_END_ID(id) \
- } BOOST_SCOPE_EXIT_AUX_GUARD(id)(BOOST_SCOPE_EXIT_AUX_ARGS.value);
- #endif // Using lambdas.
- #define BOOST_SCOPE_EXIT_END \
- BOOST_SCOPE_EXIT_END_ID(BOOST_SCOPE_EXIT_AUX_PP_LINE_COUNTER)
- // DOCUMENTATION //
- #else // DOXYGEN
- /** @file
- @brief Scope exits allow to execute arbitrary code when the enclosing scope
- exits.
- */
- /**
- @brief This macro declares a scope exit.
- The scope exit declaration schedules the execution of the scope exit body at
- the exit of the enclosing scope:
- @code
- { // Some local scope.
- ...
- BOOST_SCOPE_EXIT(capture_list) {
- ... // Body code.
- } BOOST_SCOPE_EXIT_END
- ...
- }
- @endcode
- The enclosing scope must be local.
- If multiple scope exits are declared within the same enclosing scope, the scope
- exit bodies are executed in the reversed order of their declarations.
- Note how the end of the scope exit body must be marked by
- @RefMacro{BOOST_SCOPE_EXIT_END}.
- @Params
- @Param{capture_list,
- On compilers that support variadic macros (see also Boost.Config
- <c>BOOST_NO_CXX11_VARIADIC_MACROS</c>)\, the capture list syntax is defined by the
- following grammar:
- @code
- capture_list:
- void | capture_tuple | capture_sequence
- capture_tuple:
- capture\, capture\, ...
- capture_sequence:
- (capture) (capture) ...
- capture:
- [&]variable | this_
- @endcode
- On compilers that do not support variadic macros\, <c>capture_tuple</c> cannot
- be used:
- @code
- capture_list:
- void | capture_sequence
- @endcode
- Furthermore\, if @RefMacro{BOOST_SCOPE_EXIT_CONFIG_USE_LAMBDAS} is defined on
- C++11 compilers that support lambda functions (i.e.\, Boost.Config's <c>BOOST_NO_CXX11_LAMBDAS</c> is not defined) then a semicolon <c>;</c> can be used instead of
- @RefMacro{BOOST_SCOPE_EXIT_END} and <c>this</c> can be used instead of
- <c>this_</c>:
- @code
- capture:
- [&]variable | this_ | this
- @endcode
- (Lexical conventions: <c>token1 | token2</c> means either <c>token1</c> or
- <c>token2</c>; <c>[token]</c> means either <c>token</c> or nothing;
- <c>{expression}</c> means the tokens resulting from the expression.)
- }
- @EndParams
- Note that on compilers that support variadic macros (most of moder compliers
- and all C++11 compilers), the capture list can be specified as a
- comma-separated list of tokens (this is the preferred syntax).
- However, on all compilers the same macro @RefMacro{BOOST_SCOPE_EXIT} also
- allows to specify the capture list as a Boost.Preprocessor sequence of tokens
- (for supporting compilers without variadic macros and for backward compatibility with older versions of this library).
- The name <c>variable</c> of each captured variable must be a valid name in the
- enclosing scope and it must appear exactly once in the capture list.
- If a capture starts with the ampersand sign <c>&</c>, the corresponding
- variable will be available by reference within the scope exit body; otherwise,
- a copy of the variable will be made at the point of the scope exit declaration
- and that copy will be available inside the scope exit body (in this case, the
- variable's type must be <c>CopyConstructible</c>).
- From within a member function, the object <c>this</c> can be captured using the
- special name <c>this_</c> in both the capture list and the scope exit body
- (using <c>this</c> instead of <c>this_</c> in the scope exit body leads to
- undefined behaviour).
- It is possible to capture no variable by specifying the capture list as
- <c>void</c> (regardless of variadic macro support).
- Only variables listed in the capture list, static variables, <c>extern</c>
- variables, global variables, functions, and enumerations from the enclosing
- scope can be used inside the scope exit body.
- On various GCC versions the special macro @RefMacro{BOOST_SCOPE_EXIT_TPL} must
- be used instead of @RefMacro{BOOST_SCOPE_EXIT} within templates (to maximize
- portability, it is recommended to always use @RefMacro{BOOST_SCOPE_EXIT_TPL}
- within templates).
- On C++11, it is possible capture all variables in scope without listing their
- names one-by-one using the macro @RefMacro{BOOST_SCOPE_EXIT_ALL}.
- In general, the special macro @RefMacro{BOOST_SCOPE_EXIT_ID} must be used
- instead of @RefMacro{BOOST_SCOPE_EXIT} when it is necessary to expand multiple
- scope exit declarations on the same line.
- @Warning The implementation executes the scope exit body within a destructor
- thus the scope exit body must never throw in order to comply with STL exception
- safety requirements.
- @Note The implementation uses Boost.Typeof to automatically deduce the types of
- the captured variables.
- In order to compile code in type-of emulation mode, all types must be properly
- registered with Boost.Typeof (see the
- @RefSect{getting_started, Getting Started} section).
- @See @RefSect{tutorial, Tutorial} section,
- @RefSect{getting_started, Getting Started} section,
- @RefSect{no_variadic_macros, No Variadic Macros} section,
- @RefMacro{BOOST_SCOPE_EXIT_TPL}, @RefMacro{BOOST_SCOPE_EXIT_ALL},
- @RefMacro{BOOST_SCOPE_EXIT_END}, @RefMacro{BOOST_SCOPE_EXIT_ID}.
- */
- #define BOOST_SCOPE_EXIT(capture_list)
- /**
- @brief This macro is a workaround for various versions of GCC to declare scope
- exits within templates.
- Various versions of the GCC compiler do not compile @RefMacro{BOOST_SCOPE_EXIT}
- inside function templates.
- As a workaround, @RefMacro{BOOST_SCOPE_EXIT_TPL} should be used instead of
- @RefMacro{BOOST_SCOPE_EXIT} in these cases:
- @code
- { // Some local scope.
- ...
- BOOST_SCOPE_EXIT_TPL(capture_list) {
- ... // Body code.
- } BOOST_SCOPE_EXIT_END
- ...
- }
- @endcode
- The syntax of @RefMacro{BOOST_SCOPE_EXIT_TPL} is the exact same as the one of
- @RefMacro{BOOST_SCOPE_EXIT} (see @RefMacro{BOOST_SCOPE_EXIT} for more
- information).
- On C++11 compilers, @RefMacro{BOOST_SCOPE_EXIT_TPL} is not needed because
- @RefMacro{BOOST_SCOPE_EXIT} always compiles on GCC versions that support C++11.
- However, @RefMacro{BOOST_SCOPE_EXIT_TPL} is still provided on C++11 so to write code that is portable between C++03 and C++11 compilers.
- It is recommended to always use @RefMacro{BOOST_SCOPE_EXIT_TPL} within
- templates so to maximize portability.
- In general, the special macro @RefMacro{BOOST_SCOPE_EXIT_ID_TPL} must be used
- instead of @RefMacro{BOOST_SCOPE_EXIT_TPL} when it is necessary to expand
- multiple scope exit declarations on the same line within templates.
- @Note The issue in compiling scope exit declarations that some GCC versions
- have is illustrated by the following code (see also
- <a href="http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37920">GCC bug 37920</a>):
- @code
- template<class T>
- void f(T const& x) {
- int i = 0;
- struct local {
- typedef __typeof__(i) typeof_i;
- typedef __typeof__(x) typeof_x;
- };
- typedef local::typeof_i i_type;
- typedef local::typeof_x x_type;
- }
- int main(void) { f(0); }
- @endcode
- This can be fixed by adding <c>typename</c> in front of <c>local::typeof_i</c>
- and <c>local::typeof_x</c> (which is the approach followed by the
- implementation of the @RefMacro{BOOST_SCOPE_EXIT_TPL} macro).
- @Note Although @RefMacro{BOOST_SCOPE_EXIT_TPL} has the same suffix as
- <c>BOOST_TYPEOF_TPL</c>, it does not follow the Boost.Typeof convention.
- @See @RefSect{tutorial, Tutorial} section, @RefMacro{BOOST_SCOPE_EXIT},
- @RefMacro{BOOST_SCOPE_EXIT_END}, @RefMacro{BOOST_SCOPE_EXIT_ID_TPL}.
- */
- #define BOOST_SCOPE_EXIT_TPL(capture_list)
- /**
- @brief This macro allows to expand multiple scope exit declarations on the same
- line.
- This macro is equivalent to @RefMacro{BOOST_SCOPE_EXIT} but it can be expanded
- multiple times on the same line if different identifiers <c>id</c> are provided
- for each expansion (see @RefMacro{BOOST_SCOPE_EXIT} for more information).
- @Params
- @Param{id,
- A unique identifier token which can be concatenated by the preprocessor
- (<c>__LINE__</c>\, <c>scope_exit_number_1_on_line_123</c>\, a combination of
- alphanumeric tokens\, etc).
- }
- @Param{capture_list,
- Same as the <c>capture_list</c> parameter of the @RefMacro{BOOST_SCOPE_EXIT}
- macro.
- }
- @EndParams
- @Note This macro can be useful when the scope exit macros are expanded
- within user-defined macros (because nested macros expand on the same line).
- On some compilers (e.g., MSVC which supports the non standard
- <c>__COUNTER__</c> macro) it might not be necessary to use this macro but
- the use of this macro is always necessary to ensure portability when expanding
- multiple scope exit declarations on the same line.
- @See @RefSect{tutorial, Tutorial} section, @RefMacro{BOOST_SCOPE_EXIT},
- @RefMacro{BOOST_SCOPE_EXIT_END_ID}, @RefMacro{BOOST_SCOPE_EXIT_ALL_ID},
- @RefMacro{BOOST_SCOPE_EXIT_ID_TPL}.
- */
- #define BOOST_SCOPE_EXIT_ID(id, capture_list)
- /**
- @brief This macro is required to expand multiple scope exit declarations on the
- same line within templates on various versions of GCC.
- This macro is equivalent to @RefMacro{BOOST_SCOPE_EXIT_TPL} but it can be
- expanded multiple times on the same line if different identifiers <c>id</c> are
- provided for each expansion (see @RefMacro{BOOST_SCOPE_EXIT_TPL} for more
- information).
- As with @RefMacro{BOOST_SCOPE_EXIT_TPL}, it is recommended to always use this
- macro when expanding scope exits multiple times on the same line within
- templates.
- @Params
- @Param{id,
- A unique identifier token which can be concatenated by the preprocessor
- (<c>__LINE__</c>\, <c>scope_exit_number_1_on_line_123</c>\, a combination of
- alphanumeric tokens\, etc).
- }
- @Param{capture_list,
- Same as the <c>capture_list</c> parameter of the
- @RefMacro{BOOST_SCOPE_EXIT_TPL} macro.
- }
- @EndParams
- @Note This macro can be useful when the scope exit macros are expanded
- within user-defined macros (because nested macros expand on the same line).
- On some compilers (e.g., MSVC which supports the non standard
- <c>__COUNTER__</c> macro) it might not be necessary to use this macro but
- the use of this macro is always necessary to ensure portability when expanding
- multiple scope exit declarations on the same line.
- @See @RefSect{tutorial, Tutorial} section, @RefMacro{BOOST_SCOPE_EXIT_TPL},
- @RefMacro{BOOST_SCOPE_EXIT_END_ID}, @RefMacro{BOOST_SCOPE_EXIT_ID},
- @RefMacro{BOOST_SCOPE_EXIT_ALL_ID}.
- */
- #define BOOST_SCOPE_EXIT_ID_TPL(id, capture_list)
- /**
- @brief This macro declares a scope exit that captures all variables in scope
- (C++11 only).
- This macro accepts a capture list starting with either <c>&</c> or <c>=</c> to capture all variables in scope by reference or value respectively (following the same syntax of C++11 lambdas).
- A part from that, this macro works like @RefMacro{BOOST_SCOPE_EXIT} (see @RefMacro{BOOST_SCOPE_EXIT} for more information):
- @code
- { // Some local scope.
- ...
- BOOST_SCOPE_EXIT_ALL(capture_list) { // C++11 only.
- ... // Body code.
- }; // Use `;` instead of `BOOST_SCOPE_EXIT_END` (C++11 only).
- ...
- }
- @endcode
- Note how the end of the scope exit body declared by this macro must be marked
- by a semi-column <c>;</c> (and not by @RefMacro{BOOST_SCOPE_EXIT_END}).
- @Warning This macro is only available on C++11 compilers (specifically, on
- C++11 compilers that do not define the Boost.Config <c>BOOST_NO_CXX11_LAMBDAS</c>
- macro).
- It is not defined on non-C++11 compilers so its use on non-C++11 compilers will generate a compiler error.
- @Params
- @Param{capture_list,
- On compilers that support variadic macros (see also Boost.Config
- <c>BOOST_NO_CXX11_VARIADIC_MACROS</c>)\, the capture list syntax is defined by the
- following grammar:
- @code
- capture_list:
- capture_tuple | capture_sequence
- capture_tuple:
- {& | =} [\, capture\, capture\, ...]
- capture_sequence:
- {(&) | (=)} [(capture) (capture) ...]
- capture:
- [&]variable | this_
- @endcode
- On compilers that do not support variadic macros\, <c>capture_tuple</c> cannot
- be used:
- @code
- capture_list:
- void | capture_sequence
- @endcode
- Furthermore\, on C++11 compilers that support the use of <c>typename</c>
- outside templates\, also <c>this</c> can be used to capture the object at member
- function scope:
- @code
- capture:
- [&]variable | this_ | this
- @endcode
- (Lexical conventions: <c>token1 | token2</c> means either <c>token1</c> or
- <c>token2</c>; <c>[token]</c> means either <c>token</c> or nothing;
- <c>{expression}</c> means the token resulting from the expression.)
- }
- @EndParams
- Note that on compilers with variadic macro support (which should be all C++11
- compilers), the capture list can be specified as a comma-separated list.
- On all compilers, the same macro @RefMacro{BOOST_SCOPE_EXIT_ALL} also allows to
- specify the capture list as a Boost.Preprocessor sequence.
- The capture list must always contain at least the leading <c>&</c> or <c>=</c>
- so it can never be <c>void</c> (<c>BOOST_SCOPE_EXIT(void)</c> should be used
- to program scope exits with an empty capture list).
- In general, the special macro @RefMacro{BOOST_SCOPE_EXIT_ALL_ID} must be used
- instead of @RefMacro{BOOST_SCOPE_EXIT_ALL} when it is necessary to expand
- multiple scope exit declarations on the same line.
- @Warning This macro capture list follows the exact same syntax of C++11 lambda
- captures which is unfortunately different from the syntax of
- @RefMacro{BOOST_SCOPE_EXIT} captures (unless programmers define the
- @RefMacro{BOOST_SCOPE_EXIT_CONFIG_USE_LAMBDAS} macro).
- For example, like C++11 lambda functions, @RefMacro{BOOST_SCOPE_EXIT_ALL}
- requires to capture data members by capturing the object <c>this</c> while
- @RefMacro{BOOST_SCOPE_EXIT} allows to capture data members directly and without
- capturing the object.
- @Warning The implementation executes the scope exit body within a destructor
- thus the scope exit body must never throw in order to comply with STL exception
- safety requirements.
- @Note This macro can always be used also within templates (so there is no need
- for a <c>BOOST_SCOPE_EXIT_ALL_TPL</c> macro).
- @See @RefSect{tutorial, Tutorial} section,
- @RefSect{no_variadic_macros, No Variadic Macros} section,
- @RefMacro{BOOST_SCOPE_EXIT}, @RefMacro{BOOST_SCOPE_EXIT_ALL_ID}.
- */
- #define BOOST_SCOPE_EXIT_ALL(capture_list)
- /**
- @brief This macro allows to expand on the same line multiple scope exits that
- capture all variables in scope (C++11 only).
- This macro is equivalent to @RefMacro{BOOST_SCOPE_EXIT_ALL} but it can be
- expanded multiple times on the same line if different identifiers <c>id</c> are
- provided for each expansion (see @RefMacro{BOOST_SCOPE_EXIT_ALL} for more
- information).
- As with @RefMacro{BOOST_SCOPE_EXIT_ALL}, this macro is only available on C++11
- compilers (specifically, on C++11 compilers that do not define the
- Boost.Config <c>BOOST_NO_CXX11_LAMBDAS</c> macro).
- @Params
- @Param{id,
- A unique identifier token which can be concatenated by the preprocessor
- (<c>__LINE__</c>\, <c>scope_exit_number_1_on_line_123</c>\, a combination of
- alphanumeric tokens\, etc).
- }
- @Param{capture_list,
- Same as the <c>capture_list</c> parameter of the
- @RefMacro{BOOST_SCOPE_EXIT_ALL} macro.
- }
- @EndParams
- @Note This macro can be useful when the scope exit macros are expanded
- within user-defined macros (because nested macros expand on the same line).
- On some compilers (e.g., MSVC which supports the non standard
- <c>__COUNTER__</c> macro) it might not be necessary to use this macro but
- the use of this macro is always necessary to ensure portability when expanding
- multiple scope exit declarations on the same line.
- @See @RefSect{tutorial, Tutorial} section, @RefMacro{BOOST_SCOPE_EXIT_ALL},
- @RefMacro{BOOST_SCOPE_EXIT_ID}.
- */
- #define BOOST_SCOPE_EXIT_ALL_ID(id, capture_list)
- /**
- @brief This macro marks the end of a scope exit body.
- This macro must follow the closing curly bracket <c>}</c> that ends the body of
- either @RefMacro{BOOST_SCOPE_EXIT} or @RefMacro{BOOST_SCOPE_EXIT_TPL}:
- @code
- { // Some local scope.
- ...
- BOOST_SCOPE_EXIT(capture_list) {
- ... // Body code.
- } BOOST_SCOPE_EXIT_END
- ...
- }
- @endcode
- In general, the special macro @RefMacro{BOOST_SCOPE_EXIT_END_ID} must be used
- instead of @RefMacro{BOOST_SCOPE_EXIT_END} when it is necessary to expand
- multiple scope exit bodies on the same line.
- @Note If programmers define the @RefMacro{BOOST_SCOPE_EXIT_CONFIG_USE_LAMBDAS}
- macro on C++11 compilers, a semicolon <c>;</c> can be used instead of this
- macro.
- However, to maximize portability, it is recommended to always use
- @RefMacro{BOOST_SCOPE_EXIT_END}.
- @See @RefSect{tutorial, Tutorial} section, @RefMacro{BOOST_SCOPE_EXIT},
- @RefMacro{BOOST_SCOPE_EXIT_TPL}, @RefMacro{BOOST_SCOPE_EXIT_END_ID}.
- */
- #define BOOST_SCOPE_EXIT_END
- /**
- @brief This macro allows to terminate multiple scope exit bodies on the same
- line.
- This macro is equivalent to @RefMacro{BOOST_SCOPE_EXIT_END} but it can be
- expanded multiple times on the same line if different identifiers <c>id</c> are
- provided for each expansion (see @RefMacro{BOOST_SCOPE_EXIT_END} for more
- information).
- @Params
- @Param{id,
- A unique identifier token which can be concatenated by the preprocessor
- (<c>__LINE__</c>\, <c>scope_exit_number_1_on_line_123</c>\, a combination of
- alphanumeric tokens\, etc).
- }
- @EndParams
- @Note This macro can be useful when the scope exit macros are expanded
- within user-defined macros (because macros all expand on the same line).
- On some compilers (e.g., MSVC which supports the non standard
- <c>__COUNTER__</c> macro) it might not be necessary to use this macro but
- the use of this macro is always necessary to ensure portability when expanding
- multiple scope exit macros on the same line (because this library can only
- portably use <c>__LINE__</c> to internally generate unique identifiers).
- @See @RefMacro{BOOST_SCOPE_EXIT_ID}, @RefMacro{BOOST_SCOPE_EXIT_ID_TPL},
- @RefMacro{BOOST_SCOPE_EXIT_END}.
- */
- #define BOOST_SCOPE_EXIT_END_ID(id)
- /**
- @brief Force to use C++11 lambda functions to implement scope exits.
- If programmers define this configuration macro on a C++11 compiler for which
- the Boost.Config macro <c>BOOST_NO_CXX11_LAMBDAS</c> is not defined, the
- @RefMacro{BOOST_SCOPE_EXIT} and @RefMacro{BOOST_SCOPE_EXIT_TPL} macros will use
- C++11 lambda functions to declare scope exits.
- By default this macro is not defined.
- @Warning When scope exits are implemented using lambda functions, the syntax of
- the capture list follows the exact same syntax of C++11 lambda captures
- which is in general different from the legacy capture syntax of this library.
- For example, C++11 lambdas require to capture data members by capturing the
- object <c>this</c> while this library always allowed to capture data members
- directly.
- Therefore, when this configuration macro is defined,
- @RefMacro{BOOST_SCOPE_EXIT} and @RefMacro{BOOST_SCOPE_EXIT_TPL} are no longer
- backward compatible (and this is why this macro is not defined by default).
- A semicolon <c>;</c> can be used instead of @RefMacro{BOOST_SCOPE_EXIT_END}
- when this configuration macro is defined (but it is recommended to always use
- @RefMacro{BOOST_SCOPE_EXIT_END} so to maximize portability).
- @Note This configuration macro does not control the definition of
- @RefMacro{BOOST_SCOPE_EXIT_ALL} which is always and automatically defined on
- compilers that support C++11 lambda functions.
- @See @RefMacro{BOOST_SCOPE_EXIT}, @RefMacro{BOOST_SCOPE_EXIT_TPL},
- @RefMacro{BOOST_SCOPE_EXIT_END}.
- */
- #define BOOST_SCOPE_EXIT_CONFIG_USE_LAMBDAS
- #endif // DOXYGEN
- #endif // BOOST_SCOPE_EXIT_HPP
|