static和const

static 的两大作用

  1. 控制存储方式

    static被引入以告知编译器,将变量存储在程式的静态存储区而非栈上空间。

    • 引出原因:函数内部定义的变量,在程式执行到他的定义处时,编译器为他在栈上分配空间,函数在栈上分配的空间在此函数执行结束时会释放掉,这样就产生了一个问题: 如果想将函数中此变量的值保存至下一次调用时,怎么实现?

      最容易想到的方法是定义一个全局的变量,但定义为一个全局变量有许多缺点,最明显的缺点是破坏了此变量的访问范围(使得在此函数中定义的变量,不仅仅受此函数控制)。

    • 解决方案:因此c++ 中引入了static,用他来修饰变量,他能够指示编译器将此变量在程式的静态存储区分配空间保存,这样即实现了目的,又使得此变量的存取范围不变。

  2. 控制可见性和连接类型

    static更有一个作用,他会把变量的可见范围限制在编译单元中,使他成为一个内部连接,这时,他的反义词为extern

    static作用分析总结:static总是使得变量或对象的存储形式变成静态存储,连接方式变成内部连接,对于局部变量(已是内部连接了),他仅改动其存储方式;对于全局变量(已是静态存储了),他仅改动其连接类型。

类中的static成员

  1. 出现原因及作用:

    • 需要在一个类的各个对象间交互,即需要一个数据对象为整个类而非某个对象服务。
    • 同时又力求不破坏类的封装性,即需求此成员隐藏在类的内部,对外不可见。

    类的static成员满足了上述的需求,因为他具有如下特征:有独立的存储区,属于整个类。

  2. 注意:

    • 对于静态的数据成员,连接器会确保他拥有一个单一的外部定义。静态数据成员按定义出现的先后顺序依次初始化,注意静态成员嵌套时,要确保所嵌套的成员已初始化了。消除时的顺序是初始化的反顺序。
    • 类的静态成员函数是属于整个类而非类的对象,所以他没有this指针,这就导致了他仅能访问类的静态数据和静态成员函数。

const修饰符

const 是c++中常用的类型修饰符。c++的提出者当初是基于什么样的目的引入(或说保留)const关键字呢?

c++有一个类型严格的编译系统,这使得c++程式的错误在编译阶段即可发现许多,从而使得出错率大为减少。因此,也成为了c++和c相比,有着突出好处的一个方面。

c中非常常见的预处理指令 #define variablename variablevalue 能非常方便地进行值替代,这种值替代至少在三个方面好处突出:

  • 避免了意义模糊的数字出现,使得程式语义流畅清晰,如:

    #define user_num_max 107 这样就避免了直接使用107带来的困惑。

  • 能非常方便地进行参数的调整和修改,如上例,当人数由107变为201时,进改动此处即可,

  • 提高了程式的执行效率,由于使用了预编译器进行值替代,并不必为这些常量分配存储空间,所以执行的效率较高。

鉴于以上的好处,这种预定义指令的使用在程式中随处可见。

预处理语句虽然有以上的许多好处,但他有个比较致命的缺点,即,预处理语句仅仅只是简单值替代,缺乏类型的检测机制。这样预处理语句就不能享受c++严格类型检查的好处,从而可能成为引发一系列错误的隐患。

结论

const推出的初始目的,正是为了取代预编译指令,消除他的缺点,同时继承他的好处。

目前他的形式变成了:const datatype variablename = variablevalue ;

为什么const能非常好地取代预定义语句?

  1. 首先,以const修饰的常量值,具有不可变性,这是他能取代预定义语句的基础。
  2. 他也同样能避免意义模糊的数字出现,同样能非常方便地进行参数的调整和修改。
  3. c++的编译器通常不为普通const常量分配存储空间,而是将他们保存在符号表中,这使得他成为一个编译期间的常量,没有了存储和读内存的操作,使得他的效率也非常高,同时,这也是他取代预定义语句的重要基础。这里,我要提一下,为什么说这一点是也是他能取代预定义语句的基础,这是因为,编译器不会去读存储的内容,如果编译器为const分配了存储空间,他就不能够成为一个编译期间的常量了。
  4. 最后,const定义也像一个普通的变量定义相同,他会由编译器对他进行类型的检测,消除了预定义语句的隐患。

const 使用情况分类

  1. const用于指针的两种情况分析:

    int const *a; //a可变,*a不可变

    int *const a; //a不可变,*a可变

    分析:const是个左结合的类型修饰符,他和其左侧的类型修饰符和为一个类型修饰符。

    所以:

    int const 限定 *a,不限定a。

    int const 限定a,不限定a。

  2. const 限定函数的传递值参数:

    void fun(const int var);