如何无需第二个函数实现提取函数第n个参数并转为字符串？

当然可行，不需要那个无参数重载也能实现提取第n个参数并格式化的功能，下面给你几种不同思路的实现方案：

方案1：模板特化替代普通重载 #

把原有的无参数普通函数换成空参数包的模板特化，用模板逻辑覆盖参数耗尽的递归终止场景，和原代码逻辑完全对齐：

#include <string>

// 主模板：处理带参数的递归逻辑
template <typename Type, typename ...Args>
static std::string getArgument(unsigned argumentIndex, Type value, Args... args)
{
    if (argumentIndex != 0)
        return getArgument(argumentIndex - 1, args...);
    else
        return std::to_string(value);
}

// 模板特化：参数包为空时的终止逻辑（替代原无参数重载）
template <>
static std::string getArgument<>(unsigned)
{
    return std::string();
}

方案2：SFINAE条件模板 #

通过std::enable_if区分空参数包和非空参数包的情况，用两个模板重载替代原有的普通重载：

#include <string>
#include <type_traits>

// 空参数包的模板版本：匹配递归到无参数的场景
template <typename... Args>
std::enable_if_t<sizeof...(Args) == 0, std::string>
getArgument(unsigned)
{
    return "";
}

// 非空参数包的主逻辑
template <typename Type, typename... Args>
std::string getArgument(unsigned argumentIndex, Type value, Args... args)
{
    return argumentIndex == 0 ? std::to_string(value) : getArgument(argumentIndex - 1, args...);
}

方案3：C++20+ 非递归简洁实现 #

利用C++20的模板lambda和索引序列，把参数打包进tuple后直接按索引访问，彻底抛弃递归和额外重载，逻辑更紧凑：

#include <string>
#include <tuple>
#include <utility>

template <typename... Args>
std::string getArgument(unsigned argumentIndex, Args&&... args)
{
    const auto args_tuple = std::make_tuple(std::forward<Args>(args)...);
    const auto arg_count = sizeof...(Args);

    // 索引超出参数范围直接返回空字符串
    if (argumentIndex >= arg_count)
        return "";

    // 通过索引序列匹配目标索引并返回格式化结果
    return [&]<std::size_t... Is>(std::index_sequence<Is...>) {
        return ((argumentIndex == Is ? std::to_string(std::get<Is>(args_tuple)) : "") ...);
    }(std::make_index_sequence<arg_count>());
}

内容的提问来源于stack exchange，提问作者no one special