libc++ 从版本11起基本支持C++20 Concepts，但完整支持需libc++ 15（如NDK r25+），且必须与Clang协同并显式指定-stdlib=libc++，同时验证__cpp_lib_concepts ≥ 202002L。
确认 libc++ 版本是否支持 C++20 概念
libc++ 对 C++20 Concepts 的支持从 libc++ 11 开始基本完整，但部分高级用法（如嵌套 requires 表达式中的模板参数推导）在 libc++ 14 之前仍有未实现项。Android NDK r25+ 默认附带 libc++ 15，已覆盖全部标准库概念（std::integral、std::sortable、std::copyable 等）。若使用自建工具链或旧版 NDK，需运行：
echo '#include <concepts>' | clang++ -x c++ -std=c++20 -stdlib=libc++ -E - 2>/dev/null | head -1
无报错才说明头文件可用；再检查 __cpp_lib_concepts 宏值是否 ≥ 202002L。
确保编译器和标准库版本对齐
Clang 和 libc++ 必须协同工作：仅启用 -std=c++20 不够，还必须显式指定 -stdlib=libc++。否则 Clang 可能 fallback 到系统 libstdc++（尤其在 Linux 上），而后者直到 GCC 13 才完全支持 C++20 Concepts，且与 Clang ABI 不兼容。
- 错误写法：
clang++ -std=c++20 main.cpp→ 可能链接libstdc++，std::integral编译失败 - 正确写法：
clang++ -std=c++20 -stdlib=libc++ main.cpp - CMake 中必须设置：
set(CMAKE_CXX_STANDARD 20)+set(CMAKE_CXX_STANDARD_REQUIRED ON)+set(CMAKE_CXX_EXTENSIONS OFF)
注意 Android NDK 中的 libc++ 静态/共享模式差异
NDK r18 起强制使用 libc++，但静态链接 libc++_static.a 时，<concepts> 头文件虽存在，部分 requires 表达式在模板实例化深度较大时可能触发内部编译器断言失败（尤其在 ndk-build 下未启用 APP_STL := c++_shared）。这是已知的 r21c–r23b 工具链 bug。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
- 推荐方案：Android 项目统一用
APP_STL := c++_shared或 Gradle 中cppFlags += "-stdlib=libc++" - 避免在
Application.mk中设APP_CPPFLAGS += -D_LIBCPP_HAS_NO_CONCEPTS—— 这会直接禁用所有概念支持 - 若必须静态链接，升级到 NDK r25+ 并添加
-fno-rtti -fno-exceptions可缓解部分约束检查崩溃
验证 std::ranges 等依赖概念的组件是否启用
std::ranges::sort、std::views::filter 等并非仅靠 <concepts> 就能工作——它们需要 libc++ 同时启用 _LIBCPP_ENABLE_CXX20_REQUIRES 且构建时开启 RANGES 模块。NDK r25 默认开启，但自定义构建 libc++ 时容易漏掉：
- 检查是否定义了宏：
#ifdef _LIBCPP_HAS_EXPERIMENTAL_RANGES→ 已过时，应查_LIBCPP_STD_VER >= 20 - 典型失败现象：
error: no member named 'begin' in namespace 'std::ranges'，即使<ranges>可包含 - 临时绕过：改用
std::sort+ 迭代器对，不依赖 concept 约束的重载
C++20 概念不是“开了 -std=c++20 就自动好使”的功能，libc++ 的实现细节（尤其是 requires 表达式中对关联类型和嵌套要求的处理）在不同 minor 版本间有细微断裂。最易被忽略的是 Clang 和 libc++ 的版本耦合性——比如 Clang 16 搭配 libc++ 14 可能无法解析 { a == b } -> std::same_as<bool></bool>，但换成 libc++ 15 就通过。
