详解C++中static的用法

C 语言的 static 关键字有三种(具体来说是两种)用途:

1. 静态局部变量:用于函数体内部修饰变量,这种变量的生存期长于该函数。

int foo(){
  static int i = 1; // note:1
  //int i = 1; // note:2
  i += 1;
  return i;
} 

要明白这个用法,我们首先要了解c/c++的内存分布,以及static所在的区间。

对于一个完整的程序,在内存中的分布情况如下图: 

1.栈区: 由编译器自动分配释放,像局部变量,函数参数,都是在栈区。会随着作用于退出而释放空间。
3.堆区:程序员分配并释放的区域,像malloc(c),new(c++)
3.全局数据区(静态区):全局变量和静态便令的存储是放在一块的,初始化的全局变量和静态变量在一块区域,未初始化的全局变量和未初始化的静态变量在相邻的另一块区域。程序结束释放。
4.代码区

所以上面note:1的static是在全局数据区分配的,那么它存在的意思是什么?又是什么时候初始化的呢?

首先回答第一个问题:它存在的意义就是随着第一次函数的调用而初始化,却不随着函数的调用结束而销毁(如果把以上的note:1换成note:2,那么i就是在栈区分配了,会随着foo的调用结束而释放)。
那么第二个问题也就浮出水面了,它是在第一次调用进入note:1的时候初始化(当初面试被坑过,我居然说是一开始就初始化了,汗!!)。且只初始化一次,也就是你第二次调用foo(),不会继续初始化,而会直接跳过。

那么它跟定义一个全局变量有什么区别呢,同样是初始化一次,连续调用foo()的结果是一样的,但是,使用全局变量的话,变量就不属于函数本身了,不再仅受函数的控制,给程序的维护带来不便。

  静态局部变量正好可以解决这个问题。静态局部变量保存在全局数据区,而不是保存在栈中,每次的值保持到下一次调用,直到下次赋新值。

那么我们总结一下,静态局部变量的特点(括号内为note:2,也就是局部变量的对比):

(1)该变量在全局数据区分配内存(局部变量在栈区分配内存);
(2)静态局部变量在程序执行到该对象的声明处时被首次初始化,即以后的函数调用不再进行初始化(局部变量每次函数调用都会被初始化);
(3)静态局部变量一般在声明处初始化,如果没有显式初始化,会被程序自动初始化为0(局部变量不会被初始化);
(4)它始终驻留在全局数据区,直到程序运行结束。但其作用域为局部作用域,也就是不能在函数体外面使用它(局部变量在栈区,在函数结束后立即释放内存);

2.静态全局变量:定义在函数体外,用于修饰全局变量,表示该变量只在本文件可见。

static int i = 1; //note:3
//int i = 1; //note:4
int foo()
{
  i += 1;
  return i;
} 

note:3和note:4有什么差异呢?你调用foo(),无论调用几次,他们的结果都是一样的。也就是说在本文件内调用他们是完全相同的。那么他们的区别是什么呢?
文件隔离!

假设我有一个文件a.c,我们再新建一个b.c,内容如下。

//file a.c
//static int n = 15; //note:5
int n = 15; //note:6
//file b.c
#include <stdio.h>
extern int n;
void fn()
{
  n++;
  printf("after: %d\n",n);
}
void main()
{
  printf("before: %d\n",n);
  fn();
} 

我们先使用note:6,也就是非静态全局变量,发现输出为:

before: 15
after: 16

也就是我们的b.c通过extern使用了a.c定义的全局变量。

那么我们改成使用note:5,也就是使用静态全局变量呢?

gcc a.c b.c -o output.out

会出现类似undeference to "n"的报错,它是找不到n的,因为static进行了文件隔离,你是没办法访问a.c定义的静态全局变量的,当然你用 #include "a.c",那就不一样了。

以上我们就可以得出静态全局变量的特点:

静态全局变量不能被其它文件所用(全局变量可以);
其它文件中可以定义相同名字的变量,不会发生冲突(自然了,因为static隔离了文件,其它文件使用相同的名字的变量,也跟它没关系了);

3.静态函数:准确的说,静态函数跟静态全局变量的作用类似:

