C++标准库中需编译器支持的组件：是否有明确列表与标准术语？

大部分C标准库组件可通过库的其他部分、操作系统系统调用或原生C代码实现（例如<atomic>可能需要汇编实现），但像<source_location>、std::has_virtual_destructor这类<type_traits>中的部分组件，只能依赖编译器内建函数实现。这类组件模糊了标准库与语言标准的边界，也是库跨编译器移植的重要限制。现询问：

1. 是否存在这类组件的明确列表？
2. 标准中是否有指代它们的特定术语？

补充背景：该问题源于“自举”编译器与库栈的思想实验——通过最少手动操作与外部依赖，构建符合标准的编译器与库，重点关注鲁棒性、简洁性与最小可信外部依赖，实际实现细节不相关。

标准中的特定术语 #

C++标准里将这类必须依赖编译器内建支持的标准库组件，通常表述为**“需编译器提供内建支持的库组件”，部分文档也会将其归类为“核心语言支持库”**——这类组件本质是语言特性的库层封装，没有编译器原生支持就无法实现符合标准语义的版本。

典型组件范围（无官方完整清单） #

C++标准并未单独发布这类组件的完整清单，但从各章节的规范描述中，可归纳出典型类别和具体组件：

• <type_traits>核心特性：std::has_virtual_destructor、std::is_polymorphic、std::is_integral等基础类型判断特性，以及std::remove_cv_t等类型转换特性的底层实现，都需要编译器直接访问类型元信息，无法通过纯C++代码完成。
• <source_location>组件：std::source_location::current()、line()、file_name()等成员函数，必须依赖编译器在编译期捕获代码位置信息，无纯库实现可能。
• <atomic>关键操作：std::atomic_flag::test_and_set等无锁原子操作，依赖编译器生成架构专属指令，底层基于内建函数或汇编；部分简单原子操作虽可通过锁模拟，但标准要求的无锁语义必须依赖编译器支持。
• 编译期上下文相关组件：std::is_constant_evaluated（C20）、std::is_aggregate（C17）等，需要编译器暴露编译期的上下文或类型属性信息。
• 异常处理相关组件：std::current_exception、std::rethrow_exception等，依赖编译器对异常对象的底层管理机制，无法纯库实现。
• 反射与元编程扩展：C++20及后续版本中与类型信息、编译期反射相关的库组件，均需编译器内建支持才能实现标准要求的语义。

需注意：部分组件在特定编译器或架构下可能存在纯C++模拟实现，但从标准规范的语义、性能要求来看，只有依赖编译器内建支持才能完全符合标准。

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