__darwin_obsz()与__darwin_obsz0()是什么？有何作用？

一、这些是什么？ #

__darwin_obsz0()和__darwin_obsz()是苹果Darwin系统（macOS基于该系统内核）提供的内部辅助接口，属于非公开的底层实现，所以官方公开文档中几乎找不到相关说明。它们可能是函数，也可能是编译器识别的特殊宏，具体实现依赖Clang/GCC编译器与Darwin系统的协作。

二、核心功能：内存越界安全检测 #

这两个接口是配合GCC/Clang的__builtin_xxx_chk系列内置安全函数工作的，核心作用是提供目标内存区域的可用大小，以此实现内存操作的越界防护：

1. __darwin_obsz0()的作用 #

针对memcpy、memmove、memset这类明确指定操作长度的内存函数：

• 它会返回dest指针指向的内存块的最大可用字节数。
• 传入__builtin___memcpy_chk后，函数会在运行时校验操作长度len是否超过该可用大小。一旦检测到越界，会直接触发程序崩溃（通常是SIGABRT信号），避免越界写入破坏其他内存区域，引发安全漏洞或诡异的程序行为。

2. __darwin_obsz()的作用 #

针对strcpy这类依赖'\0'终止符的字符串操作函数：

• 同样返回目标内存块的可用大小，但适配字符串操作的场景：__builtin___strcpy_chk会自动计算源字符串的长度（包含终止符），并校验该长度是否超过目标内存的可用空间，从根源上防止缓冲区溢出问题。

三、为什么要包装标准库函数？ #

苹果通过宏重定义memcpy、strcpy等常用函数，是为了默认开启内存安全防护：

• 开发者无需手动调用带_chk后缀的安全版本，原有代码会被透明替换为安全实现。
• 只有当编译器不支持__builtin_xxx_chk系列内置函数时，才会回退到标准的非检查版本，保证兼容性。

内容的提问来源于stack exchange，提问作者CPlus