c++ - 为什么我们说#define Processor 在程序中创建多个拷贝？

Question

我刚刚在阅读 Effective C++， 第三版 第 2 项:Prefer const, enum and inline to #define 其中之一给出的原因是在使用 #define 时，预处理器在我们的目标代码中创建了 #define 的多个拷贝。我真的不明白为什么预处理器会创建多个 #define 拷贝？因为我所知道的是它只是替换它找到该宏的地方。

另外，当我为我的代码创建汇编代码时，我几乎得到了相同的汇编代码？

例如:

int main()                            
{
   const int MAGICNUM 5;      
   int i=MAGICNUM*1;
   int j=MAGICNUM*2;
   int k=MAGICNUM*3;
   int l=MAGICNUM*4;
   int m=MAGICNUM*5;
} 

对应的汇编代码:

0004 C745E805       movl    $5, -24(%rbp)
     000000
000b C745EC05       movl    $5, -20(%rbp)
     000000
0012 C745F00A       movl    $10, -16(%rbp)
     000000
0019 C745F40F       movl    $15, -12(%rbp)
     000000
0020 C745F814       movl    $20, -8(%rbp)
     000000
0027 C745FC19       movl    $25, -4(%rbp)
     000000

即使我使用#define，我也得到了相同的代码。使用 assembly.ynh.io 生成的汇编代码。

Answer 1

如果你使用#define 来创建一个像 int 这样的原始类型的命名常量，那没关系，因为预处理器总是“知道”int 是什么，但是在这种情况下，最好使用 const(或c++11 中的 constexpr) 变量，因此编译器将找出类型并进一步优化您的代码。如果您在 #define 中创建一个类对象，情况就不同了，因为如果您在另一个翻译单元中使用它，则会构造另一个对象。