C++基础与深度解析 | 什么是C++ | C++开发环境与相关工具 | C++编译/链接模型

文章目录

一、什么是C++

C++是一门比较流行的编程语言（高级语言），同时也是一门复杂的语言。从TIOBE 编程社区指数中可以看出：在2024.04中，其编程语言受欢迎程度指标排名前三。

C++基础与深度解析 | 什么是C++ | C++开发环境与相关工具 | C++编译/链接模型-LMLPHP

C++语言是C语言的扩展，其继承了一些C++的特性。

关注性能
- 与底层硬件紧密结合
  
  “大端序”与“小端序”是硬件的概念。不同的计算机架构可能采用不同的字节序。例如，x86架构的计算机通常使用小端序，而一些其他架构，如SPARC、PA-RISC、和很多网络协议，则使用大端序。在进行时，字节序是一个重要的考虑因素，因为不同的系统可能会以不同的顺序解释字节。为了解决这个问题，经常使用标准化的字节序表示，如网络字节序（大端序），来确保数据的一致性。
- 对象生命周期的精确控制
  
  举例：比较C#与C++两种高级语言的对象生命周期的精确控制，两种语言使用不同的设计方案，是在易用性与性能之间的取舍。
  - C# 使用垃圾回收机制（线程）来自动管理内存，不用关注对象的销毁过程（易用性，但损耗性能）
  - C++从构造对象开始、使用、销毁，所有的这些操作都是程序员显式控制的
- “Zero-overhead abstraction” —零开销抽象，使用抽象而不会引入额外的性能开销
  - 不需要为没有使用的语言特性付出成本
```
int fun1()
{
    int* x = new int(3);  //在堆上开辟内存,需要涉及到间接引用
    return *x;
}

int fun2()
{
    int x = 3;	//在栈上开辟内存
    return x;
}
```
    其汇编语言的结果为：
```
fun1():
        push    rbp
        mov     rbp, rsp
        sub     rsp, 16
        mov     edi, 4
        call    operator new(unsigned long)
        mov     DWORD PTR [rax], 3
        mov     QWORD PTR [rbp-8], rax
        mov     rax, QWORD PTR [rbp-8]
        mov     eax, DWORD PTR [rax]
        leave
        ret
fun2():
        push    rbp
        mov     rbp, rsp
        mov     DWORD PTR [rbp-4], 3
        mov     eax, DWORD PTR [rbp-4]
        pop     rbp
        ret
```
    总结来讲：如果不需要使用堆这个概念，就不需要付出额外的成本
  - 使用一些语言特性不等于付出运行期成本（可能会被编译器所优化掉，进一步提升程序的性能）
```
consteval auto fun(unsigned input)
{
    unsigned res = 0;
    for (unsigned i = 0; i < input; ++i)
    {
        res += i;
    }
    return res;
}

int main()
{
    return fun(3);
}
```
    其汇编语言结果为
```
main:
        push    rbp
        mov     rbp, rsp
        mov     eax, 3
        pop     rbp
        ret
```
    consteval关键字是C++20的特性，表明函数只能在编译期运行，换句话说，在编译器中会执行函数逻辑，计算fun(3)的函数返回值。增加了编译期的负担，但编译期一般执行一次，换来运行期不会执行函数代码而直接获得结果。
引入大量特性，便于工程实践
- ：面向过程、面向对象、泛型编程与元编程
- 函数重载、异常处理、引用

C++是一系列不断衍进的标准集合，从C++98/03，C++11，C++14，C++17，C++20等不断衍进。涉及到

语言本身的改进
- Memory Model（内存模型）
- Lambda Expression（Lambda表达式）
标准库的改进
- type_traits（泛型编程）、ranges（元编程）
- auto_ptr（智能指针）
  
  auto_ptr 有一些限制和问题，例如它不满足某些标准容器和算法的要求，因为它的复制行为与其他标准容器和算法的预期行为不一致。此外，它也不支持多线程环境。在 C++11 中，auto_ptr 被新的智能指针类 std::unique_ptr 所取代。std::unique_ptr 提供了更好的异常安全性和更直观的所有权模型。std::unique_ptr 同样用于自动管理动态分配的内存，但它不会导致自动转移所有权，而是提供了 std::move 操作来显式转移所有权。推荐使用 std::unique_ptr 或 std::shared_ptr 来管理动态内存，而不是使用 auto_ptr。

C++标准的工业界实现，常见的编译器有MSVC/GCC/Clang…

每个编译器可能并不完全遵照标准
不同的实现存在差异