//file a.c
#include <stdio.h>
void fn()
{
  printf("this is non-static func in a");
}
//file b.c
#include <stdio.h>
extern void fn(); //我们用extern声明其他文件的fn(),供本文件使用。
void main()
{
  fn();
} 

可以正常输出:this is non-static func in a。

当给void fn()加上static的关键字之后呢? undefined reference to "fn".

所以,静态函数的好处跟静态全局变量的好处就类似了:

1.静态函数不能被其它文件所用;
2.其它文件中可以定义相同名字的函数,不会发生冲突;

上面一共说了三种用法,为什么说准确来说是两种呢?

1.一种是修饰变量,一种是修饰函数,所以说是两种(这种解释不多)。
2.静态全局变量和修饰静态函数的作用是一样的,一般合并为一种。(这是比较多的分法)。

C++ 语言的 static 关键字有二种用途:

当然以上的几种,也可以用在c++中。还有额外的两种用法:

1.静态数据成员:用于修饰 class 的数据成员,即所谓“静态成员”。这种数据成员的生存期大于 class 的对象(实体 instance)。静态数据成员是每个 class 有一份,普通数据成员是每个 instance 有一份,因此静态数据成员也叫做类变量,而普通数据成员也叫做实例变量。

#include<iostream>
using namespace std;
class Rectangle
{
private:
  int m_w,m_h;
  static int s_sum;
public:
  Rectangle(int w,int h)
  {
    this->m_w = w;
    this->m_h = h;
    s_sum += (this->m_w * this->m_h);
  }
  void GetSum()
  {
    cout<<"sum = "<<s_sum<<endl;
  }
};
int Rectangle::s_sum = 0; //初始化
int main()
{
  cout<<"sizeof(Rectangle)="<<sizeof(Rectangle)<<endl;
  Rectangle *rect1 = new Rectangle(3,4);
  rect1->GetSum();
  cout<<"sizeof(rect1)="<<sizeof(*rect1)<<endl;
  Rectangle rect2(2,3);
  rect2.GetSum();
  cout<<"sizeof(rect2)="<<sizeof(rect2)<<endl;
  system("pause");
  return 0;
} 

结果如下:

由图可知:sizeof(Rectangle)=8bytes=sizeof(m_w)+sizeof(m_h)。也就是说 static 并不占用Rectangle的内存空间。

那么static在哪里分配内存的呢?是的,全局数据区(静态区)。

再看看GetSum(),第一次12=3*4,第二次18=12+2*3。由此可得,static只会被初始化一次,于实例无关。

结论:

对于非静态数据成员,每个类对象(实例)都有自己的拷贝。而静态数据成员被当作是类的成员,由该类型的所有对象共享访问,对该类的多个对象来说,静态数据成员只分配一次内存。
静态数据成员存储在全局数据区。静态数据成员定义时要分配空间,所以不能在类声明中定义。

也就是说,你每new一个Rectangle,并不会为static int s_sum的构建一份内存拷贝,它是不管你new了多少Rectangle的实例,因为它只与类Rectangle挂钩,而跟你每一个Rectangle的对象没关系。

2、静态成员函数:用于修饰 class 的成员函数。

我们对上面的例子稍加改动:

#include<iostream>
using namespace std;
class Rectangle
{
private:
  int m_w,m_h;
  static int s_sum;
public:
  Rectangle(int w,int h)
  {
    this->m_w = w;
    this->m_h = h;
    s_sum += (this->m_w * this->m_h);
  }
  static void GetSum() //这里加上static
  {
    cout<<"sum = "<<s_sum<<endl;
  }
};
int Rectangle::s_sum = 0; //初始化
int main()
{
  cout<<"sizeof(Rectangle)="<<sizeof(Rectangle)<<endl;
  Rectangle *rect1 = new Rectangle(3,4);
  rect1->GetSum();
  cout<<"sizeof(rect1)="<<sizeof(*rect1)<<endl;
  Rectangle rect2(2,3);
  rect2.GetSum(); //可以用对象名.函数名访问
  cout<<"sizeof(rect2)="<<sizeof(rect2)<<endl;
  Rectangle::GetSum(); //也可以可以用类名::函数名访问
  system("pause");
  return 0;
} 

上面注释可见:对GetSum()加上static,使它变成一个静态成员函数,可以用类名::函数名进行访问。

那么静态成员函数有特点呢?

