如何在编译时确定编译器选择的重载函数版本？

你提出的通过修改函数返回类型存储函数信息的方案，确实存在明显局限——无法直接用于预定义或标准库函数，因为我们不能修改这些函数的实现。下面提供两种无需修改原函数的高效实现方式：

方法一：利用decltype直接推导重载函数类型 #

通过构造具体的调用表达式，让编译器完成重载决议后，直接用decltype提取决议后的函数指针类型。以标准库函数std::to_string为例：

#include <string>
#include <type_traits>

int main() {
    // 针对int类型参数，推导对应的std::to_string重载版本
    using ResolvedFuncPtr = decltype(&std::to_string(std::declval<int>()));
    
    // 验证推导结果：类型应为std::string(*)(int)
    static_assert(std::is_same_v<ResolvedFuncPtr, std::string(*)(int)>);
}

这里std::declval<int>()用于模拟int类型的参数，触发编译器匹配对应的重载版本；&用于获取该版本的函数指针，最后通过decltype提取其完整类型。

方法二：通用辅助工具捕获重载决议细节 #

如果需要更通用的类型提取能力，可以编写辅助模板和函数，自动捕获任意重载函数的决议结果，包括返回值类型、参数类型等信息：

#include <type_traits>
#include <tuple>

// 辅助模板：提取函数指针的类型信息
template<typename T>
struct FuncPointerTraits;

template<typename Ret, typename... Args>
struct FuncPointerTraits<Ret(*)(Args...)> {
    using ReturnType = Ret;
    using ArgumentTypes = std::tuple<Args...>;
    using PointerType = Ret(*)(Args...);
};

// 辅助函数：触发重载决议并返回对应函数指针
template<typename... Args>
auto resolve_overload(auto(*func)(Args...)) {
    return func;
}

// 使用示例：针对std::to_string的int参数版本
#include <string>

int main() {
    // 触发重载决议，获取对应版本的函数指针
    auto resolvedFunc = resolve_overload(std::to_string, std::declval<int>());
    using Traits = FuncPointerTraits<decltype(resolvedFunc)>;
    
    // 验证类型信息
    static_assert(std::is_same_v<Traits::ReturnType, std::string>);
    static_assert(std::is_same_v<Traits::ArgumentTypes, std::tuple<int>>);
}

这个方案通过resolve_overload函数让编译器自动匹配参数对应的重载版本，再通过FuncPointerTraits模板解析出函数的返回值、参数等详细类型，适用于所有可重载的函数（包括自定义函数、预定义函数和标准库函数）。

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