define、const&inline

1.#define宏的用法

#define用宏名代替一个字符串，这样便于修改，提高了程序的可移植性。编译器在编译预处理时只对宏做文本替换，而不进行类型检查，所以替换后可能产生一些副作用。

带参数的宏类似于函数调用，但是宏替换不是函数，二者不是一回事。

让我们从一道面试题开始：定义一个函数宏，求 x 的平方。

我们首先想到的是：#define SQR(x) x*x，以下测试代码运行一下，符合预期。

#include <stdlib.h>
#include <stdio.h>

#define SQR(x) x*x

int main(int argc, char* argv[]) {
    int a = 2;
    int s1 = SQR(a);
    printf("s = %d\n", s1);

    return EXIT_SUCCESS;
}

接下来，对传入的参数稍作修改，变成加法表达式 a+b，其结果是预期的 25 吗？

    int b = 3;
    int s2 = SQR(a+b);
    printf("s2 = %d\n", s2);

gcc -E 预处理宏替换为 a+b*a+b，编译运行的结果=2+3*2+3=11。

你可能已经注意到宏替换展开的表达式中，运算符的优先级影响了计算的结果。

我们修改宏的定义：#define SQR(x) (x)*(x)，将算子用括号括起来，保证x可能展开的表达式的整体性。预处理展开为 (a+b)*(a+b)，运行结果符合预期为 25。

让我们继续来看一下下面一段测试代码，其结果是预期的 2 吗？

    int c = 50;
    int s3 = 50 / SQR(a+b);
    printf("s3 = %d\n", s3);

gcc -E 预处理宏替换为 50/(a+b)*(a+b)，编译运行的结果=50/5*5=50。

重新定义的宏中，不能保证 SQR 表达式的整体性，计算顺序可能受外部优先级结合而改变。

沿着上面的优化思路，进一步将 SQR 计算平方的表达式整体加一个括号，保证不受外部计算优先级的结合干扰：#define SQR(x) ((x)*(x))。

#include <stdlib.h>
#include <stdio.h>

// #define SQR(x) x*x
// #define SQR(x) (x)*(x)
#define SQR(x) ((x)*(x))

int main(int argc, char* argv[]) {
    int a = 2;
    int s1 = SQR(a);
    printf("s = %d\n", s1);

    int b = 3;
    int s2 = SQR(a+b);
    printf("s2 = %d\n", s2);

    int c = 50;
    int s3 = 50 / SQR(a+b);
    printf("s3 = %d\n", s3);

    return EXIT_SUCCESS;
}

这一次， s1、s2、s3 执行的结果分别为 4,25,2，均为符合预期的结果。

但是，这个宏还是存在缺陷。下面的测试代码中，对 SQR 传入 i++ 或 ++i 这种自增表达式：

#define SQR(n) ((n)*(n))

for(int i=1;i<6;i++)
    printf("%d/n", SQR(i++)); // or SQR(++i)

每次计算时，乘号左右两边连续自增，计算结果可能不符合预期，需要特别下心！

2.const声明常量的用法

// 声明一个整数a，其值不可修改。
int const a; // const int a;

// 可以声明时进行初始化以保常值。
const int a=15;

// pi是一个普通的指向整型的指针。
int *pi;

// const修饰的是int，pci是一个指向整型常量的指针，可以修改指针的值，但是不能修改它所指向的值。
// 即无论pci指向哪一个sizeof(int)内存单元，其单元内容都是常整值。等效于const int *pci，pci指向const int。
int const *pci;

// const修饰的是int*，cpi是一个指向整型的常量指针，此时指针是常量，它的值无法修改，但可以修改它所指向的整型值。
// 即cpi一旦指向一个sizeof(int)内存单元，不可再指向其他单元，但是其固定指向的单元内容可以修改。
int* const cpi;

// 第一个const修饰int，即后面的指针cpci指向整型常量；第二个const修饰int*，即指针也是常量。
// 故无论是指针本身还是它所指向的值都是常量，不允许再变动。
int const *const cpci;

以下为示例程序片段： 

int n1 = 2009;
int n2 = 2012;

// 1.non-const pointer, point to const data
// const出现在星号左边，表示被指物为常量，即pn1为指向常量的指针。此时，可对pn1进行赋值更改所指，但试图通过*号解引用赋值修改pn1指向的内容是非法的。
const int* pn1 = &n1; // 等效于int const *pn1 = &n1;
pn1 = &n2; // OK
// *pn1 = n2; // error: assignment of read-only location ‘*pn1’

// const pointer, point to non-const data
// const出现在星号右边，表示指针值为常量，即pn2为指针常量。此时，可通过*号对pn2进行解引用赋值修改所指内容，但试图对pn2进行赋值更改所指的操作是非法的。
int* const pn2 = &n1; // int* pn2 const = &n1;为不合法的表达式！
// pn2 = &n2; // error: assignment of read-only variable ‘pn2’
*pn2 = n2; // OK

