C++之static关键字

文章目录

  • 前提
  • 正文
    • 多重定义
    • extern关键字
    • 使用static
      • static 全局变量(在.cpp文件中定义)
        • static变量存放在哪里
        • static变量可不可以放在.h文件中
      • static 函数
      • static局部变量
      • static 成员变量
      • static 成员函数
  • 总结
  • 参考链接

前提

好吧，八股，我又回来了。这次想探究下static关键字，因为用到过，同时对下面的有些问题，还不是很清楚：

  • static变量都有什么
  • static关键字的作用

正文

在开始研究static之前，我想先引导几个问题，这几个问题对接下来理解static有一定的作用。

多重定义

有test.h, test.cpp, main.cpp三个文件如下：

/*=====test.h=====*/
#ifndef TEST_H_
#define TEST_H_

int a = 5;   /*=======这是重点======*/
void print();

#endif

/*=====test.cpp=====*/
#include"test.h"
#include<iostream>

void print()
{
    std::cout<<"hello, world\n";
}

/*=====main.cpp=====*/
#include <iostream>
#include "test.h"

int main()
{
    print();
    std::cout<<"a: "<<a<<std::endl;
}

程序说明：在test.h定义了一个int的变量a，我们想在main.cpp中输出这个a，使用gcc进行编译。
运行结果：编译出错，出错信息如下：
在这里插入图片描述
可以看到是链接期间的错误，多重定义。

我们分析下为什么会出现这个错误。

  1. 首先明白程序编译的过程。 将源代码编译为可执行文件有四个阶段：预处理——>编译——>汇编——>链接。预处理大概做的是：define定义的替换，include文件的拷贝（比如说：main.cpp中include了test.h，编译器会将test.h的内容拷贝到main.cpp中）等等；编译大概做的是：将C++代码编译为汇编代码；汇编大概做的是：将汇编代码编译为机器码；链接大概做的是：将所有cpp文件编译的机器码合并为一个可执行文件。大概来说就是这样，详细的大家可以自行百度。
  2. 这里我们先关注预处理阶段。它会将test.h的内容拷贝到main.cpp中，那么此时相当于已经在main.cpp中有了int a = 5这个定义，有了a这个变量（如果没有a这个变量，编译器会直接报错找不到a）。然后对于test.cpp，它也include了test.h，所以test.cpp中也有了int a = 5这个定义，有了a这个变量。
  3. 接下来两个cpp分别进行编译，汇编。
  4. 到了链接阶段(上面的错误就发生在链接阶段)，它将main.cpp的机器码和test.cpp的机器码合并到一起，但main中a的定义，test中有a的定义，所以就会出现多重定义的这个错误。

举这个例子是想给大家说明程序编译的过程。接下来我们使用extern关键字改写这个程序。

extern关键字

/*=====test.h=====*/
#ifndef TEST_H_
#define TEST_H_
void print();

#endif

/*=====test.cpp=====*/
#include"test.h"
#include<iostream>

int a = 5;
void print()
{
	a = a+1;
    std::cout<<"a: "<<a<<std::endl;
}

/*=====main.cpp=====*/
#include <iostream>
#include "test.h"
extern int a;
int main()
{
	a = a+1;
	std::cout<<"a: "<<a<<std::endl;
    print();
}

程序说明：在test.cpp中定义一个全局变量a，然后在main.cpp中想使用这个变量a，这里我们借助了extern这个关键字，表明：这只是a的声明，它在其它地方定义(在test.cpp中定义)。
运行结果：如下所示。
在这里插入图片描述
按照上面的分析过程，自已分析下。

使用static

我们见到的static大概有以下几类：

  1. static 全局变量
  2. static 局部变量
  3. static 成员变量
  4. static 函数
  5. static 成员函数

static 全局变量(在.cpp文件中定义)

改写代码如下：

/*=====test.h=====*/
#ifndef TEST_H_
#define TEST_H_

void print();
#endif

/*=====test.cpp=====*/
#include"test.h"
#include<iostream>
static int a = 5;
void print()
{
    a = a+1;
    std::cout<<"a: "<<a<<std::endl;
}

/*=====main.cpp=====*/
#include <iostream>
#include "test.h"
// extern int a;  # 重点关注
int main()
{
    print();
    std::cout<<a<<std::endl;
}

