c++ - 如果#pragma push_macro 没有#pragma pop_macro 会发生什么？

Question

使用#pragma pop_macro("int")

#include <iostream>
using namespace std;
#define int double
void main()
{
    int iOne = 1;
    cout << sizeof(iOne) << endl;
#pragma push_macro("int")
#undef int
    int iTwo = 2;
    cout << sizeof(iTwo) << endl;
#pragma pop_macro("int")
}

---

没有#pragma pop_macro("int")

#include <iostream>
using namespace std;
#define int double
void main()
{
    int iOne = 1;
    cout << sizeof(iOne) << endl;
#pragma push_macro("int")
#undef int
    int iTwo = 2;

    cout << sizeof(iTwo) << endl;
//#pragma pop_macro("int")
}

---

我刚刚在 vs2017 上试过，没有什么不同。两者都没有警告/错误，工作正常，并且输出相同:

8

4

---

所以，我的问题是:

• 为什么 vs 允许这种行为？
• 是 UB 吗？

Answer 1

很粗暴的说，push_macro的意思是“存储宏的当前定义”，pop_macro的意思是“恢复保存的宏定义”。

这两个命令在当前翻译单元(即当前编译的 cpp 文件和包含头文件)的范围内都有意义。

因此，如果您不调用 pop_macro，则不会恢复宏的定义，这是完全允许的，并不意味着 UB。

放在示例“With pop_macro”末尾的 pop_macro 实际上没有任何效果，因为它后面没有要编译的代码

请注意，我们讨论的是编译时发生的事情，而不是运行时