// const pointer, point to const data
// const出现在星号两边，从右往左解读const，两个const依次指针值及所指物均为常量，即pn3为指向常量的常量指针。此时，可通过*对pn3进行解引用（*pn3）取值，但试图对pn3或*pn3进行赋值更改的操作都是非法的。
const int* const pn3 = &n1; // 等效于int const * const pn3 = &n1;
// pn3 = &n2; // error: assignment of read-only variable ‘pn3’
// *pn3 = n2; // error: assignment of read-only location ‘*pn3’

其中 pn3 只能在声明时赋值。

小结：在星号右边的 const 修饰的是指针变量（variable），在星号左边的 const 修饰的是指针指向的单元（location）。

3.#define与const定义常量

#define SIZE 20// 结尾不加分号

const int size=20; // 以分号结尾

在这种情况下，使用#define比使用const变量好。因为只要允许使用字面值常量的地方都可以使用前者，比如声明数组的长度。const变量只能用于允许使用变量的地方。

const用于定义“常值变量”（readonly），编译器替换变量size时会进行严格的类型检查，只有当size时int型变量是才替换。

const默认变量类型为int型，const PI=3.1415;定义了一个名为PI的变量, 但是没有指定类型, 那么编译器就认为PI为int型,这样经过类型转换PI的值就是3. 应该这样定义：const double PI =3.1415;

const用来修饰函数的参数，则在函数内部不能修改该参数。若使用const用来修饰函数返回的指针或引用，则表示调用函数是不能用返回值类改变返回值所指或所引用的变量。

float MyFun1(const float b)
{
     return b*b*b; // 非法：b=b*b*b;
}

const int* MyFun2()
{
     static int x=1;
     ++x;
     return &x;
}

int main()
{
     int y;
     y=*MyFun2(); // 合法：将x值赋给y
     *MyFun2()=2; // 非法：不能改变一个常量类型的值
     float f=MyFun1(4.5); // 在函数中声明为const的形参在参数被调用时会得到实参的值。
     return 0;
}

void MemberFun(int,int) const;

4.const与#define的比较

const 常量是一个Run-Time的概念，他在程序中确确实实的存在可以被调用、传递。而#define常量则是一个Compile-Time概念，它的生命周期止于编译期：在实际程序中只是一个常数、一个命令中的参数，没有实际的存在。故使用宏，程序运行得较快，宏替换不占运行时间，只占编译时间；而使用函数调用，占有空间较小。

C++ 语言可以用const 来定义常量，也可以用 #define 来定义常量。但是前者比后者有更多的优点：

<1> const常量有数据类型，而宏常量没有数据类型。编译器可以对前者进行类型安全检查。而对后者只进行字符替换，没有类型安全检查，并且在字符替换可能会产生意料不到的错误（边际效应）。

<2> 有些集成化的调试工具可以对 const 常量进行调试，但是不能对宏常量进行调试。

【规则】在C++程序中只使用const 常量而不使用宏常量，即const 常量完全取代宏常量。

<3>在c中const变量的行为更像一个非const变量，而在cpp中，const变量的行为就像是#define

由于 c++中const 变量的值是在编译时就计算出来的，因此，它可以用在 case语句中，而 c 中，const值在编译时只是一个变量的地址，因此，它无法用在 case语句中.

<4>const数据成员只在某个对象生存期内是常量，而对于整个类而言却是可变的，因为类可以创建多个对象，不同的对象其const数据成员的值可以不同。不能在类声明中初始化const 数据成员.怎样才能建立在整个类中都恒定的常量呢？别指望const数据成员了，应该用类中的枚举常量来实现.

5.const修饰形参和实参的区别

下面让我们来看看执行内存拷贝的标准C库函数：

char *strcpy( char *to, const char *from );

void *memcpy( void *to, const void *from,size_tcount );

上面两个拷贝函数中const修饰形参from，但是我们通常传递进去无const修饰的实参。之所以用const修饰形参from，是因为执行拷贝操作一般不修改拷贝源（实参副本）。

但是若实参被const修饰，而形参无const修饰，实参的副本在函数内是可以修改的。故此时const无实际效果。

6.inline内联函数

inline关键字用来定义一个类的内联函数，引入它的主要原因是用它替代C中表达式形式的宏定义。inline函数可实现宏的效率，它在编译时进行优化，提高编译速度。

另外要注意，内联函数一般只会用在函数内容非常简单的时候，这是因为，内联函数的代码会在任何调用它的地方展开，如果函数太复杂，代码膨胀带来的恶果很可能会大于效率的提高带来的益处。内联函数最重要的使用地方是用于类的存取函数。

7.结论

（1）对于一般常量，最好用const和enum替换#define；

（2）宏的可维护性要比inline函数差，故对于类似函数的宏（代码量较小），最好改用inline函数取代#define。 

参考：

《C和指针》Kenneth A.Reek

《高质量C++编程指南》林锐

《用#define,enum,const定义常量有什么区别》

《尽量使用const、enum、inline，避免使用define》

《深入讨论C++的enum》

《C++的enum类型分析》