BOOST_PP_ASSERT

BOOST_PP_ASSERT(cond)

#include <boost/preprocessor/cat.hpp>
#include <boost/preprocessor/debug/assert.hpp>
#include <boost/preprocessor/logical/bitnor.hpp>
#include <boost/preprocessor/logical/compl.hpp>

// BOOST_PP_IS_NULLARY マクロはこのライブラリの公開された
// インターフェースには含まれていないが、それはこれが
// Borland 社のプリプロセッサでは動かないからである。
// それはアサーションを例示するためにここだけで使われる。
// 実際には、それは引数が空の丸カッコであるかそれとも
// 何らかのテキストであるかを見極める。

#include <boost/preprocessor/detail/is_nullary.hpp>

# define IS_EDISON_DESIGN_GROUP() \
    BOOST_PP_COMPL( \
        BOOST_PP_IS_NULLARY( \
            BOOST_PP_CAT(IS_EDG_CHECK, __EDG_VERSION) \
        ) \
    ) \
    /**/
# define IS_EDG_CHECK__EDG_VERSION ()

# define IS_METROWERKS() \
    BOOST_PP_COMPL( \
        BOOST_PP_IS_NULLARY( \
            BOOST_PP_CAT(IS_MWERKS_CHECK, __MWERKS__) \
        ) \
    ) \
    /**/
# define IS_MWERKS_CHECK__MWERKS__ ()

# define IS_MICROSOFT() \
    BOOST_PP_BITNOR( \
        IS_MICROSOFT_ROOT(), \
        IS_EDISON_DESIGN_GROUP() \
    ) \
    /**/
# define IS_MICROSOFT_ROOT() \
    BOOST_PP_IS_NULLARY( \
        BOOST_PP_CAT(IS_MSVC_CHECK, _MSC_VER) \
    ) \
    /**/
# define IS_MSVC_CHECK_MS_VER ()

// このマクロは EDG 上では動かない...
// (これはただの例である)

# define MACRO(n) \
    BOOST_PP_CAT( \
        MACRO_, \
        IS_EDISON_DESIGN_GROUP() \
    )(n) \
    /**/

# define MACRO_1(n) \
    BOOST_PP_ASSERT(0) \
    "Edison Design Group is not supported" \
    /**/

# define MACRO_0(n) normal mode: n

MACRO(10)