c++ - BOOST_PP_DEFINED 可以实现吗？

Question

是否可以编写一个类似函数的 C 预处理器宏，如果定义了参数则返回 1，否则返回 0？让我们将其称为 BOOST_PP_DEFINED，类比其他 boost 预处理器宏，我们可以假设它们也在发挥作用:

#define BOOST_PP_DEFINED(VAR) ???

#define XXX
BOOST_PP_DEFINED(XXX)  // expands to 1
#undef XXX
BOOST_PP_DEFINED(XXX)  // expands to 0

我希望将 BOOST_PP_DEFINED 的结果与 BOOST_PP_IIF 一起使用:

#define MAGIC(ARG) BOOST_PP_IIF(BOOST_PP_DEFINED(ARG), CHOICE1, CHOICE2)

换句话说，我希望 MAGIC(ARG) 的扩展根据 ARG 在 MAGIC 展开:

#define FOO
MAGIC(FOO)  // expands to CHOICE1 (or the expansion of CHOICE1)
#undef FOO
MAGIC(FOO)  // expands to CHOICE2 (or the expansion of CHOICE2)

我还发现以下不起作用很有趣(并且有点令人惊讶):

#define MAGIC(ARG) BOOST_PP_IIF(defined(arg), CHOICE1, CHOICE2)

因为 defined 显然仅在用作 #if 表达式的一部分时在预处理器中有效。

我有点怀疑 boost 预处理器还没有提供 BOOST_PP_DEFINED 的事实证明它是不可能的，但问问也无妨。或者，关于如何实现这一点，我是否遗漏了一些非常明显的东西。

编辑:为了增加一些动力，这就是我想要这个的原因。使用“API”宏来控制导入/导出的传统方法是为每个库声明一组新的宏，这意味着一个新的 header 等。所以如果我们在 中有 class Base >libbase 和libderived 中的class Derived，那么我们有如下内容:

// base_config.hpp
#if LIBBASE_COMPILING
#define LIBBASE_API __declspec(dllexport)
#else
#define LIBBASE_API __declspec(dllimport)

// base.hpp
#include "base_config.hpp"
class LIBBASE_API base {
public:
    base();
};

// base.cpp
#include "base.hpp"
base::base() = default;

// derived_config.hpp
#if LIBDERIVED_COMPILING
#define LIBDERIVED_API __declspec(dllexport)
#else
#define LIBDERIVED_API __declspec(dllimport)

// derived.hpp
#include "derived_config.hpp"
#include "base.hpp"
class LIBDERIVED_API derived : public base {
public:
    derived();
};

// derived.cpp
#include "derived.hpp"
derived::derived() = default;

现在，很明显，每个 _config.hpp header 确实要复杂得多，定义了几个宏。我们或许可以将一些共性提取到一个通用的 config_support.hpp 文件中，但不是全部。因此，为了简化这个困惑局面，我想知道是否有可能使它成为通用的，以便可以使用一组宏，但这将根据 _COMPILING 宏所在的位置进行不同的扩展播放:

// config.hpp
#define EXPORT __declspec(dllexport)
#define IMPORT __declspec(dllimport)

#define API_IMPL2(COND) BOOST_PP_IIF(COND, EXPORT, IMPORT)()
#define API_IMPL(ARG) API_IMPL2(BOOST_PP_DEFINED(ARG))
#define API(LIB) API_IMPL(LIB ## _COMPILING)

// base.hpp
#include "config.hpp"
class API(LIBBASE) base {
public:
    base();
};

// base.cpp
#include "base.hpp"
base::base() = default;

// derived.hpp
#include "config.hpp"
#include "base.hpp"
class API(LIBDERIVED) derived : public base {
public:
    derived();
};

// derived.cpp
#include "derived.hpp"
derived::derived() = default;

换句话说，当编译 base.cpp 时，API(LIBBASE) 将扩展为 __declspec(dllexport) 因为 LIBBASE_COMPILING 是在命令行上定义的，但是在编译 derived.cpp 时 API(LIBBASE) 会扩展为 __declspec(dllimport) 因为LIBBASE_COMPILING 未在命令行上定义，但 API(LIBDERIVED) 现在将扩展为 __declspec(dllexport)因为 LIBDERIVED_COMPILING 会。但要使其发挥作用，API 宏根据上下文进行扩展至关重要。

Answer 1

看起来你可以使用 BOOST_VMD_IS_EMPTY实现所需的行为。如果输入为空，则此宏返回 1；如果输入不为空，则返回 0。

基于观察的技巧，当 #define XXX 定义 XXX 时，空参数列表在扩展期间传递给 BOOST_VMD_IS_EMPTY(XXX) .

MAGIC 宏的示例实现:

#ifndef BOOST_PP_VARIADICS
#define BOOST_PP_VARIADICS
#endif

#include <boost/vmd/is_empty.hpp>
#include <boost/preprocessor/control/iif.hpp>

#define MAGIC(XXX) BOOST_PP_IIF(BOOST_VMD_IS_EMPTY(XXX), 3, 4)

#define XXX
int x = MAGIC(XXX);
#undef XXX
int p = MAGIC(XXX);

对于 Boost 1.62 和 VS2015 预处理器输出将是:

int x = 3;
int p = 4;

这种方法有很多缺陷，例如如果 XXX 是用 #define XXX 1 定义的，它就不起作用。 BOOST_VMD_IS_EMPTY 本身有 limitations .

编辑:

下面是基于 BOOST_VMD_IS_EMPTY 的所需 API 宏的实现:

// config.hpp
#ifndef BOOST_PP_VARIADICS
#define BOOST_PP_VARIADICS
#endif

#include <boost/vmd/is_empty.hpp>
#include <boost/preprocessor/control/iif.hpp>

#define EXPORT __declspec(dllexport)
#define IMPORT __declspec(dllimport)

#define API_IMPL2(COND) BOOST_PP_IIF(COND, EXPORT, IMPORT)
#define API_IMPL(ARG) API_IMPL2(BOOST_VMD_IS_EMPTY(ARG))
#define API(LIB) API_IMPL(LIB ## _COMPILING)

让我们看看预处理器将输出什么:

// base.hpp
#include "config.hpp"
class API(LIBBASE) base {
public:
    base();
};

当 LIBBASE_COMPILING 定义时，GCC 输出:

class __attribute__((dllexport)) Base
{
  public:
    Base();
}; 

当 LIBBASE_COMPILING 未定义时，GCC 输出:

class __attribute__((dllimport)) Base
{
  public:
    Base();
};

使用 VS2015 和 GCC 5.4 (Cygwin) 测试

编辑 2: 正如@acm 在使用 -DFOO 定义参数时提到的那样，它与 -DFOO=1 或 #define FOO 1 相同。在这种情况下，基于 BOOST_VMD_IS_EMPTY 的方法不起作用。要克服它，您可以使用 BOOST_VMD_IS_NUMBER (感谢@jv_ 的想法)。实现:

#ifndef BOOST_PP_VARIADICS
#define BOOST_PP_VARIADICS
#endif

#include <boost/vmd/is_number.hpp>
#include <boost/preprocessor/control/iif.hpp>

#define EXPORT __declspec(dllexport)
#define IMPORT __declspec(dllimport)

#define API_IMPL2(COND) BOOST_PP_IIF(COND, EXPORT, IMPORT)
#define API_IMPL(ARG) API_IMPL2(BOOST_VMD_IS_NUMBER(ARG))
#define API(LIB) API_IMPL(LIB ## _COMPILING)