使用C++开发程序，一定要关注程序的，这是C++语言的优势。同时，也要关注C++的。比如：在C++98标准时，在标准层面并没有规定如何开发多线程的程序，此时，就不得不使用Windows的多线程库与Linux的多线程库来开发多线程程序，造成程序的移植问题（在Windows上开发的程序不能在Linux上编译与运行）。在C++11之后引入了多线程开发库，这个库纳入了C++11标准中去，我们就应该使用这些库进行开发，使用标准是在避免移植问题。尽量避免使用平台特定的相关工具语言来进行开发。

二、C++的开发环境与相关工具

编译环境

Visual C++ / GCC（G++）/ Clang（Clang++）…
集成开发环境

Visual Studio 、 CodeLite、Code::blocks、Eclipse、Qt
工具（主要是Linux上的）
- /usr/bin/time
  
  用于测量程序执行时间的命令行工具。它可以用于获取程序运行时的资源使用情况，包括 CPU 时间、实际经过的时间、内存使用量等。这个工具对于性能分析和基准测试非常有用，因为它提供了关于程序执行效率的重要信息。常用的 /usr/bin/time 选项：
  - -p：打印所有可用的资源使用信息。
  - -v：显示详细的资源使用信息。
  - -o <file>：将资源使用信息输出到指定的文件中。
  - -f <format>：指定输出的格式。
  基本的使用方法如下：
```
/usr/bin/time [options] command
```
  例如，要测量运行某个程序 program 的资源使用情况，可以使用：
```
/usr/bin/time -p program
```
  这将输出程序的 CPU 时间（用户 CPU 时间和系统 CPU 时间）、实际经过的时间、平均内存使用量、最大内存使用量等信息。
  
  如果你想要将这些信息保存到文件中，可以使用 -o 选项：
```
/usr/bin/time -o time_output.txt program
```
  这将把资源使用信息保存到 time_output.txt 文件中。
- valgrind
  
  Valgrind 是一个开源的程序分析工具，它主要用于内存调试、内存泄漏检测、性能分析以及检测程序中其他的一些常见错误。Valgrind 通过模拟硬件来运行程序，这使得它能够在不修改程序的情况下检测到许多问题。
  
  以下是 Valgrind 的一些主要工具和用途：
  1. Memcheck：这是 Valgrind 最常用的工具之一，用于检测内存泄漏和内存越界等错误。
  2. Cachegrind 和 Callgrind：这两个工具用于性能分析，它们可以帮助开发者了解程序的缓存使用情况和函数调用情况。
  3. Helgrind：用于检测多线程程序中的竞态条件和锁的使用问题。
  4. Massif：一个堆分析工具，用于检测程序的堆内存使用情况。
  5. Drmgrind：用于检测程序中的 DRM（数字版权管理）相关的问题。
  6. BBV：一个简单的二进制代码查看器。
  7. VGDB：允许开发者使用 GDB 调试器来调试正在 Valgrind 运行的程序。
  8. Exp-ptrcheck：一个实验性的指针检查工具。
  使用 Valgrind 的基本命令格式如下：
```
valgrind [options] program [program_arguments]
```
  例如，使用 Memcheck 工具检测程序中的内存问题：
```
valgrind --leak-check=yes --show-leak-kinds=all --track-origins=yes program
```
  这个命令会启动 Memcheck 工具，检查所有类型的内存泄漏，并显示泄漏内存的来源。
  
  在使用 Valgrind 之前，确保你的程序是编译时带有调试信息的，通常是使用 -g 选项进行编译，这样 Valgrind 才能提供更详细的信息。同时，Valgrind 与优化过的代码配合使用时可能无法准确检测到所有问题，因此在调试时可能需要关闭或减少编译器的优化级别。
- C++ Reference 的网址是：https://en.cppreference.com/，它是 C++ 程序员日常开发中的重要参考资源之一。它提供了关于 C++ 标准库、关键字、运算符、概念（C++20引入）、类和函数等的详细信息。当程序员需要查找特定函数的用法、类成员的详细信息或者语言特性的时候是非常有用的。
  
  C++ Reference 的网站内容通常包括：
  1. C++ 标准库：包括了所有标准库的容器、迭代器、算法、输入/输出库等的详细文档。
  2. 语言特性：涵盖了 C++ 的所有关键字、特殊成员函数、类型转换、模板等。
  3. C++11/14/17/20 新特性：对于每个新标准，C++ Reference 都提供了新特性的详细解释和用法示例。
  4. 示例代码：很多页面都包含示例代码，帮助读者更好地理解如何使用特定的语言特性或库功能。
  5. 兼容性信息：指出了不同 C++ 标准和编译器对特定特性的支持情况。
  6. 语法：提供了 C++ 语法的详细描述，包括表达式、语句和声明等。
  7. 概念（Concepts）：C++20 引入的新特性，用于模板编程中对类型进行约束。
  8. 工具和技巧：提供了一些编程技巧和最佳实践。
  9. 搜索功能：允许用户快速搜索 C++ 特性和库组件。
