可变宏宏

时间:2016-02-16 02:29:19

标签: c++ variadic-templates variadic-macros

我目前正在开展一个项目,我需要简化现有系统。 进入细节问题是我得到了一些函数指针(来自type:void *),我需要从中创建一个函数(=创建一个带签名的函数)。所以我的方法是创建以下可变参数模板函数:

template <typename ReturnType, typename ... Params>
ReturnType(*GetFunction(void* func, Params ...)) (Params ...)
{
    return reinterpret_cast<ReturnType(*) (Params ...)> (func);
}

现在我需要一种方法来创建所需的功能:

#define DECLARE_PARAMS(...) __VA_ARGS__

#define Define_Function(returnType, fname, Params) returnType Gen_##fname (DECLARE_PARAMS Params)\
{\
    return  FUNCTION_DIRECTCALL(returnType, fname, (DECLARE_PARAMS Params));\
}

这就是问题所在。 (我认为)Params不会扩展他们扩展的方式。但我不知道为什么?

我在DEFINE_FUNCTION宏中使用硬编码值测试了FUNCTION_DIRECTCALL(简单地将定义放入直接调用中)并且它有效,所以不应该出现错误但是我可以进行改进

#define FUNCTION_DIRECTCALL(returnType, functionName, ...) \
GetFunction<returnType>(functionName, DECLARE_PARAMS __VA_ARGS__) ( DECLARE_PARAMS __VA_ARGS__)

如果我尝试使用宏

定义一个函数
Define_Function(void, ThatFunction, (int a_, int b_)); // void ThatFunction(int a, int b);

我收到以下错误:“严重性代码说明项目文件行抑制状态错误(活动)不完整类型不允许[...] \ main.cpp 34”

所以我的问题是,我做错了什么?这个问题真的与DEFINE_FUNCTION宏中的Params有关,还是我错过了什么?

我使用宏,但我不认为自己是这方面的专家。但我理解的方式是(DECLARE_PARAMS Params)应该将参数扩展为:

int a_, int b_

在扫描之后我会期待以下代码:

void Gen_ThatFunction(int a_, int b_)
{
    return GetFunction<void>(ThatFunction, a_, b_) (a_, b_);
}

测试Directcall宏: 使用以下代码我测试了directcall宏的功能

因此我更改了Define_Function宏:

#define Define_Function(returnType, fname, Params) returnType Gen_##fname (DECLARE_PARAMS Params)   \
{\
    int a = 2, b = 3;\
    return  FUNCTION_DIRECTCALL(void, ThatFunction, (a, b) );\
}

ThatFunction的定义:

void ThatFunction(int a, int b)
{
    std::cout <<  a << " * " << b << " = " << b * a << std::endl;
}

输出:“2 * 3 = 6”

所有使用VC ++ 2015编译的代码

1 个答案:

答案 0 :(得分:0)

我知道如何做你所要求的唯一方法真是笨重。

#define DEFINE_FUNCTION(RET, NAME, TYPES, NAMES, BOTH) RET Gen_##NAME BOTH { return reinterpret_cast<RET(*)TYPES>(NAME) NAMES;  }

你可以像使用它一样:

DEFINE_FUNCTION(void, ThatFunction, (int, int), (a_, b_), (int a_, int b_))

void*(或函数)的返回类型和名称是前两个参数。接下来是括号括起来的参数类型列表,包含的参数名称,最后是封闭的类型AND名称。就像我说的那样,笨重。

这将生成函数:

void Gen_ThatFunction (int a_, int b_) { return reinterpret_cast<void(*)(int, int)>(ThatFunction) (a_, b_); }

然后您可以根据需要调用该函数:

Gen_ThatFunction(2, 3); //prints "2 * 3 = 6"

当然,请记住这是微软特有的。这里,括号括起来的逗号分隔项是单个宏参数。在任何其他编译器上,这不起作用(我很清楚)。