C++中的几个关键字:static,const,inline

static 是C++中很常用的修饰符，它被用来控制变量的存储方式和可见性，下面我将从 static 修饰符的产生原因、作用谈起，全面分析static 修饰符的实质。 static 的两大作用: 一、控制存储方式： static被引入以告知编译器，将变量存储在程序的静态存储区而非栈上空间。 1、引出原因：函数内部定义的变量，在程序执行到它的定义处时，编译器为它在栈上分配空间，大家知道，函数在栈上分配的空间在此函数执行结束时会释放掉，这样就产生了一个问题: 如果想将函数中此变量的值保存至下一次调用时，如何实现？ 最容易想到的方法是定义一个全局的变量，但定义为一个全局变量有许多缺点，最明显的缺点是破坏了此变量的访问范围（使得在此函数中定义的变量，不仅仅受此函数控制）。 2、 解决方案：因此C++ 中引入了static，用它来修饰变量，它能够指示编译器将此变量在程序的静态存储区分配空间保存，这样即实现了目的，又使得此变量的存取范围不变。 二、控制可见性与连接类型 : static还有一个作用，它会把变量的可见范围限制在编译单元中，使它成为一个内部连接，这时，它的反义词为”extern”. Static作用分析总结：static总是使得变量或对象的存储形式变成静态存储，连接方式变成内部连接，对于局部变量（已经是内部连接了），它仅改变其存储方式；对于全局变量（已经是静态存储了），它仅改变其连接类型。 类中的static成员： 一、出现原因及作用： 1、需要在一个类的各个对象间交互，即需要一个数据对象为整个类而非某个对象服务。 2、同时又力求不破坏类的封装性,即要求此成员隐藏在类的内部，对外不可见。 类的static成员满足了上述的要求，因为它具有如下特征：有独立的存储区，属于整个类。 二、注意： 1、对于静态的数据成员，连接器会保证它拥有一个单一的外部定义。静态数据成员按定义出现的先后顺序依次初始化，注意静态成员嵌套时，要保证所嵌套的成员已经初始化了。消除时的顺序是初始化的反顺序。 2、类的静态成员函数是属于整个类而非类的对象，所以它没有this指针，这就导致了它仅能访问类的静态数据和静态成员函数。 const 是C++中常用的类型修饰符，但我在工作中发现，许多人使用它仅仅是想当然尔，这样,有时也会用对，但在某些微妙的场合，可就没那么幸运了，究其实质原 由，大多因为没有搞清本源。这里我将对const进行辨析。溯其本源，究其实质，希望能对大家理解const有所帮助，根据思维的承接关系，分为如下几个 部分进行阐述。 C++中为什么会引入const C++的提出者当初是基于什么样的目的引入（或者说保留）const关键字呢？，这是一个有趣又有益的话题，对理解const很有帮助。 1． 大家知道，C++有一个类型严格的编译系统，这使得C++程序的错误在编译阶段即可发现许多，从而使得出错率大为减少，因此，也成为了C++与C相比，有着突出优点的一个方面。 2． C中很常见的预处理指令 #define VariableName VariableValue 可以很方便地进行值替代，这种值替代至少在三个方面优点突出： 一是避免了意义模糊的数字出现，使得程序语义流畅清晰，如下例： #define USER_NUM_MAX 107 这样就避免了直接使用107带来的困惑。 二是可以很方便地进行参数的调整与修改，如上例，当人数由107变为201时，进改动此处即可， 三是提高了程序的执行效率，由于使用了预编译器进行值替代，并不需要为这些常量分配存储空间，所以执行的效率较高。 鉴于以上的优点，这种预定义指令的使用在程序中随处可见。 3． 说到这里，大家可能会迷惑上述的1点、2点与const有什么关系呢?,好，请接着向下看来： 预处理语句虽然有以上的许多优点，但它有个比较致命的缺点，即，预处理语句仅仅只是简单值替代，缺乏类型的检测机制。这样预处理语句就不能享受C++严格类 型检查的好处，从而可能成为引发一系列错误的隐患。 4．好了，第一阶段结论出来了： 结论： Const 推出的初始目的，正是为了取代预编译指令，消除它的缺点，同时继承它的优点。 现在它的形式变成了： Const DataType VariableName = VariableValue ; 为什么const能很好地取代预定义语句？ const 到底有什么大神通，使它可以振臂一挥取代预定义语句呢？ 1． 首先，以const 修饰的常量值，具有不可变性，这是它能取代预定义语句的基础。 2． 第二，很明显，它也同样可以避免意义模糊的数字出现，同样可以很方便地进行参数的调整和修改。 3． 第三，C++的编译器通常不为普通const常量分配存储空间，而是将它们保存在符号表中，这使得它成为一个编译期间的常量，没有了存储与读内存的操作，使得它的 效率也很高，同时，这也是它取代预定义语句的重要基础。这里，我要提一下，为什么说这一点是也是它能取代预定义语句的基础，这是因为，编译器不会去读存储的内容，如果编译器为const分配了存储空间，它就不能够成为一个编译期间的常量了。 4． 最后，const定义也像一个普通的变量定义一样，它会由编译器对它进行类型的检测，消除了预定义语句的隐患。 const 使用情况分类详析 1.const 用于指针的两种情况分析： int const *A; 　file://A可变，*A不可变 int *const A; 　file://A不可变，*A可变 分析：const 是一个左结合的类型修饰符，它与其左侧的类型修饰符和为一个类型修饰符，所以，int const 限定 *A,不限定A。int *const 限定A,不限定*A。 2.const 限定函数的传递值参数： void Fun(const int Var); 分析：上述写法限定参数在函数体中不可被改变。由值传递的特点可知，Var在函数体中的改变不会影响到函数外部。所以，此限定与函数的使用者无关，仅与函数的编写者有关。 结论：最好在函数的内部进行限定，对外部调用者屏蔽，以免引起困惑。如可改写如下： void Fun(int Var) { const int & VarAlias = Var; VarAlias .... ..... } 3.const 限定函数的值型返回值： const int Fun1(); const MyClass Fun2(); 分析:上述写法限定函数的返回值不可被更新，当函数返回内部的类型时（如Fun1），已经是一个数值，当然不可被赋值更新，所以，此时const无意 义，最好去掉，以免困惑。当函数返回自定义的类型时（如Fun2），这个类型仍然包含可以被赋值的变量成员，所以，此时有意义。 4. 传递与返回地址： 此种情况最为常见，由地址变量的特点可知，适当使用const，意义昭然。 5.　const 限定类的成员函数： class ClassName { public: int Fun() const; ..... } 注意：采用此种const 后置的形式是一种规定，亦为了不引起混淆。在此函数的声明中和定义中均要使用const,因为const已经成为类型信息的一部分。 获得能力：可以操作常量对象。 失去能力：不能修改类的数据成员，不能在函数中调用其他不是const的函数。 在上面谈了const后，下面再来谈一下inline这个关键字，之所以把inline放在这个位置,是因为inline这个关键字的引入原因和const十分相似，下面分为如下几个部分进行阐述。 C++中引入inline关键字的原因: inline 关键字用来定义一个类的内联函数，引入它的主要原因是用它替代C中表达式形式的宏定义。 表达式形式的宏定义一例： #define ExpressionName(Var1,Var2) (Var1+Var2)*(Var1-Var2) 为什么要取代这种形式呢，且听我道来： 1． 首先谈一下在C中使用这种形式宏定义的原因，C语言是一个效率很高的语言，这种宏定义在形式及使用上像一个函数，但它使用预处理器实现，没有了参数压栈，代码生成等一系列的操作,因此，效率很高，这是它在C中被使用的一个主要原因。 2． 这种宏定义在形式上类似于一个函数，但在使用它时，仅仅只是做预处理器符号表中的简单替换，因此它不能进行参数有效性的检测，也就不能享受C++编译器严 格类型检查的好处，另外它的返回值也不能被强制转换为可转换的合适的类型，这样，它的使用就存在着一系列的隐患和局限性。 3． 在C++中引入了类及类的访问控制，这样，如果一个操作或者说一个表达式涉及到类的保护成员或私有成员，你就不可能使用这种宏定义来实现(因为无法将this指针放在合适的位置)。 4． inline 推出的目的，也正是为了取代这种表达式形式的宏定义，它消除了它的缺点，同时又很好地继承了它的优点。 为什么inline能很好地取代表达式形式的预定义呢？ 对应于上面的1-3点，阐述如下： 1． inline 定义的类的内联函数，函数的代码被放入符号表中，在使用时直接进行替换，（像宏一样展开），没有了调用的开销，效率也很高。 2． 很明显，类的内联函数也是一个真正的函数，编译器在调用一个内联函数时，会首先检查它的参数的类型，保证调用正确。然后进行一系列的相关检查，就像对待任何一个真正的函数一样。这样就消除了它的隐患和局限性。 3． inline 可以作为某个类的成员函数，当然就可以在其中使用所在类的保护成员及私有成员。 在何时使用inline函数： 首先，你可以使用inline函数完全取代表达式形式的宏定义。 另外要注意，内联函数一般只会用在函数内容非常简单的时候，这是因为，内联函数的代码会在任何调用它的地方展开，如果函数太复杂，代码膨胀带来的恶果很可能会大于效率的提高带来的益处。 内联函数最重要的使用地方是用于类的存取函数。 如何使用类的inline函数： 简单提一下inline 的使用吧： 1.在类中定义这种函数： class ClassName{ ..... .... GetWidth(){return m_lPicWidth;}; // 如果在类中直接定义，可以不使用inline修饰 .... .... } 2.在类中声明，在类外定义: class ClassName{ ..... .... GetWidth(); // 如果在类中直接定义，可以不使用inline修饰 .... .... } inline GetWidth() { return m_lPicWidth; } ________________________________________ 1.const的用法： 为什么使用const？ 采用符号常量写出的代码更容易维护；指针常常是边读边移动，而不是边写边移动；许多函数参数是只读不写的。const最常见用途是作为数组的界和switch分情况标号（也可以用枚举符代替） 用法1：常量 取代了C中的宏定义，声明时必须进行初始化。const限制了常量的使用方式，并没有描述常量应该如何分配。如果编译器知道了某const的所有使用，它 甚至可以不为该const分配空间。最简单的常见情况就是常量的值在编译时已知，而且不需要分配存储。―《C++ Program Language》 用const声明的变量虽然增加了分配空间，但是可以保证类型安全。 C标准中，const定义的常量是全局的，C++中视声明位置而定。 用法2：指针和常量 使用指针时涉及到两个对象：该指针本身和被它所指的对象。将一个指针的声明用const“预先固定”将使那个对象而不是使这个指针成为常量。要将指针本身而不是被指对象声明为常量，必须使用声明运算符*const。 所以出现在 * 之前的const是作为基础类型的一部分： char *const cp; //到char的const指针 char const *pc1; //到const char的指针 const char *pc2; //到const char的指针（后两个声明是等同的） 从右向左读的记忆方式： cp is a const pointer to char. pc2 is a pointer to const char. 用法3：const修饰函数传入参数 将函数传入参数声明为const，以指明使用这种参数仅仅是为了效率的原因，而不是想让调用函数能够修改对象的值。同理，将指针参数声明为const，函数将不修改由这个参数所指的对象。 通常修饰指针参数和引用参数： void Fun( const A *in); //修饰指针型传入参数 void Fun(const A &in); //修饰引用型传入参数 用法4：修饰函数返回值 可以阻止用户修改返回值。返回值也要相应的付给一个常量或常指针。 用法5：const修饰成员函数 const对象只能访问const成员函数，而非const对象可以访问任意的成员函数，包括const成员函数； const对象的成员是不能修改的，而通过指针维护的对象确实可以修改的； const成员函数不可以修改对象的数据，不管对象是否具有const性质。编译时以是否修改成员数据为依据进行检查。 2.static的用法： 静态变量作用范围在一个文件内，程序开始时分配空间，结束时释放空间，默认初始化为0，使用时可以改变其值。 静态变量或静态函数只有本文件内的代码才能访问它，它的名字在其它文件中不可见。 用法1：函数内部声明的static变量，可作为对象间的一种通信机制 如果一局部变量被声明为static，那么将只有唯一的一个静态分配的对象，它被用于在该函数的所有调用中表示这个变量。这个对象将只在执行线程第一次到达它的定义使初始化。 用法2：局部静态对象 对于局部静态对象，构造函数是在控制线程第一次通过该对象的定义时调用。在程序结束时，局部静态对象的析构函数将按照他们被构造的相反顺序逐一调用，没有规定确切时间。 用法3：静态成员和静态成员函数 如果一个变量是类的一部分，但却不是该类的各个对象的一部分，它就被成为是一个static静态成员。一个static成员只有唯一的一份副本，而不像常 规的非static成员那样在每个对象里各有一份副本。同理，一个需要访问类成员，而不需要针对特定对象去调用的函数，也被称为一个static成员函 数。 类的静态成员函数只能访问类的静态成员（变量或函数）。 3.extern的用法： extern可以声明其他文件内定义的变量。在一个程序里，一个对象只能定义一次，它可以有多个声明，但类型必须完全一样。如果定义在全局作用域或者名字空间作用域里某一个变量没有初始化，它会被按照默认方式初始化。 将变量或函数声明成外部链接，即该变量或函数名在其它函数中可见。被其修饰的变量（外部变量）是静态分配空间的，即程序开始时分配，结束时释放。 在C++中，还可以指定使用另一语言链接，需要与特定的转换符一起使用。 extern “C” 声明语句 extern “C” { 声明语句块 } extern 表明该变量在别的地方已经定义过了,在这里要使用那个变量. static 表示静态的变量，分配内存的时候, 存储在静态区,不存储在栈上面. static 作用范围是内部连接的关系,和extern有点相反.它和对象本身是分开存储的,extern也是分开存储的,但是extern可以被其他的对象用extern 引用,而static 不可以,只允许对象本身用它. 4.volatile的用法： 类型修正符（type-modifier），限定一个对象可被外部进程（操作系统、硬件或并发进程等）改变。volatile与变量连用，可以让变量被不同的线程访问和修改。声明时语法： int volatile vInt; 常用于像中断处理程序之类的异步进程进行内存单元访问。 除了基本类型外，对用户定义类型也可以用volatile类型进行修饰。 注意：可以把一个非volatile int赋给volatile int，但是不能把非volatile对象赋给一个volatile对象。 一个有volatile标识符的类只能访问它接口的子集，一个由类的实现者控制的子集。用户只能用const_cast来获得对类型接口的完全访问。此外，volatile向const一样会从类传递到它的成员。 ________________________________________________________________________ auto 这个这个关键字用于声明变量的生存期为自动，即将不在任何类、结构、枚举、联合和函数中定义的变量视为全局变量，而在函数中定义的变量视为局部变量。这个关键字不怎么多写，因为所有的变量默认就是auto的。 register 这个关键字命令编译器 尽可能的将变量存在CPU内部寄存器中而不是通过内存寻址访问以提高效率。 static 常见的两种用途: 1>统计函数被调用的次数; 2>减少局部数组建立和赋值的开销.变量的建立和赋值是需要一定的处理器开销的，特别是数组等含有较多元素的存储类型。在一些含有较多的变量并且被经常调用的函数中，可以将一些数组声明为static类型，以减少建立或者初始化这些变量的开销. 　　详细说明: 1>、变量会被放在程序的全局存储区中，这样可以在下一次调用的时候还可以保持原来的赋值。这一点是它与堆栈变量和堆变量的区别。 2>、变量用static告知编译器，自己仅仅在变量的作用范围内可见。这一点是它与全局变量的区别。 3>当static用来修饰全局变量时，它就改变了全局变量的作用域，使其不能被别的程序extern，限制在了当前文件里，但是没有改变其存放位置，还是在全局静态储存区。 　　使用注意: 1>若全局变量仅在单个C文件中访问，则可以将这个变量修改为静态全局变量，以降低模块间的耦合度； 2>若全局变量仅由单个函数访问，则可以将这个变量改为该函数的静态局部变量，以降低模块间的耦合度； 3>设计和使用访问动态全局变量、静态全局变量、静态局部变量的函数时，需要考虑重入问题(只要输入数据相同就应产生相同的输出)。 const 被const修饰的东西都受到强制保护，可以预防意外的变动，能提高程序的健壮性。它可以修饰函数的参数、返回值，甚至函数的定义体。 　　作用: 1>修饰输入参数 a.对于非内部数据类型的输入参数，应该将“值传递”的方式改为“const引用传递”，目的是提高效率。例如将void Func(A a) 改为void Func(const A &a)。 b.对于内部数据类型的输入参数，不要将“值传递”的方式改为“const引用传递”。否则既达不到提高效率的目的，又降低了函数的可理解性。例如void Func(int x) 不应该改为void Func(const int &x)。 2>用const修饰函数的返回值 a.如果给以“指针传递”方式的函数返回值加const修饰，那么函数返回值（即指针）的内容不能被修改，该返回值只能被赋给加const修饰的同类型指针。 如对于： const char * GetString(void); 如下语句将出现编译错误： char *str = GetString();//cannot convert from 'const char *' to 'char *'； 正确的用法是： const char *str = GetString(); b.如果函数返回值采用“值传递方式”，由于函数会把返回值复制到外部临时的存储单元中，加const修饰没有任何价值。 如不要把函数int GetInt(void) 写成const int GetInt(void)。 3>const成员函数的声明中，const关键字只能放在函数声明的尾部,表示该类成员不修改对象. 　　　说明： const type m; //修饰m为不可改变 示例： typedef char * pStr; //新的类型pStr; char string[4] = "abc"; const char *p1 = string； p1++; //正确，上边修饰的是*p1,p1可变 const pStr p2 = string; p2++; //错误，上边修饰的是p2，p2不可变,*p2可变 同理，const修饰指针时用此原则判断就不会混淆了。 const int *value; //*value不可变，value可变 int* const value; //value不可变，*value可变 const (int *) value; //(int *)是一种type,value不可变,*value可变 //逻辑上这样理解，编译不能通过，需要tydef int* NewType; const int* const value;//*value,value都不可变 volatile 表明某个变量的值可能在外部被改变，优化器在用到这个变量时必须每次都小心地重新读取这个变量的值，而不是使用保存在寄存器里的备份。它可以适用于基 础类型如：int,char,long......也适用于C的结构和C++的类。当对结构或者类对象使用volatile修饰的时候，结构或者类的所有 成员都会被视为volatile. 该关键字在多线程环境下经常使用，因为在编写多线程的程序时，同一个变量可能被多个线程修改，而程序通过该变量同步各个线程。 简单示例： DWORD __stdcall threadFunc(LPVOID signal) { int* intSignal=reinterpret_cast(signal); *intSignal=2; while(*intSignal!=1) sleep(1000); return 0; } 该线程启动时将intSignal 置为2，然后循环等待直到intSignal 为1 时退出。显然intSignal的值必须在外部被改变，否则该线程不会退出。但是实际运行的时候该线程却不会退出，即使在外部将它的值改为1，看一下对应的伪汇编代码就明白了： mov ax,signal label: if(ax!=1) goto label 对于C编译器来说，它并不知道这个值会被其他线程修改。自然就把它cache在寄存器里面。C 编译器是没有线程概念的,这时候就需要用到volatile。volatile 的本意是指：这个值可能会在当前线程外部被改变。也就是说，我们要在threadFunc中的intSignal前面加上volatile关键字，这时 候，编译器知道该变量的值会在外部改变，因此每次访问该变量时会重新读取，所作的循环变为如下面伪码所示： label: mov ax,signal if(ax!=1) goto label 　　注意：一个参数既可以是const同时是volatile，是volatile因为它可能被意想不到地改变。它是const因为程序不应该试图去修改它。 extern 　　extern 意为“外来的”···它的作用在于告诉编译器：有这个变量，它可能不存在当前的文件中，但它肯定要存在于工程中的某一个源文件中或者一个Dll的输出中。