为何包含vector头文件后类型会逃逸命名空间？

代码示例 #

#include <system_error>
#include <vector>

namespace MyNamespace {
  namespace ffi {
#include <sys/types.h>
  }

  void example() {
    const ffi::errno_t savedErrno = errno;
    ffi::uint uskip = static_cast<ffi::uint>(5);
    throw std::system_error(savedErrno, std::generic_category());
  }
}

编译命令 #

clang++ -pedantic-errors -Weverything -Wno-c++98-compat -Wno-pre-c++20-compat-pedantic -Wno-poison-system-directories --std=c++20 -O3 -Iinclude -I/usr/local/include -MMD -MP -c -fPIC src/test.cpp -o obj/test.o

编译错误 #

src/test.cpp:10:11: error: no type named 'errno_t' in namespace 'MyNamespace::ffi'; did you mean simply 'errno_t'?
    const ffi::errno_t savedErrno = errno;
          ^~~~~~~~~~~~
          errno_t
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/sys/_types/_errno_t.h:30:32: note: 'errno_t' declared here
typedef int                    errno_t;
                               ^
src/test.cpp:11:5: error: no type named 'uint' in namespace 'MyNamespace::ffi'; did you mean simply 'uint'?
    ffi::uint uskip = static_cast<ffi::uint>(5);
    ^~~~~~~~~
    uint
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/sys/types.h:93:33: note: 'uint' declared here
typedef unsigned int            uint;           /* Sys V compatibility */
                                ^
src/test.cpp:11:35: error: no type named 'uint' in namespace 'MyNamespace::ffi'; did you mean simply 'uint'?
    ffi::uint uskip = static_cast<ffi::uint>(5);
                                  ^~~~~~~~~
                                  uint
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/sys/types.h:93:33: note: 'uint' declared here
typedef unsigned int            uint;           /* Sys V compatibility */
                                ^

疑问 #

如果不在MyNamespace::ffi命名空间前包含<vector>头文件，代码就能正常编译。为何<vector>头文件会阻止sys/types.h中的类型归入ffi命名空间？

原因分析 #

问题核心在于系统头文件的包含顺序和重复包含保护机制：

• <vector>的实现会间接引入sys/types.h（比如为了定义内存分配或容器底层依赖的类型），此时errno_t、uint等typedef已经被声明在全局命名空间。
• 当你后续在MyNamespace::ffi内部再次包含sys/types.h时，由于系统头文件自带的包含保护（#ifndef ... #define ... #endif），头文件内容不会被重复处理，因此这些typedef不会被重新定义到MyNamespace::ffi中。
• 若不包含<vector>，sys/types.h第一次被包含就是在MyNamespace::ffi内部，所有typedef自然会被定义在该命名空间下，代码就能正常访问ffi::errno_t和ffi::uint。

解决方法 #

• 不要依赖在自定义命名空间内包含系统头文件来转移类型归属，这种做法完全依赖头文件的包含顺序，非常不稳定。
• 推荐两种可靠方案：
  1. 直接使用全局命名空间的类型：

     void example() {
       const ::errno_t savedErrno = errno;
       ::uint uskip = static_cast<::uint>(5);
       throw std::system_error(savedErrno, std::generic_category());
     }
     

  2. 在MyNamespace::ffi中手动引入全局命名空间的类型：

     namespace MyNamespace {
       namespace ffi {
         #include <sys/types.h>
         using ::errno_t;
         using ::uint;
       }
     }
     

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