- Compiler Explorer 是一个功能强大的在线编译器和代码分析工具，它允许开发者查看不同编译器的编译结果，包括汇编语言输出。它通过可视化的方式展示了代码编译的细节，有助于提升编程技能和理解底层硬件的工作原理。
  
  使用 Compiler Explorer 的基本步骤通常包括：
  - 打开 Compiler Explorer 网站（如 https://godbolt.org/）。
  - 在左侧的编辑器中编写或粘贴代码。
  - 选择适当的语言和编译器版本。
  - 根据需要调整编译选项。
  - 查看右侧的汇编输出或执行结果。
  Compiler Explorer 的一些主要特点：
  1. 多语言支持：支持 C++、Rust、Go、Java 等多种编程语言的编译。
  2. 编译器版本：提供了不同编译器及其版本的选择，包括 GCC、Clang、MSVC 等。
  3. 汇编代码查看：可以查看源代码对应的汇编指令，有助于理解编译器如何将高级语言翻译成机器可以执行的指令。
  4. 性能分析：支持使用 LLVM-mca 工具进行静态性能分析。
  5. 代码分享：可以生成分享链接，让他人查看你的编译结果和汇编代码。
  6. 插件和集成：存在如 VSCode 插件等第三方工具集成 Compiler Explorer 的功能，提高开发效率。
  7. 开源项目：Compiler Explorer 是一个开源项目，可以在 GitHub 上找到其源代码和贡献指南。
  8. 实时编译：提供实时的、交互式的编译体验，可以即时看到更改代码后的影响。
  9. 编译选项：允许用户尝试不同的编译器选项，观察对源代码编译结果的影响。
  10. 多文件编译：支持 CMake 等工具进行多文件项目的编译
- C++ insights
  
  要使用 C++ Insights，你可以直接访问它的网站（例如 https://cppinsights.io/）并在提供的编辑器中输入 C++ 代码，或者在安装了相应扩展的 VSCode 中使用它。
  
  C++ Insights 是一个基于 Clang 的工具，旨在帮助开发者更深入地。它通过展示编译器看到的 C++ 源码细节，揭示了模板、自动类型推导（auto）、decltype 等语言特性背后的实现。C++ Insights 可以作为一个网页工具使用，也可以集成到 Visual Studio Code（VSCode）中作为一个扩展。
  
  C++ Insights 的一些关键特性：
  1. 源码到源码的转换：C++ Insights 可以将 C++ 代码的复杂特性转换成等价的、更易理解的 C++ 代码形式。
  2. 编译器内部视角：它提供了一个窗口，让开发者能够看到编译器是如何解释 C++ 代码的。
  3. 模板推导：C++ Insights 可以展示模板参数推导的结果，帮助开发者理解模板元编程。
  4. 自动类型推导：对于 auto 关键字，C++ Insights 可以展示编译器推导出的具体类型。
  5. 声明和定义的展开：它能够展示由编译器生成的隐式声明和定义，例如，从 decltype 表达式中生成的类型声明。
  6. Visual Studio Code 扩展：C++ Insights 提供了一个 VSCode 扩展，允许在编辑器内部直接查看编译器的视角。
  7. 代码差异：C++ Insights 允许你比较原始源码和转换后的代码，从而更清楚地理解编译器做了哪些更改。
  8. 开源项目：C++ Insights 是一个开源项目，其代码库托管在 GitHub 上，社区成员可以查看源码、报告问题或贡献代码

三、C++的编译/链接模型

最初，用到的是

C++基础与深度解析 | 什么是C++ | C++开发环境与相关工具 | C++编译/链接模型-LMLPHP

简单加工模型的问题：无法处理大型程序

加工耗时较长
即使少量修改，也需要全部重新加工

为了解决上述问题，提出解决方案：C++的编译/链接模型（）

C++基础与深度解析 | 什么是C++ | C++开发环境与相关工具 | C++编译/链接模型-LMLPHP

分块处理的优点：

编译耗资源但一次处理输入较少，可以很快完成编译
链接输入较多（N个目标文件）但处理速度较快
便于程序修改升级

由“分块处理”衍生出的概念

定义 / 声明
头文件 / 源文件
翻译单元（编译时预处理阶段会将源程序变成翻译单元）

源文件 + 相关头文件（直接/间接） - 应忽略的预处理语句
一处定义原则
- 程序级别：一般函数遵循一处定义原则
- 翻译单元级别：内联函数、类、函数模板遵循一处定义原则

C++的编译/链接模型对于源程序是如何操作的？