程序说明：在test.cpp中定义了一个static变量a，然后print()函数使用了这个变量，最后在main.cpp中调用print()函数。
运行结果：
在这里插入图片描述
这里重点关注main.cpp中注释的这行代码：extern int a。从上面可知，extern的作用是告诉编译器我的这个a只是声明，你链接的时候在其它地方去找。
而一但我们使用static来定义这个变量时，该变量就只在test.cpp中可见（也就是对其它的cpp文件隐藏），这时如果我们在main.cpp中使用extern，编译器还是找不到变量a的定义。运行结果如下：
在这里插入图片描述

所以这就是static的第一个作用：隐藏。static声明的全局变量只在该文件内可见，对其它文件是不可见的。

隐藏这个特点会带来什么好处呢？

  1. 利用这一特点可以在不同的文件中定义同名变量，而不必担心命名冲突。

明白这一点后，我们在来看一些小问题：

static变量存放在哪里

先来看看现代操作系统中一个进程的内存空间布局：
在这里插入图片描述
Text section: 存放二进制指令。
Data section: 存放非0初始化的静态数据和全局变量。
BSS (Block Started by Symbol): 存放0初始化的静态数据和全局变量，程序中没有初始化的静态数据会被初始为0并存放到这里。
Heap: 存放动态分配的数据。
Stack: 存放局部变量，函数参数，指针等。

来吧，让我们继续。C++的内存分布（有的人说C++没有标准的内存分布）和上面的基本一致，只不过显式指出了有一个**只读数据区(.rodata)**用来存放全局常量数据(const)，如下：
在这里插入图片描述

回归正题，我们采用一些方法来确认static全局变量存放在**.bss section**（未初始化）和**.data section**（初始化）。

先来确定初始化的static变量存放在.data中。
有以下代码：

static int variable_a=10;  // 全局static变量，已初始化为10
int main()
{
    
}

这里要借助objdump这个命令。objdump 是一个功能强大的命令行工具，用于显示二进制文件（如可执行文件、目标文件和共享库）的各种信息。它是GNU Binutils软件包的一部分，广泛用于调试、分析和逆向工程。通过 objdump，用户可以查看文件头、段表、符号表、反汇编代码等详细信息。

编译程序，然后使用objdump -t显示符号表，如下：
在这里插入图片描述
可以看到初始化的static变量存放在.data中。

再来确定未初始化的static变量存放在.bss中。修改代码如下：

#include<stdio.h>
static int variable_a;
int main()
{
    printf("variable_a: %d\n", variable_a); // 验证未初始化的static变量会被编译器初始化为0，全局变量也一样
}

结果如下：
在这里插入图片描述
然后使用objdump查看符号表：
在这里插入图片描述
可以看到未初始化的static变量存放在.bss中。

再来确定初始化为0的static变量也存放在.bss中。
修改代码如下：

#include<stdio.h>
static int variable_a=0;
int main()
{
    printf("variable_a: %d\n", variable_a); // 验证未初始化的static变量会被编译器初始化为0
}

如下：
在这里插入图片描述
可以看到初始化为0的static变量存放在.bss中。

static变量可不可以放在.h文件中

代码如下 ：

/*=====test.h=====*/
#ifndef TEST_H_
#define TEST_H_

static int variable_a = 5; // 重点关注：将static变量定义在.h中
void func();

#endif

/*=====test.cpp=====*/
#include"test.h"
#include<iostream>

void func()
{
    variable_a += 5;  // // test.cpp 中的static int variable_a 加2
    std::cout<<"test.cpp: variable_a =  " << variable_a <<std::endl;
}

/*=====main.cpp=====*/
#include<iostream>
#include"test.h"
int main()
{
    variable_a += 2; // main.cpp 中的static int variable_a 加2
    std::cout << "main.cpp: variable_a = " << variable_a << std::endl;
    func();
}

程序说明：将static变量定义在test.h中，然后在main.cpp中包含test.h。
运行结果：
在这里插入图片描述
结果说明了：main.cpp中的variable_a和test.h中的variable_a是两个独立的变量。因为它们都是static变量，而static变量有隐藏的特性，所以它们互相对对方隐藏。

static 函数

static函数和static全局变量一样，都有隐藏的作用，所以允许同名函数。代码如下：

/*=====test.h=====*/
#ifndef TEST_H_
#define TEST_H_

static void print();
void use_print();

#endif

/*=====test.cpp=====*/
#include"test.h"
#include<iostream>

void print()
{
    std::cout<<"hello static, test.cpp"<<std::endl;
}

void use_print()
{
    print();
}

/*=====main.cpp=====*/
#include<iostream>
#include"test.h"

