如何在编译期检测全局自由函数的存在以实现兼容新旧API的函数包装器（C++17/C++20）

我完全理解你的想法——预处理器虽然能用，但总觉得不够贴合现代C++的风格，想用SFINAE或者constexpr if来替代。你之前尝试的方法之所以失败，核心问题在于：直接在全局/非模板依赖的上下文里写decltype(apiFoo(g_name))会触发硬编译错误，而不是SFINAE跳过。因为自由函数的存在是全局状态，不依赖任何模板参数，编译器会直接解析这个表达式，而不会进行SFINAE筛选。

下面我给你分C17和C20两种场景，提供可行的解决方案：

C++17 解决方案：用SFINAE依赖模板参数实现检测 #

要让SFINAE生效，我们需要把API调用的检测逻辑放在依赖模板参数的上下文中，这样编译器在尝试推导模板时，会自动丢弃非法的重载，而不是报错。具体步骤如下：

1. 编写SFINAE检测逻辑 #

我们可以写两个重载的模板函数，一个尝试调用带参数的apiFoo，另一个作为fallback：

#include <iostream>
#include <string>
#include <type_traits>
#include <utility>

// 模拟旧API（注释#define NEW_API切换版本）
// #define NEW_API

#ifdef NEW_API
// 新API：带std::string参数的apiFoo
void apiFoo(std::string arg) {
    std::cout << "withArg: " << arg << "\n";
}
#else
// 旧API：无参的apiFoo
void apiFoo() {
    std::cout << "withoutArg\n";
}
#endif

constexpr auto g_name = "name";

namespace detail {
    // 尝试匹配带std::string参数的apiFoo（用int作为标记参数，优先级更高）
    template <typename T>
    constexpr auto test_api(int) -> decltype(apiFoo(std::declval<T>()), std::true_type{});

    // Fallback到无参版本（... 表示任意参数，优先级最低）
    template <typename T>
    constexpr std::false_type test_api(...);
}

// 编译期常量：标记是否支持带参数的apiFoo
inline constexpr bool g_newApi = decltype(detail::test_api<std::string>(0))::value;

2. 用constexpr if实现分支逻辑 #

现在我们可以在包装器里用constexpr if做编译期分支，完全替代预处理器：

void wrapper() {
    if constexpr (g_newApi) {
        apiFoo(g_name);
    } else {
        apiFoo();
    }
}

int main() {
    wrapper();
}

这个方案的核心是：std::declval<T>()让apiFoo的调用依赖于模板参数T，当旧API存在时，apiFoo(std::declval<std::string>())非法，编译器会自动丢弃第一个重载，选择返回std::false_type的fallback版本，不会触发硬错误。

C++20 解决方案：用requires表达式简化检测 #

C++20的requires表达式天生支持编译期表达式合法性检查，不需要额外的模板重载，代码会更简洁：

#include <iostream>
#include <string>

// #define NEW_API

#ifdef NEW_API
void apiFoo(std::string arg) {
    std::cout << "withArg: " << arg << "\n";
}
#else
void apiFoo() {
    std::cout << "withoutArg\n";
}
#endif

constexpr auto g_name = "name";

void wrapper() {
    // 直接在constexpr if里用requires表达式检查调用合法性
    if constexpr (requires { apiFoo(g_name); }) {
        apiFoo(g_name);
    } else {
        apiFoo();
    }
}

int main() {
    wrapper();
}

requires { apiFoo(g_name); }会在编译期检查apiFoo(g_name)是否是合法调用：

• 当新API存在时，表达式合法，requires返回true，执行带参数的调用；
• 当旧API存在时，表达式非法，requires返回false，执行无参调用。

这种写法完全摆脱了模板重载的繁琐，是C++20带来的现代解决方式。

为什么你之前的尝试失败了？ #

你之前写的takesArg结构体中，decltype(apiFoo(g_name))是直接在全局上下文或非依赖模板参数的上下文中解析的。当旧API存在时，这个表达式是语法错误，编译器会直接报错，而不会触发SFINAE——因为SFINAE只对依赖于模板参数的表达式生效，也就是表达式的合法性必须和模板参数的类型绑定。

内容来源于stack exchange