C++ -- 存储类型说明

简介: 存储持续性 : C++使用三种不同的方案来存储诗句(区别:数据保留在内存中的时间)

存储类型说明


提前说明:

存储持续性 : C++使用三种不同的方案来存储诗句(区别:数据保留在内存中的时间)


1.自动存储持续性:在函数定义中声明的变量(包含函数参数)的存储持续性是自动的。他们在程序开始执行其所属的函数或者代码块时间时被创建,在执行完成函数或代码块时他们使用的内存自动被释放。其中C++中有两种存储持续性为自动的变量:自动变量、寄存器变量

2.静态存储持续性:在函数定义外的变量和使用关键字static定义的变量,他们在程序整个运行过程中都存在。C++中有三个存储持续性为静态的变量。静态无链接性、静态内部链接性、静态外部链接性

3.动态存储持续性:使用new运算符分配的内存将一直存在,知道使用delete运算符将其释放或者是程序结束为止。这种内存的存储持续性为动态,有时候被称为自由存储或者堆。

4.线程存储持续性(C++11):在cpu可同时处理多个执行任务,这让程序能够将计算放在可并行处理的不同线程中。如果变量是使用关键字thread_local声明的,则其生命周期与所属线程一样长。


作用域和链接性:


作用域描述了名称在文件中的可见范围,例如:函数体重的变量可在函数中使用,但是不能在其他函数中使用。在文件中定义的函数定义之前定义的变量可在所有函数中使用。


C++变量的作用域有多种:


1.作用域为局部的变量只在定义它的代码块中可用。例如:代码块是由花括号括起来的一系列语句。eg:函数体

2.作用域为全局(文件作用域)的变量在定义位置到文件结尾之间都可以使用,自动变量的作用域为局部,静态变量的作用域为全局还是局部取决于它的定义。

3.函数原型作用域中使用名称只在包含参数列表的括号内可用

4.在类声明的成员的作用域为整个类

5.在名称空间中声明的变量的作用域为整个名称空间


链接性描述了名称如何在不同单元之间共享。


其中:链接性为外部的名称可在文件间共享。链接性为内部的名称只能由一个文件中的函数共享,自动变量名称没有链接性,因为他们不能共享。


C++函数的作用域可以是整个类或者整个名称空间(包括全局),但不能是局部的(因为不能在代码块内定义函数,如果函数的作用域为局部,则只对它自己是可见的,因此不能被其他函数调用。这样的函数将无法运行)


存储类型说明符

存储说明符是名称声明语法的一部分,与名称的范围一起,他们控制名称的两个独立属性:其存储持续时间和链接


●  无规范或者auto(C++11) - 自动的存储持续时间


●  register(C++17) - 自动存储持续时间,还提示编译器将对象放在处理器的寄存器中(弃用)


●  static - 静态或者线程存储持续时间和内部链接(或者不在匿名空间中的静态类成员的外部链接)


●  extern - 静态或者线程存储持续时间和外部链接


●  thread_local -线程存储持续时间


●  mutable - 不影响存储时间或链接


声明中只能出现一个存储类说明符,但thread_local可以与 static 或 extern 组合(自 C++11 起)。


示例代码:

#include <iostream>
#include <mutex>
#include <string>
#include <thread>
thread_local unsigned int rage = 1; 
std::mutex cout_mutex;
void increase_rage(const std::string& thread_name)
{
    ++rage; // modifying outside a lock is okay; this is a thread-local variable
    std::lock_guard<std::mutex> lock(cout_mutex);
    std::cout << "Rage counter for " << thread_name << ": " << rage << '\n';
}
int main()
{
    std::thread a(increase_rage, "a"), b(increase_rage, "b");
    {
        std::lock_guard<std::mutex> lock(cout_mutex);
        std::cout << "Rage counter for main: " << rage << '\n';
    }
    a.join();
    b.join();
}


目录
相关文章
|
2月前
|
存储 编译器 程序员
C++类型参数化
【10月更文挑战第1天】在 C++ 中,模板是实现类型参数化的主要工具,用于编写能处理多种数据类型的代码。模板分为函数模板和类模板。函数模板以 `template` 关键字定义,允许使用任意类型参数 `T`,并在调用时自动推导具体类型。类模板则定义泛型类,如动态数组,可在实例化时指定具体类型。模板还支持特化,为特定类型提供定制实现。模板在编译时实例化,需放置在头文件中以确保编译器可见。
39 11
|
3月前
|
安全 程序员 C语言
C++(四)类型强转
本文详细介绍了C++中的四种类型强制转换:`static_cast`、`reinterpret_cast`、`const_cast`和`dynamic_cast`。每种转换都有其特定用途和适用场景,如`static_cast`用于相关类型间的显式转换,`reinterpret_cast`用于低层内存布局操作,`const_cast`用于添加或移除`const`限定符,而`dynamic_cast`则用于运行时的类型检查和转换。通过具体示例展示了如何正确使用这四种转换操作符,帮助开发者更好地理解和掌握C++中的类型转换机制。
|
4月前
|
C++
使用 QML 类型系统注册 C++ 类型
使用 QML 类型系统注册 C++ 类型
99 0
|
5月前
|
存储 Prometheus Cloud Native
SLS Prometheus存储问题之为什么SLS时序引擎最终选择了使用C++实现PromQL的部分算子
SLS Prometheus存储问题之为什么SLS时序引擎最终选择了使用C++实现PromQL的部分算子
|
5月前
|
编译器 C++ 运维
开发与运维函数问题之函数的返回类型如何解决
开发与运维函数问题之函数的返回类型如何解决
41 6
|
5月前
|
安全 编译器 C++
C++一分钟之-模板元编程实例:类型 traits
【7月更文挑战第15天】C++的模板元编程利用编译时计算提升性能,类型traits是其中的关键,用于查询和修改类型信息。文章探讨了如何使用和避免过度复杂化、误用模板特化及依赖特定编译器的问题。示例展示了`is_same`类型trait的实现,用于检查类型相等。通过`add_pointer`和`remove_reference`等traits,可以构建更复杂的类型转换逻辑。类型traits增强了代码效率和安全性,是深入C++编程的必备工具。
93 12
|
4月前
|
存储 C++
【C/C++学习笔记】string 类型的输入操作符和 getline 函数分别如何处理空白字符
【C/C++学习笔记】string 类型的输入操作符和 getline 函数分别如何处理空白字符
55 0
|
5月前
|
C++
C++一分钟之-类型别名与using声明
【7月更文挑战第20天】在C++中,类型别名和`using`声明提升代码清晰度与管理。类型别名简化复杂类型,如`using ComplexType = std::vector&lt;std::shared_ptr&lt;int&gt;&gt;;`,需注意命名清晰与适度使用。`using`声明引入命名空间成员,避免`using namespace std;`全局污染,宜局部与具体引入,如`using math::pi;`。恰当应用增强代码质量,规避常见陷阱。
90 5
|
4月前
|
设计模式 安全 IDE
C++从静态类型到单例模式
C++从静态类型到单例模式
40 0
|
5月前
|
C++ 开发者
C++一分钟之-概念(concepts):C++20的类型约束
【7月更文挑战第4天】C++20引入了Concepts,提升模板编程的类型约束和可读性。概念定义了模板参数需遵循的规则。常见问题包括过度约束、约束不完整和重载决议复杂性。避免问题的关键在于适度约束、全面覆盖约束条件和理解重载决议。示例展示了如何用Concepts限制模板函数接受的类型。概念将增强模板的安全性和灵活性,但需谨慎使用以防止错误。随着C++的发展,Concepts将成为必备工具。
112 2