编译前如何检测<std::execution::par>是否存在于头文件中？

针对你遇到的Apple Clang（及使用libc++的Clang版本）无法支持std::execution::par的问题，可通过以下两种编译前检测方案实现分支逻辑：

一、代码层面的编译时检测（无需构建系统依赖） #

直接在代码中通过requires表达式和模板重载实现编译期存在性检测，无需额外构建工具：

#include <execution>

namespace detail {
    // 重载1：若std::execution::par存在则匹配此版本
    template<typename T>
    constexpr bool has_par_impl(int) {
        return requires { std::execution::par; };
    }

    // 重载2：若par不存在则匹配此版本
    template<typename T>
    constexpr bool has_par_impl(...) {
        return false;
    }

    // 最终检测结果，编译期常量
    constexpr bool has_std_execution_par = has_par_impl<void>(0);
} // namespace detail

// 可选：定义预处理宏供传统条件编译使用
#if detail::has_std_execution_par
#define HAS_STD_EXECUTION_PAR 1
#else
#define HAS_STD_EXECUTION_PAR 0
#endif

使用方式 #

• 现代C++可直接用constexpr if实现分支：

#include <vector>
#include <algorithm>

void sort_vector(std::vector<int>& vec) {
    if constexpr (detail::has_std_execution_par) {
        std::sort(std::execution::par, vec.begin(), vec.end());
    } else {
        std::sort(vec.begin(), vec.end());
    }
}

• 兼容旧代码可使用预处理宏：

void sort_vector(std::vector<int>& vec) {
#ifdef HAS_STD_EXECUTION_PAR
    std::sort(std::execution::par, vec.begin(), vec.end());
#else
    std::sort(vec.begin(), vec.end());
#endif
}

二、CMake构建系统层面检测（适合大型项目） #

若使用CMake作为构建工具，可通过check_cxx_source_compiles在配置阶段完成检测，提前定义编译宏：

include(CheckCXXSourceCompiles)

# 检测代码片段是否能编译通过
check_cxx_source_compiles("
#include <execution>
int main() {
    [[maybe_unused]] auto&& par_policy = std::execution::par;
    return 0;
}
" HAS_STD_EXECUTION_PAR)

# 将检测结果作为宏传递给目标代码
if(HAS_STD_EXECUTION_PAR)
    target_compile_definitions(your_target_name PRIVATE HAS_STD_EXECUTION_PAR)
endif()

说明 #

• 此方法会在CMake配置阶段尝试编译测试代码，若成功则定义HAS_STD_EXECUTION_PAR宏，后续代码可直接用预处理分支。
• 自动适配编译器和标准库：Homebrew的g++-13使用libstdc会通过检测，系统Clang/LLVM Clang使用libc会检测失败，完全符合你的需求。

注意事项 #

• 不要依赖__cpp_lib_execution宏：部分编译器（如Apple Clang）虽提供<execution>头文件，但未正确实现并行策略，也不会定义对应标准宏，因此直接检测实体存在性更可靠。
• 确保编译时开启C17及以上标准：需通过-std=c++17或更高版本的编译选项启用C17特性。

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