能否用C++20 Concepts实现指定库函数调用的无宏包装？

核心结论 #

完全可以借助C20 Concepts实现指定库函数的日志包装，全程无需使用宏。通过Concepts约束函数类型、constexpr if处理返回值差异，再配合C20的std::source_location获取调用位置信息，就能优雅完成需求。

代码优化思路（基于你提供的原始代码） #

你的原始代码用std::enable_if_t区分非void和void返回值的函数调用，现在可以用C++20特性大幅简化：

1. 用Concepts替代enable_if做类型约束，编译期直接拦截无效的函数参数；
2. 用**constexpr if**在函数内部处理返回值差异，合并两个版本的实现；
3. 用**std::source_location**替代手动传递文件名/行号，彻底摆脱宏的依赖。

完整实现代码 #

#include <concepts>
#include <utility>
#include <cstdint>
#include <source_location>

// 假设你已实现的错误检查函数
bool check_gl_errors(const auto& func, const std::source_location& loc);
// 自定义日志函数（示例）
void log(const char* func_name, const std::source_location& loc) {
    // 这里实现你的日志逻辑，比如打印函数名、文件名、行号
    printf("[LOG] Calling %s at %s:%u\n", func_name, loc.file_name(), loc.line());
}

// Concept：约束参数必须是可调用的OpenGL函数
template<typename F, typename... Args>
concept GLCallable = requires(F func, Args&&... args) {
    func(std::forward<Args>(args)...);
};

// 通用包装函数
template<const char* FuncName, GLCallable F, typename... Params>
auto glCall(F func, Params&&... params, const std::source_location& loc = std::source_location::current()) {
    // 调用库函数前执行日志
    log(FuncName, loc);

    // 处理不同返回值类型
    if constexpr (std::is_void_v<decltype(func(std::forward<Params>(params)...))>) {
        func(std::forward<Params>(params)...);
        check_gl_errors(func, loc);
    } else {
        auto return_value = func(std::forward<Params>(params)...);
        check_gl_errors(func, loc);
        return return_value;
    }
}

使用示例 #

// 调用包装后的OpenGL函数
glCall<"glClear">(glClear, GL_COLOR_BUFFER_BIT);
auto viewport = glCall<"glGetIntegerv">(glGetIntegerv, GL_VIEWPORT, nullptr);

关键优化点说明 #

• Concepts约束：GLCallable确保传入的func是可调用的有效函数，编译期就能排除不符合要求的参数，比无约束模板更安全；
• 无宏位置获取：std::source_location::current()会自动捕获调用点的文件名、行号，无需__FILE__/__LINE__宏；
• 统一实现逻辑：用constexpr if替代原来的两个模板函数，代码更紧凑，维护成本更低；
• 可靠的函数名日志：通过模板参数FuncName传递函数名，避免了函数指针转字符串的不可靠问题。

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