首页 > 后端开发 > C++ > 为什么 MSVC 可变参数宏扩展与 GCC 不同,我们如何克服这种差异?

为什么 MSVC 可变参数宏扩展与 GCC 不同,我们如何克服这种差异?

Barbara Streisand
发布: 2024-11-06 09:10:02
原创
886 人浏览过

Why does MSVC   variadic macro expansion differ from GCC, and how can we overcome this discrepancy?

MSVC 可变参数宏扩展

可变参数宏提供多功能扩展功能,允许您处理宏内的多个参数。在 GCC 中,类似以下的宏按预期工作:

<code class="cpp">#define VA_NARGS_IMPL(_1, _2, _3, _4, _5, N, ...) N
#define VA_NARGS(...) VA_NARGS_IMPL(__VA_ARGS__, 5, 4, 3, 2, 1)

#define FULLY_EXPANDED(count, ...) \
  MAC ## count (__VA_ARGS__)

#define SEMI_EXPANDED(count, ...) FULLY_EXPANDED(count, __VA_ARGS__)

#define EXPAND_THESE(...) SEMI_EXPANDED(VA_NARGS(__VA_ARGS__), __VA_ARGS__)

#define ACTUAL_MACRO(x) parent->GetProperty<x>();
#define MAC1(a) ACTUAL_MACRO(a)
#define MAC2(a,b) MAC1(a) ACTUAL_MACRO(b)
#define MAC3(a,b,c) MAC2(a,b) ACTUAL_MACRO(c)
#define MAC4(a,b,c,d) MAC3(a,b,c) ACTUAL_MACRO(d)
#define MAC5(a,b,c,d,e) MAC4(a,b,c,d) ACTUAL_MACRO(e)</code>
登录后复制

MSVC 扩展行为

但是,在 Microsoft 的 C 编译器 (MSVC ) 中,宏扩展的行为有所不同。 MSVC 不是单独扩展每个参数,而是将所有参数连接成一个表达式。

struct MyStructure<br>{<br> void Foo()<br> {</p>
<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false">EXPAND_THESE(Property1, Property2, Property3, Property4)
登录后复制

}

基础 * 父级;
};

GCC 扩展:

{<br> void Foo()<br> {</p><div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false">parent->GetProperty<Property1>(); parent->GetProperty<Property2>(); parent->GetProperty<Property3>(); parent->GetProperty<Property4>();</p> <p>}</p> <p>基础 * 父级;<br>}<br>

MSVC 扩展:

struct MyStructure<br>{<br> void Foo()<br> {</p>
<pre class="brush:php;toolbar:false">parent->GetProperty<Property1, Property2, Property3, Property4>();
登录后复制

}

Base *parent;
}

解决方案:

Jeff Walden 提出了一种解决方法,使用以下模式:

<code class="cpp">#define ERRORn(...) ERROR_CHOOSE_HELPERn(COUNT_ARGS_MAX5(__VA_ARGS__), __VA_ARGS__)
#define ERROR_CHOOSE_HELPER1(count) ERROR1
#define ERROR_CHOOSE_HELPER2(count) ERROR2
#define ERROR_CHOOSE_HELPER(count) ERROR_CHOOSE_HELPER##count</code>
登录后复制

此方法需要为每个所需的可变参数宏计数(例如 ERROR1、ERROR2 等)定义一个 CHOOSE_HELPER 宏。但是,必须在可变参数宏定义的范围内声明每个 CHOOSE_HELPER 宏。

更简洁和可移植的解决方案是利用以下技术:

<code class="cpp">#define GLUE(x, y) x y

#define RETURN_ARG_COUNT(_1_, _2_, _3_, _4_, _5_, count, ...) count
#define EXPAND_ARGS(args) RETURN_ARG_COUNT args
#define COUNT_ARGS_MAX5(...) EXPAND_ARGS((__VA_ARGS__, 5, 4, 3, 2, 1, 0))

#define OVERLOAD_MACRO2(name, count) name##count
#define OVERLOAD_MACRO1(name, count) OVERLOAD_MACRO2(name, count)
#define OVERLOAD_MACRO(name, count) OVERLOAD_MACRO1(name, count)

#define CALL_OVERLOAD(name, ...) GLUE(OVERLOAD_MACRO(name, COUNT_ARGS_MAX5(__VA_ARGS__)), (__VA_ARGS__))</code>
登录后复制

使用此设置,宏可以定义为:

<code class="cpp">#define ERROR1(title) printf("Error: %s\n", title)
#define ERROR2(title, message)\
    ERROR1(title);\
    printf("Message: %s\n", message)
#define ERROR(...) CALL_OVERLOAD(ERROR, __VA_ARGS__)

#define ASSERT1(expr) singleArgumentExpansion(expr)
#define ASSERT2(expr, explain) twoArgumentExpansion(expr, explain)
#define ASSERT(...) CALL_OVERLOAD(ASSERT, __VA_ARGS__)</code>
登录后复制

通过使用 OVERLOAD_MACRO 层次结构,可以避免定义 CHOOSE_HELPER 宏。

以上是为什么 MSVC 可变参数宏扩展与 GCC 不同,我们如何克服这种差异?的详细内容。更多信息请关注PHP中文网其他相关文章!

来源:php.cn
上一篇:如何使用 Qt 序列化自定义类? 下一篇:如何在字符串文字中包含双引号?
本站声明
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn
作者最新文章
最新问题
相关专题
更多>
热门推荐
热门教程
更多>
最新下载
更多>
网站特效
网站源码
网站素材
前端模板