C++模板函数返回嵌套模板类型的重载歧义问题求解

原实现逻辑 #

原模板函数声明及特化方式如下：

核心模板声明 #

// ### Generate.hpp
// 返回模板指定类型，所有重载输入类型一致
template <typename T> T generate(Input in);

基础类型特化 #

在头文件中直接提供基础类型的内联特化：

// ### Generate.hpp
template <> inline int generate<int>(Input in) {/*...*/}

自定义类型实现 #

自定义类可单独实现特化：

// ### Custom_Class.hpp
#include "Generate.hpp"

// ### Custom_Class.cpp
template <> custom::Class generate<custom::Class>(Input in) {/*...*/}

遇到的歧义问题 #

当尝试调用嵌套模板类型（如std::vector<int>）时：

std::vector<int> x = generate<std::vector<int>>(...);

试图通过新增模板支持容器类型：

template <typename U> std::vector<U> generate(Input input); // 试图通过返回类型区分

但g++编译器抛出歧义错误：

error: call of overloaded ‘generate<std::vector<int>>(Input in)’ is ambiguous

C++无法仅通过返回类型区分重载函数，而我更倾向于OutputType func(InputType input)的函数式形式，而非通过引用输出的重载方案，希望找到模板技巧实现需求。

实际使用场景 #

该需求来源于一个词法解析函数的实现：

template <typename T> std::pair<size_t, std::optional<T>> parse_tokens(const std::vector<Token>& tokens, size_t start = 0);

函数接收Token向量和起始偏移，尝试将Token序列解析为T类型对象，返回消耗的Token数量和可选的解析结果。例如解析整数列表时，调用res = parse_tokens<std::vector<int>>(tokens, list_starts_here)，通过res.second获取解析值，res.first推进解析器的索引位置。

可行解决方案 #

感谢@Artyer提供的思路，调整后适配容器类的实现方案如下，通过类模板特化实现扩展性，同时保留期望的函数式调用语法：

template <typename T>
struct generator;

// 对外统一的函数接口
template <typename T> T generate(std::string in) {
    return generator<T>::generate(in);
}

// 基础类型特化
template <>
struct generator<int> {
    static int generate(std::string in) { return std::stoi(in); }
};

// 嵌套类型特化（以std::optional为例）
template <typename T>
struct generator<std::optional<T>> {
    static std::optional<T> generate(std::string in) 
    { 
        if (in == "nil") 
            return std::nullopt;
        else
            return generator<T>::generate(in);
    }
};

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