C++实现Vec类map方法报错：无法推导模板参数U

我正在尝试创建Vec类，类中包含map方法用于返回新的Vec对象，期望map方法可以像JavaScript的map函数一样，支持返回不同类型的结果。

编译时出现如下错误：

main.cpp:31:13: error: no matching member function for call to 'map'
    numbers.map([](int &item)
    ~~~~~~~~^~~

main.cpp:18:12: note: candidate template ignored: couldn't infer template argument 'U'
    Vec<U> map(Lambda lambda)

原始实现代码如下：

#include <iostream>
#include <vector>
#include <algorithm>
#include <iterator>

template <typename T>
class Vec
{
public:
    std::vector<T> value;

    Vec(std::vector<T> vector)
    {
        value = vector;
    }

    template <typename Lambda, typename U>
    Vec<U> map(Lambda lambda)
    {
        std::vector<U> updatedValue;
        std::transform(value.begin(), value.end(), std::back_inserter(updatedValue), lambda);
        Vec<U> UpdatedVector(updatedValue);
        return UpdatedVector;
    }
};

int main()
{
    Vec<int> numbers({10, 20, 30, 40, 50});

    Vec<std::string> new_numbers = numbers.map([](auto &item)
                                               { return "new value is string"; });

    // 期望new_numbers.value的值为 {"new value is string", "new value is string", "new value is string", "new value is string", "new value is string"}

    return 0;
}

编译失败的核心是模板参数U无法被编译器自动推导：你在map方法中将U声明为独立模板参数，但函数入参只有lambda实例，编译器无法从入参直接推断出U的实际类型——U本质是lambda处理T类型元素后的返回值类型，原写法没有将U和lambda的调用返回值做关联，自然匹配不到对应函数。

1. 移除独立的模板参数U，使用标准库类型萃取工具自动获取lambda接收容器元素后的返回值类型：C++17及以上版本可以用std::invoke_result_t，需要额外引入头文件<type_traits>。
2. 注意字符串字面量的原生类型是const char*，如果期望得到std::string类型的元素，需要在lambda返回值时显式构造std::string，否则自动推导得到的会是Vec<const char*>，无法直接赋值给Vec<std::string>类型变量。

修复后的完整可运行代码：

#include <iostream>
#include <vector>
#include <algorithm>
#include <iterator>
#include <type_traits> // 引入类型萃取所需头文件

template <typename T>
class Vec
{
public:
    std::vector<T> value;

    Vec(std::vector<T> vector)
    {
        value = vector;
    }

    // 仅保留Lambda作为模板参数，通过后置返回值语法自动推导返回的Vec元素类型
    template <typename Lambda>
    auto map(Lambda lambda) -> Vec<std::invoke_result_t<Lambda, T&>>
    {
        using U = std::invoke_result_t<Lambda, T&>; // 获取lambda传入T类型元素后的返回值类型
        std::vector<U> updatedValue;
        std::transform(value.begin(), value.end(), std::back_inserter(updatedValue), lambda);
        return Vec<U>(updatedValue);
    }
};

int main()
{
    Vec<int> numbers({10, 20, 30, 40, 50});

    // lambda显式返回std::string，匹配目标Vec<std::string>类型
    Vec<std::string> new_numbers = numbers.map([](auto &item)
                                               { return std::string("new value is string"); });

    // 验证输出
    for (const auto& s : new_numbers.value) {
        std::cout << s << std::endl;
    }

    return 0;
}

如果使用C11标准（不支持C17的std::invoke_result_t），可以将类型推导部分替换为C++11可用的std::result_of，写法为：

template <typename Lambda>
auto map(Lambda lambda) -> Vec<typename std::result_of<Lambda(T&)>::type>
{
    using U = typename std::result_of<Lambda(T&)>::type;
    // 其余逻辑和上述代码一致
}

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