void print()
{
    std::cout<<"hello static, main.cpp"<<std::endl;
}

int main()
{
    print();
    use_print();
}

程序说明：在test.cpp中定义了一个static函数print()，同时在main.cpp中定义了一个同名函数print()。按照我们的分析，static函数只在test.cpp中可见，所以使用main.cpp包含test.h后，main.cpp是看不见test.h中的print()函数的。可以编译运行，结果如下 ：
在这里插入图片描述

static局部变量

​static修饰局部变量时，使得该变量不会因为函数运行结束而丢失，使其生命周期为整个源程序。把局部变量改变为静态变量后是改变了它的存储方式即改变了它的生存期。把全局变量改变为静态变量后是改变了它的作用域， 限制了它的使用范围。因此static 这个说明符在不同的地方所起的作用是不同的。

代码如下：

/*==========main.cpp==========*/
#include<iostream>

int fun()
{
    static int variable_a = 10; // //在第一次进入这个函数的时候，variable_a被初始化为10。接着每次调用fun()，variable自加1；在static发明前，要达到同样的功能，则只能使用全局变量： 
    variable_a++;
    return variable_a;
}

int main()
{
    for(int i=0; i<10; i++)
    {
        std::cout <<"variable_a: " << fun() << std::endl;
    }
}

结果：
在这里插入图片描述

static 成员变量

代码如下：

/*==========main.cpp===========*/
#include<iostream>

class Base{
public:
    Base() = default;
    virtual ~Base() = default;
public:
    static int variable; /* 类内定义 */
};

int Base::variable = 10; /* 类外初始化 */


int main()
{
    std::cout<<"Base::variable = "<<Base::variable<<std::endl;
}

这段代码肯定是可以编译运行的，在这里我们要思考的问题是：为什么类的静态成员变量要类内定义，类外初始化？
有一个理论答案：**因为静态成员属于整个类，而不属于某个对象，如果在类内初始化，会导致每个对象都包含该静态成员，这是矛盾的。**如果你在类内初始化，编译会报错，信息如下：
在这里插入图片描述

这里埋个坑，可不可以从代码层面分析为什么不能这么做？

static 成员函数

**static成员函数和static成员变量属于类，不属于类的某个对象。**所以static成员函数只能调用static 成员函数和static成员变量。

代码如下：

/*=========main.cpp============*/
#include<iostream>

class Base{
public:
    Base() = default;
    virtual ~Base() = default;
public:
    static int variable_a; /* 类内定义 */
    int a; /* 普通成员变量 */

    void func1()
    {
        std::cout<<"this func1 is a member function"<<std::endl;
    }

    static void func()
    {   
        a = 4; // error: invalid use of member 'Base::a' in static member function
        func1(); // error: cannot call member function 'void Base::func1()' without object
        std::cout<<"variable_a: " << variable_a <<std::endl;
    
    }
};

int Base::variable_a = 10; /* 类外初始化 */

int main()
{
    Base base;
    base.func();

    Base::func();
}

程序说明：在static成员函数中调用普通成员函数和普通成员变量。
结果：程序编译出错，如下：
在这里插入图片描述
类的静态成员函数是属于整个类而非类的对象，所以它没有this指针，这就导致它仅能访问类的静态数据和静态成员函数。

总结

关于static关键字暂时总结这么多，当然关于static还有更多的问题，接下来遇到再更新。

参考链接

  1. https://blog.csdn.net/u011718663/article/details/118218407
  2. https://www.cnblogs.com/honernan/p/14478366.html

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.mfbz.cn/a/777445.html

如若内容造成侵权/违法违规/事实不符，请联系我们进行投诉反馈qq邮箱809451989@qq.com，一经查实，立即删除！

相关文章

8.14 矢量图层面要素2.5D渲染

8.14 矢量图层面要素2.5D渲染

文章目录 前言2.5D渲染QGis设置面符号为2.5D二次开发代码实现2.5D 总结 前言 本章介绍矢量图层面要素2.5D渲染的使用说明&#xff1a;文章中的示例代码均来自开源项目qgis_cpp_api_apps 2.5D渲染 2.5D渲染可以将多边形渲染为类3D效果。 QGis设置面符号为2.5D 以"hou…
阅读更多...
数据库7.4

数据库7.4

第二次作业 1.登陆数据库 2.创建数据库zoo 3.修改数据库zoo字符集为gbk 4.选择当前数据库为zoo 5.查看创建数据库zoo信息 6.删除数据库zoo C:\Windows\System32>mysql -uroot -p20040830Nmx mysql> create database zoo; alter database zoo character set gbk; mys…
阅读更多...
Java springboot校园管理系统源码

