具有某种条件的宏

Question

我正在尝试创建一个宏，这样我就可以避免某些输入，并使其更好/更容易地定义属性，这就是我的想法：

#define DefineProperty(Access, Type, Name) \
property<Access, Type> ##Name; \
void Set##Name(Type); \
Type Get##Name(void); \

其中 Access 是一个具有三个可能值的枚举：ReadOnly、WriteOnly 和 ReadWrite。仅当访问值适合该方法时才应定义宏中的方法。

这是否有可能以任何方式（例如使用元编程）实现？

Answer 1

是的，您可以相当轻松地完成此操作：

#define DefineGetReadOnly(Name, Type)  Type Get##Name();
#define DefineGetReadWrite(Name, Type) Type Get##Name();
#define DefineGetWriteOnly(Name, Type)

#define DefineProperty(Access, Type, Name) \
    DefineGet##Access(Name, Type)

宏替换如下所示：

DefineProperty(ReadOnly, int, Foo)
DefineGetReadOnly(Foo, int)
int GetFoo();

DefineProperty(WriteOnly, int, Bar)
DefineGetWriteOnly(Bar, int)
/* no tokens */

Answer 2

麦克内利斯的回答相当直接和简单。但是，如果您有兴趣，也很有可能使用模板元编程来构建您想要的内容。去年我一直在完善一个库来做到这一点。

我不能全部分享，它是专有的，不属于我所有。但我可以向您指出我发现最容易使用的方向。查看 Abrahams 和 Gurtovoy 的《C++ 模板元编程》第 9.5 节中描述的技术。将其与 boost::tuple 和 boost::fusion 对象进行比较。请注意，您可以通过定义新类型来声明“名称”。因此，您可以创建您可能会使用的东西，如下所示：

struct object_with_properties : construct_property_object< mpl::vector< mpl::pair< property<access,type>, name> ... > >::type
{};

object_with_properties owp;
get<name>(owp);
set<name>(owp, value);

// or maybe
get<name>(owp) = value;

我的系统实际上允许您定义这样的对象，其属性由函数实现。但它要复杂得多，我还没有找到一种方法将其简化到上述程度。为此，我从一篇名为“通过模板元编程实现反射支持”的文章开始，该文章位于网络上的某处……可能是从 ACM 中提取的。