C++基础与深度解析 | 什么是C++ | C++开发环境与相关工具 | C++编译/链接模型-LMLPHP

预处理
- 防止头文件被循环展开
  
  在C或C++编程中，头文件的循环展开（也称为循环包含）是一个常见的问题，它发生在一个头文件被另一个头文件多次包含时。这可能导致编译错误，因为代码被重复定义。为了解决这个问题，有两种常用的方法：#ifdef 解决方案和 #pragma once 解决方案
  - #ifdef 解决方案
    
    这是一种传统的防止头文件循环展开的方法。它依赖于宏定义来检查头文件是否已经被包含过。
    
    基本的步骤如下：
    1. 在头文件的开始处，定义一个唯一的宏，通常是头文件名的全大写形式。
    2. 检查这个宏是否已经定义。如果没有定义，定义它，并包含头文件的内容。
    3. 在头文件的末尾，取消定义这个宏。
```
// example.h
#ifndef EXAMPLE_H
#define EXAMPLE_H

// 头文件内容

#endif // EXAMPLE_H
```
  - #pragma once 解决方案（新的C++标准）
    
    #pragma once 是一种更现代的、更简洁的方法，它告诉编译器这个头文件应该只被包含一次。它被大多数现代编译器支持，并且不需要像 #ifdef 那样做宏的检查和取消定义。
```
// example.h
#pragma once

// 头文件内容
```
编译
- 可能涉及到。编译优化的好处：提升执行速度，但不利于调试；反之，利于调试，但执行速度变慢。开发过程中会使用到Debug编译（引入优化较少），开发结束后会使用release编译（引入优化较多）重新进行编译。
  
  举例：
```
int main()
{
    int res = 0;
    for (int i = 0; i < 1000; ++i)
    {
        res += i;
    }
    return res;
}
```
  O0编译后结果为：
```
main:
        push    rbp
        mov     rbp, rsp
        mov     DWORD PTR [rbp-4], 0
        mov     DWORD PTR [rbp-8], 0
.L3:
        cmp     DWORD PTR [rbp-8], 999
        jg      .L2
        mov     eax, DWORD PTR [rbp-8]
        add     DWORD PTR [rbp-4], eax
        add     DWORD PTR [rbp-8], 1
        jmp     .L3
.L2:
        mov     eax, DWORD PTR [rbp-4]
        pop     rbp
        ret
```
  O1编译优化结果为：
```
main:
        mov     eax, 1000
.L2:
        sub     eax, 1
        jne     .L2
        mov     eax, 499500
        ret
```
  O2编译优化结果为：
```
main:
        mov     eax, 499500
        ret
```
- 增量编译与全量编译
  - 全量编译
    
    全量编译，也称为完整编译，是指每次构建项目时，无论源代码文件是否发生变化，都重新编译所有源代码文件的过程。这种编译方式适用于：
    - 小型项目：当项目较小，源文件数量不多时，全量编译的开销相对较小。
    - 初始开发阶段：在项目开发的早期阶段，频繁的全量编译有助于发现潜在的问题。
    - 确保一致性：全量编译可以确保生成的可执行文件是完全一致的，没有遗漏任何源文件的更改。
    然而，全量编译的缺点是：
    - 时间消耗：对于大型项目，全量编译可能需要较长的时间，因为编译器需要处理大量的源文件。
    - 资源消耗：全量编译会占用更多的CPU和内存资源
  - 增量编译
    
    增量编译是一种更高效的编译策略，它只重新编译自上次编译以来已经更改过的源文件，以及依赖于这些更改的文件。增量编译适用于：
    - 大型项目：在大型项目中，增量编译可以显著减少编译时间。
    - 频繁的构建：当开发过程中需要频繁构建时，增量编译可以提高开发效率。
    - 持续集成（CI）：在持续集成环境中，增量编译可以快速地提供反馈。
    增量编译的优点包括：
    - 节省时间：只编译更改的部分，从而缩短构建时间。
    - 资源优化：减少对系统资源的需求。
    但是，增量编译也有其局限性：
    - 复杂性：需要编译器支持增量编译功能，并且可能需要额外的配置。
    - 依赖关系：如果项目的依赖关系复杂，增量编译可能需要更多的时间来确定哪些文件需要重新编译。
    - 潜在问题：有时候，一些间接依赖或全局状态的改变可能不会被增量编译检测到，导致构建的可执行文件不是最新的。
汇编

汇编阶段是将编译器生成的中间代码（通常是汇编语言）转换成可执行机器代码的过程。
链接
- 合并多个目标文件，关联声明与定义
- 连接（ Linkage ）种类：内部连接、外部连接、无连接
- 链接常见错误：找不到定义

注意：

嵌入式攻城狮_RayJie