10、深入理解C++准则支持库（GSL）与Linux/Unix系统编程基础

深入理解C++准则支持库（GSL）与Linux/Unix系统编程基础

准则支持库（GSL）概述

C++核心准则旨在提供一系列与C++编程相关的最佳实践，而准则支持库（GSL）则是为帮助遵循这些准则而设计的。GSL主要围绕以下几个主题展开：
- 指针所有权 ：明确指针的所有者是防止内存泄漏和指针损坏的简单方法。通常，使用 std::unique_ptr{} 和 std::shared_ptr{} 是定义所有权的最佳方式，但在某些情况下无法使用，GSL可处理这些边缘情况。
- 期望管理 ：GSL有助于定义函数的输入期望和输出保证，目标是将这些概念过渡到C++合约中。
- 无指针算术 ：指针算术是导致程序不稳定和漏洞的主要原因之一。消除指针算术（或至少将其限制在经过充分测试的支持库中）是消除此类问题的简单方法。

指针所有权

在传统C++中，不区分谁拥有指针（即负责释放与指针关联的内存的代码或对象）和谁只是使用指针访问内存。例如：

void init(int *p)
{
    *p = 0;
}
int main(void)
{
    auto p = new int;
    init(p);
    delete p;
}

在上述示例中，分配了一个指向整数的指针，然后将该指针传递给 init() 函数进行初始化，最后在使用完后删除指针