C++编程思想第1卷第9章内联函数预处理器的缺陷

最新推荐文章于 2024-10-21 22:51:41 发布

原创最新推荐文章于 2024-10-21 22:51:41 发布 · 184 阅读

0 ·

本内容遵循CC 4.0 BY-SA版权协议

标签

#C 编程思想

c++编程思想专栏收录该内容

418 篇文章

订阅专栏

本文探讨了C++中预处理器宏的潜在问题，特别是在表达式参数处理方面。通过一个具体的例子展示了宏与函数行为的不同之处，并指出了解决此类问题的方法。

预处理器宏存在问题的关键是我们可能认为预处理器的行为和编译器的行为
一样。

当宏调用中使用表达式作为参数会出现问题

只要使用一个“普通”参数，宏和真的函数的工作方式非常相似
但只要一松懈并开始相信它是一个真的函数时，问题就出现了

//: C09:MacroSideEffects.cpp
// From Thinking in C++, 2nd Edition
// Available at http://www.BruceEckel.com
// (c) Bruce Eckel 2000
// Copyright notice in Copyright.txt
#include "../require.h"
#include <fstream>
using namespace std;

#define BAND(x) (((x)>5 && (x)<10) ? (x) : 0)

int main() {
  ofstream out("macro.out");
  assure(out, "macro.out");
  for(int i = 4; i < 11; i++) {
    int a = i;
    out << "a = " << a << endl << '\t';
    out << "BAND(++a)=" << BAND(++a) << endl;
    out << "\t a = " << a << endl;
  }
} ///:~

宏名中所有大写字母的使用
大写的字母告诉读者这是一个宏而不是一个函数，如果出问题，可以起到
一定的提示作用

a等于4 表达式只求值一次 ++a=5
之后两个表达式都测试，产生两次自增操作，产生的结果再次对参数操作

这不是我们看起来像函数调用的宏中希望得到的行为
解决方法是设计真正的函数
多次调用函数会增加额外的开销并可能降低效率

输出在工程目录下
macro.out
a = 4
   BAND(++a)=0
   a = 5
a = 5
   BAND(++a)=8
   a = 8
a = 6
   BAND(++a)=9
   a = 9
a = 7
   BAND(++a)=10
   a = 10
a = 8
   BAND(++a)=0
   a = 10
a = 9
   BAND(++a)=0
   a = 11
a = 10
   BAND(++a)=0
   a = 12