Java springboot校园管理系统源码

Java springboot校园管理系统源码-014 下载地址&#xff1a;https://download.csdn.net/download/xiaohua1992/89364089 技术栈 运行环境&#xff1a;jdk8 tomcat9 mysql5.7 windows10 服务端技术&#xff1a;Spring Boot Mybatis VUE 使用说明 1.使用Navicati或者其它工…
阅读更多...
VBA初学：零件成本统计之三（获取材料外协的金额）

VBA初学：零件成本统计之三（获取材料外协的金额）

第三步&#xff0c;从K3的数据库中获取金额 我这里是使用循环&#xff0c;通过任务单号将金额汇总出来&#xff0c;如果使用数组的话&#xff0c;还要按任务单写GROUP&#xff0c;还要去对应&#xff0c;不如循环直接一点 获取材料和外协金额的表格Sub getje()Dim rowcount A…
阅读更多...
【JAVA入门】Day13 - 代码块

【JAVA入门】Day13 - 代码块

【JAVA入门】Day13 - 代码块 文章目录 【JAVA入门】Day13 - 代码块一、局部代码块二、构造代码块三、静态代码块 在 Java 中&#xff0c;两个大括号 { } 中间的部分叫一个代码块&#xff0c;代码块又分为&#xff1a;局部代码块、构造代码块、静态代码块三种。 一、局部代码块…
阅读更多...
Linux应用---信号

Linux应用---信号

写在前面&#xff1a;在前面的学习过程中&#xff0c;我们学习了进程间通信的管道以及内存映射的方式。这次我们介绍另外一种应用较为广泛的进程间通信的方式——信号。信号的内容比较多&#xff0c;是学习的重点&#xff0c;大家一定要认真学&#xff0c;多多思考。 一、信号概…
阅读更多...
ASP.NET Core----基础学习01----HelloWorld---创建Blank空项目

ASP.NET Core----基础学习01----HelloWorld---创建Blank空项目

文章目录 1. 创建新项目--方式一&#xff1a; blank2. 程序各文件介绍&#xff08;Project name &#xff1a;ASP.Net_Blank&#xff09;&#xff08;1&#xff09;launchSettings.json 启动方式的配置文件&#xff08;2&#xff09;appsettings.json 基础配置file参数的读取&a…
阅读更多...
Vue 前端修改页面标题无需重新打包即可生效

Vue 前端修改页面标题无需重新打包即可生效

在public文件夹下创建config.js文件 index.html页面修改 其他页面的标题都可以用window.title来引用就可以了&#xff01;
阅读更多...
【算法】（C语言）：冒泡排序、选择排序、插入排序

【算法】（C语言）：冒泡排序、选择排序、插入排序

冒泡排序 从第一个数据开始到第n-1个数据&#xff0c;依次和后面一个数据两两比较&#xff0c;数值小的在前。最终&#xff0c;最后一个数据&#xff08;第n个数据&#xff09;为最大值。从第一个数据开始到第n-2个数据&#xff0c;依次和后面一个数据两两比较&#xff0c;数值…
阅读更多...
商务办公优选！AOC Q27E3S2商用显示器，打造卓越新体验！

商务办公优选！AOC Q27E3S2商用显示器，打造卓越新体验！

摘要&#xff1a;助办公室一族纵横职场&#xff0c;实现高效舒适办公&#xff01; 在日常商务办公中&#xff0c;对于办公室一族来说总有太多“难难难难难点”&#xff1a;工作任务繁琐&#xff0c;熬夜加班心力交瘁、长时间伏案工作导致颈椎、眼睛等出现问题&#xff0c;职业…
阅读更多...
【吊打面试官系列-MyBatis面试题】为什么说 Mybatis 是半自动 ORM 映射工具？它与全自动的区别在哪里？

【吊打面试官系列-MyBatis面试题】为什么说 Mybatis 是半自动 ORM 映射工具？它与全自动的区别在哪里？

大家好&#xff0c;我是锋哥。今天分享关于 【为什么说 Mybatis 是半自动 ORM 映射工具&#xff1f;它与全自动的区别在哪里&#xff1f;】面试题&#xff0c;希望对大家有帮助&#xff1b; 为什么说 Mybatis 是半自动 ORM 映射工具&#xff1f;它与全自动的区别在哪里&#xf…
阅读更多...
[从0开始轨迹预测][NMS]：NMS的应用（目标检测、轨迹预测）