1.静态成员之间可以相互访问,包括静态成员函数访问静态数据成员和访问静态成员函数;
2.非静态成员函数可以任意地访问静态成员函数和静态数据成员;
3.静态成员函数不能访问非静态成员函数和非静态数据成员;
4.调用静态成员函数,可以用成员访问操作符(.)和(->)为一个类的对象或指向类对象的指针调用静态成员函数,也可以用类名::函数名调用(因为他本来就是属于类的,用类名调用很正常)

前三点其实是一点:静态成员函数不能访问非静态(包括成员函数和数据成员),但是非静态可以访问静态,有点晕吗?没关系,我给你个解释,因为静态是属于类的,它是不知道你创建了10个还是100个对象,所以它对你对象的函数或者数据是一无所知的,所以它没办法调用,而反过来,你创建的对象是对类一清二楚的(不然你怎么从它那里实例化呢),所以你是可以调用类函数和类成员的,就像不管GetSum是不是static,都可以调用static的s_sum一样。

(0)

相关推荐

  • C++中四种对象生存期和作用域以及static的用法总结分析

    一.四种对象生存期和作用域 栈对象隐含调用构造函数(程序中没有显式调用) 堆对象隐含调用构造函数(程序中没有显式调用),要显式释放 全局对象.静态全局对象 全局对象的构造先于main函数 已初始化的全局变量或静态全局对象存储于.data段中 未初始化的全局变量或静态全局对象存储于.bss段中 静态局部对象 已初始化的静态局部变量存储于.data段中 未初始化的静态局部变量存储于.bss段中 复制代码 代码如下: #include <iostream>using namespace std;cl

  • C++类中的static和const用法实例教程

    static和const是C++程序设计中非常重要的概念,本文实例列举了C++类中的static和const的规则和用法.供大家参考借鉴.具体说明如下: 首先以代码用来举例说明.示例代码如下: class A { public: A():m(10) //const成员必须在构造函数的初始化构造列表中初始化 { q = 40; } void fun1()const { m++; //错误.const成员是常量,不能改变其值. n++; //正确.static变量n属于类,但是每个对象的函数都可以访

  • 解析static在C和C++中的用法以及区别

    static主要有三个作用:(1)局部静态变量(2)外部静态变量/函数(3)静态数据成员/成员函数 前两种C和C++都有,第三种仅在C++中有,下面分别作以下介绍: 一.局部静态变量在C/C++中, 局部变量按照存储形式可分为三种auto, static, register.其中register不常用到,下面主要说说auto和static的区别. 1. 存储空间分配和生存周期不同auto类型局部变量就是普通的局部变量(不加修饰的局部变量默认为该类型).该类型局部变量存储在栈上,在动态存储区,生命

  • 详解C++中static的用法

    C 语言的 static 关键字有三种(具体来说是两种)用途: 1. 静态局部变量:用于函数体内部修饰变量,这种变量的生存期长于该函数. int foo(){ static int i = 1; // note:1 //int i = 1; // note:2 i += 1; return i; } 要明白这个用法,我们首先要了解c/c++的内存分布,以及static所在的区间. 对于一个完整的程序,在内存中的分布情况如下图: 1.栈区: 由编译器自动分配释放,像局部变量,函数参数,都是在栈区.

  • 详解C++中mutable的用法

    代码编译运行环境:VS2017+Win32+Debug mutalbe的中文意思是"可变的,易变的",是constant(即C++中的const)的反义词.在C++中,mutable也是为了突破const的限制而设置的,被mutable修饰的变量将永远处于可变的状态. mutable的作用有两点: (1)保持常量对象中大部分数据成员仍然是"只读"的情况下,实现对个别数据成员的修改: (2)使类的const函数可以修改对象的mutable数据成员. 使用mutable

  • 详解python中静态方法staticmethod用法

    在开发的时候, 可以使用类对方法进行封装,如果某一个方法需要访问到对象的实例属性,可以把这个方法封装成一个实例方法.如果某一个方法不需要访问对象的实例属性,但是需要访问到类的类属性,这个时候就可以考虑把这个方法封装成一个类方法.一个实例方法, 一个类方法,这是两种方法类型,但是在开发中还有一种情况,如果要封装的某一个方法,既不需要访问到对象的实例属性,也不需要访问类的类属性,这个时候就可以考虑把这个方法封装成一个静态方法. 在开发中,如果类中的某个方法既不需要访问实例属性或者调用实例方法,同时也

  • 详解Java中static关键字的使用和原理

    目录 概述 定义和使用格式 类变量 静态方法 调用格式 静态原理图解 静态代码块 概述 关于 static 关键字的使用,它可以用来修饰的成员变量和成员方法,被修饰的成员是属于类的,而不是单单是属 于某个对象的.也就是说,既然属于类,就可以不靠创建对象来调用了. 定义和使用格式 类变量 当 static 修饰成员变量时,该变量称为类变量.该类的每个对象都共享同一个类变量的值.任何对象都可以更改 该类变量的值,但也可以在不创建该类的对象的情况下对类变量进行操作. 类变量:使用 static关键字修

  • 详解Reactor中Context的用法

    目录 一.使用介绍 二.源码解读 三.如何桥接现有的ThreadLocal系统 四.总结 在响应式编程中,多线程异步性成为天然的内在,多线程之间的切换也成为原生的,在处理一个数据流Flux/Mono时,基本无法知道是运行在哪个线程上或哪个线程池里,可以说,每一个操作符operator以及内部的函数都可能运行在不同的线程上.这就意味着,以前用ThreadLocal来作为方法间透明传递共享变量的方式不再行得通.为此,Reactor提供了Context来替代ThreadLocal实现一个跨线程的共享变

  • 详解JAVA中static的作用

    1.深度总结 引用一位网友的话,说的非常好,如果别人问你static的作用:如果你说静态修饰 类的属性 和 类的方法 别人认为你是合格的:如果是说 可以构成 静态代码块,那别人认为你还可以: 如果你说可以构成 静态内部类, 那别人认为你不错:如果你说了静态导包,那别人认为你很OK: 那我们就先在这几方面一一对static进行总结:然后说一些模糊的地方,以及一些面试中容易问道的地方: 1)static方法 static方法一般称作静态方法,由于静态方法不依赖于任何对象就可以进行访问,因此对于静态方

  • 详解C# 中Session的用法

    Session模型简介 在学习之前我们会疑惑,Session是什么呢?简单来说就是服务器给客户端的一个编号.当一台WWW服务器运行时,可能有若干个用户浏览正在运正在这台服务器上的网站.当每 个用户首次与这台WWW服务器建立连接时,他就与这个服务器建立了一个Session,同时服务器会自动为其分配一个SessionID,用以标识这个用 户的唯一身份.这个SessionID是由WWW服务器随机产生的一个由24个字符组成的字符串,我们会在下面的实验中见到它的实际样子. 这个唯一的SessionID是有

  • 详解Golang中Channel的用法

    如果说goroutine是Go语言程序的并发体的话,那么channels则是它们之间的通信机制.一个channel是一个通信机制,它可以让一个goroutine通过它给另一个goroutine发送值信息. 1 创建channel 每个channel都有一个特殊的类型,也就是channels可发送数据的类型.一个可以发送int类型数据 的channel一般写为chan int.使用内置的make函数,如果第二个参数大于0,则表示创建一个带缓存的channel. ch := make(chan in

  • 详解java中static关键词的作用

    在java中,static是一个修饰符,用于修饰类的成员方法.类的成员变量,另外可以编写static代码块来优化程序性能:被static关键字修饰的方法或者变量不需要依赖于对象来进行访问,只要类被加载了,就可以通过类名去进行访问. static关键词的作用 1.静态成员变量的语法特定 2.静态函数的语法特定 3.静态代码块的语法特定 定义静态成员变量 Person.java class Person{ static int a; } 按照以前可以这么调用 public class Test1{

  • 一文详解Python中复合语句的用法

    目录 Python复合语句 1.if 语句 2.while 语句 3.for 语句 4.try 语句 5.with 语句 6.match 语句 Python复合语句 复合语句是包含其它语句(语句组)的语句:它们会以某种方式影响或控制所包含其它语句的执行.通常,复合语句会跨越多行,虽然在某些简单形式下整个复合语句也可能包含于一行之内. if.while和for语句用来实现传统的控制流程构造.try语句为一组语句指定异常处理和/和清理代码,而with语句允许在一个代码块周围执行初始化和终结化代码.函

随机推荐