Effective C++_笔记_条款002_尽量以const、enum、inline替换#define

(整理自Effctive C++,转载请注明。整理者:华科小涛@http://www.cnblogs.com/hust-ghtao/

这个条款或许改为“宁可以编译器替换预处理器”比较好,因为或许#define不被视为语言的一部分,那正是它的问题所在。#define命令是C语言中的一个宏定义命令,它用来将一个标识符定义为一个字符串,该标识符被称为宏名,被定义的字符串称为替换文本。#define的基本用法有两种,都容易出现问题,C++也分别采用不同的方法进行解决。

1. 简单的宏定义


1.1 核心内容

   1: #define PI 3.14

记号名称PI也许从未被编译器看见,在编译器处理源码之前就被预处理器移走了。即记号名称PI根本就没进入记号表内。当你运用此常量但获得一个编译错误时,可能会带来困惑,因为这个错误信息也许会提到3.14而不是PI,当这个宏被定义在非你所写的头文件中,你肯定对3.14以及它来自何处毫无概念。

怎么解决这个问题呢?以一个常量替换上述的宏(#define)就可以了:

   1: const double Pi = 3.14  //大写名称通常用于宏,这里用改变名称写法

作为一个语言常量,Pi肯定会被编译器看到,当然就会就会进入到记号表内。

用常量替换#define,有两种特殊情况。

(1)定义常量指针。由于常量定义式通常被放在头文件内,因此有必要将指针声明为const。

(2)class内的专属常量。为了将常量的作用域限制于class内,必须让它成为class的一个成员;而为确保此常量至多只有一份实体,必须让它成为一个static成员。

1.2 概念补充

为了能够真正理解#define的作用,让我们来了解一下对C语言源程序的处理过程。C++程序从源代码到可执行的二进制文件经历了预处理、编译、汇编和连接几个过程。其中预处理器产生编译器的输入,它实现以下的功能:

(1)文件包含

可以把源程序中的#include 扩展为文件正文,即把包含的.h文件找到并展开到#include 所在处。

(2)条件编译

预处理器根据#ifdef和#ifndef等编译命令及其后的条件,将源程序中的某部分包含进来或排除在外,通常把排除在外的语句转换成空行。
(3)宏展开

    预处理器将源程序文件中出现的对宏的引用展开成相应的宏
定义,即本文所说的#define的功能,由预处理器来完成。
    经过预处理器处理的源程序与之前的源程序有所有不同,在这个阶段所进行的工作只是纯粹的替换与展开,没有任何计算功能,所以在学习#define命令时只要能真正理解这一点,这样才不会对此命令引起误解并误用。

2. 带参数的宏定义

   1: #define N 2+2
   2: void main()
   3: {
   4:    int a=N*N;
   5:    cout << a << endl ; 
   6: }

在此程序中存在着宏定义,宏N代表的字符串是2+2,在程序中有对宏N的使用,一般同学在读该程序时,容易产生的问题是先求解N为2+2=4,然后在程序中计算a时使用乘法,即N*N=4*4=16。但其实结果为8,原来宏展开是在预处理阶段完成的,这个阶段把替换文本只是看作一个字符串,并不会有任何的计算发生,在展开时是在宏N出现的地方
只是简单地使用串2+2来代替N,并不会增添任何的符号,所以对该程序展开后的结果是a=2+2*2+2,计算后=8。若要计算结果为16:

   1: #define N (2+2)

你以为加上括号,问题就能得到圆满解决?在原书上举了一个更加极端的例子:下面这个宏夹着带宏实参,调用函数f,

   1: #define CALL_WITH_MAX(a,b) f((a)>(b)?(a):(b))
   2: int a = 5 , b = 0 ;
   3: CALL_WITH_MAX(++a,b);//a被累加一次
   4: CALL_WITH_MAX(++a,b+10);//a被累加两次

在这里,调用f之前,a的递增次数竟然取决于“它和谁比较”!是不是很无聊。有另外一种更好的方法让你可以获得宏带来的效率以及一般函数的所有可预料行为和类型安全性—采用template
inline函数。

   1: template<typename T>
   2: inline void callWithMax(const T& a , const T& b)
   3: {
   4:     f(a > b ? a : b) ;
   5: }

这个template产生一整群函数,每个函数都接受两个同类型的对象,并以其中较大者调用f。这里不需要在函数本体中为参数加上括号,也不需要操心参数被核算多次。此外由于callWithMax是个真正的函数,遵守作用域和访问规则。

总结:

(1)对于单纯常量,最好以const对象或enums替换#defines。

(2)对于形似函数的宏,最好改用inline函数替换#defines。

时间: 2024-08-27 23:59:19

Effective C++_笔记_条款002_尽量以const、enum、inline替换#define的相关文章

Effective C++ 条款2 尽量以const,enum,inline替换#define

1. 有些情况下,宁可以编译器替换预处理器,因为#define并不被视为语言的一部分从而导致某些问题. 2. 不带参数的宏展开引起的符号"丢失"问题. 例如,对于"#define ASPECT_RATIO 1.635",编译器在处理源代码之前ASPECT_RATIO就已经被替换为1.635,于是记号名称有可能没有进入记号表(symbol table)内.如果由于运用此常量而获得一个编译错误,错误信息可能会提到1.635而不是ASPECT_RATIO,追踪它将会浪费时

Effective C++ Item 2 尽量以const, enum, inline 替换 #define

本文为senlie原创,转载请保留此地址:http://blog.csdn.net/zhengsenlie 尽量以const, enum,inline 替换 #define --> 宁可以编译器替换预处理器 1.对于单纯常量,最好以const 对象或enum替换#define 不要用 #define ASPECT_RATIO 1.653 而用 const doube AspectRatio = 1.653 两个使用const的特殊情况 1.指向常量char *的字符串的常量指针 const ch

NO.2 尽量以const,enum,inline 替换 #define

1.首先#define 定义不重视作用域(scope),虽然可以#undef控制,但是不美观,还存在多次替换的问题,以及没有任何封装性. 2.const XXX_XX,保证其常量性以及可控的作用域,如果是指针类型则 const XXXX* const ptr="hello world",也可以完美替换#defin 3.enum hack 替换数组大小问题,和#define 一样不会导致非必要内存(只有在声明enum类型时有内存) 4.宏函数会产生很多问题,没有对参数的各种限制,而inl

Book. Effective C++ item2-尽量使用const, enum, inline替换#define

##常规变量 c++里面的#define后面的定义部分,是不算代码的一部分的.所以如果你使用#define: #define ASPECT_RATIO 1.653 你希望这个代号ASPECT RATIO这个代号是能够被编译器加入到记号表(symbol table)里面,如果调试的时候,这个部分出现问题,能够很快的发现出来.但是很多时候我们的预处理器会把这个变量移除,只保留了一个1.653的常量,如果Debug的时候这个常量出现了错误,你是很难定位到自己需要修改代码的地方的,这就会造成我们在使用中

条款2:尽量以const enum inline 来替换 #define

这里说的意思其实相当于,宁可以用编译器来替换预处理器 因为使用预处理器可能使得被处理过的东西无法进入符号表,例如 #define MAXLEN 16 这里的MAXLEN并没有进入符号表,这样有编译错误出现的时候,提示的都是16而并不是MAXLEN,这样就会带来很多的错误. 对于上面的那个式子,可以尝试的使用用一个常量去替换上面的宏:const int MAXLEN = 16 注意,常量的定义式往往被放在头文件中 应该要注意到的一点:class专属常量,为了将作用域限制在一个class内,应该让他

尽量多的以 const/enum/inline 替代 #define

前言 在面向过程语言,如 C 语言中,#define 非常常见,也确实好用,值得提倡.但在如今面向对象的语言,如 C++ 语言中,#define 就要尽量少用了. 为何在 C++ 中就要少用了呢? 这是因为 #define 机制只是简单的字符替换,这样一方面你无法对 #define 定义的东西加入一些C++语法元素,因此限制了面向对象编程语言的威力: 另一方面编译器不能获取到你所定义的变量类型/函数类型,因此无法提供全面的检测机制,导致隐藏 bug 增多. 所以要想出对 #define 机制进行

第一篇:尽量多的以 const/enum/inline 替代 #define

前言 在面向过程语言,如 C 语言中,#define 非常常见,也确实好用,值得提倡.但在如今面向对象的语言,如 C++ 语言中,#define 就要尽量少用了. 为何在 C++ 中就要少用了呢? 这是因为 #define 机制只是简单的字符替换,这样一方面你无法对 #define 定义的东西加入一些C++语法元素,因此限制了面向对象编程语言的威力: 另一方面编译器不能获取到你所定义的变量类型/函数类型,因此无法提供全面的检测机制,导致隐藏 bug 增多. 所以要想出对 #define 机制进行

Effective C++ 阅读笔记_条款27 尽量少做转型动作

Effective C++ 阅读笔记_条款27 尽量少做转型动作 1.转型的三种形式,可以分为两大类. (1)旧式转型(old-style casts) (1.1) (T) expresstion (1.2) T (expression) (2) 新式转型(c++-style casts) (2.1)const_cast<T> (expression) (2.2)dynamic_cast<T> (expression) (2.3)reinterpret_cast<T>

Effective C++_笔记_条款08_别让异常逃离析构函数

(整理自Effctive C++,转载请注明.整理者:华科小涛@http://www.cnblogs.com/hust-ghtao/) C++并不禁止析构函数吐出异常,但它不鼓励你这样做.考虑如下代码: 1: class Widget{ 2: public: 3: ... 4: ~Widget() {...} //假设这个可能吐出一个异常 5: }; 6:  7: void doSomething() 8: { 9: vector<Widget> v ; //v在这里被自动销毁 10: ...