[从0开始轨迹预测][NMS]：NMS的应用（目标检测、轨迹预测）

非极大值抑制&#xff08;Non-Maximum Suppression&#xff0c;简称NMS&#xff09;是一种在计算机视觉中广泛应用的算法&#xff0c;主要用于消除冗余和重叠的边界框。在目标检测任务中&#xff0c;尤其是在使用诸如R-CNN系列的算法时&#xff0c;会产生大量的候选区域&#x…
阅读更多...
Redis基础教程（九）：redis有序集合

Redis基础教程（九）：redis有序集合

&#x1f49d;&#x1f49d;&#x1f49d;首先&#xff0c;欢迎各位来到我的博客&#xff0c;很高兴能够在这里和您见面&#xff01;希望您在这里不仅可以有所收获&#xff0c;同时也能感受到一份轻松欢乐的氛围&#xff0c;祝你生活愉快&#xff01; &#x1f49d;&#x1f49…
阅读更多...
华为仓颉可以取代 Java 吗？

华为仓颉可以取代 Java 吗？

大家好&#xff0c;我是君哥。 在最近的华为开发者大会上&#xff0c;华为亮相了仓颉编程语言&#xff0c;这是华为历经 5 年&#xff0c;投入大量研发成本沉淀的一门编程语言。 1 仓颉简介 按照官方报告&#xff0c;仓颉编程语言是一款面向全场景智能的新一代编程语言&#…
阅读更多...
使用JAR命令打包JAR文件使用Maven打包使用Gradle打包打包Spring Boot应用

使用JAR命令打包JAR文件使用Maven打包使用Gradle打包打包Spring Boot应用

本人详解 作者：王文峰，参加过 CSDN 2020年度博客之星，《Java王大师王天师》 公众号：JAVA开发王大师，专注于天道酬勤的 Java 开发问题中国国学、传统文化和代码爱好者的程序人生，期待你的关注和支持！本人外号：神秘小峯 山峯 转载说明：务必注明来源（注明：作者：王文峰…
阅读更多...
XLSX + LuckySheet + LuckyExcel + Web Worker实现前端的excel预览

XLSX + LuckySheet + LuckyExcel + Web Worker实现前端的excel预览

文章目录 功能简介简单代码实现web worker 版本效果参考 功能简介 通过LuckyExcel的transformExcelToLucky方法&#xff0c; 我们可以把一个文件直接转成LuckySheet需要的json字符串&#xff0c; 之后我们就可以用LuckySheet预览excelLuckyExcel只能解析xlsx格式的excel文件&a…
阅读更多...
机器学习——随机森林

机器学习——随机森林

随机森林 1、集成学习方法 通过构造多个模型组合来解决单一的问题。它的原理是生成多个分类器/模型&#xff0c;各自独立的学习和做出预测。这些预测最后会结合成组合预测&#xff0c;因此优于任何一个单分类得到的预测。 2、什么是随机森林&#xff1f; 随机森林是一个包含…
阅读更多...
Midjourney 预设

Midjourney 预设

使用命令/settings 进入预设，根据点击不同选项来配置。 🌹 1. 设置工作所使用的模型版本。 1️⃣ MJ Version 1 2️⃣ MJ Version 2 3️⃣ MJ Version 3 4️⃣ MJ Version 4 5️⃣ MJ Version 5 5️⃣ MJ Version 5.1 🔧Raw Mode 🌈 Niji Version 4 🍎 Niji Versio…
阅读更多...
【pytorch16】MLP反向传播

【pytorch16】MLP反向传播

链式法则回顾 多输出感知机的推导公式回顾 只与w相关的输出节点和输入节点有关 多层多输入感知机 扩展为多层感知机的话&#xff0c;意味着还有一些层&#xff08;理解为隐藏层σ函数&#xff09;&#xff0c;暂且设置为 x j x_{j} xj​层 对于 x j x_{j} xj​层如果把前面的…
阅读更多...
Vue联调Java后台操作性强教程

Vue联调Java后台操作性强教程

本人详解 作者：王文峰，参加过 CSDN 2020年度博客之星，《Java王大师王天师》 公众号：JAVA开发王大师，专注于天道酬勤的 Java 开发问题中国国学、传统文化和代码爱好者的程序人生，期待你的关注和支持！本人外号：神秘小峯 山峯 转载说明：务必注明来源（注明：作者：王文峰…
阅读更多...
最新文章

Copyright @ 2022~2023