使用 std::views 进行模板类型推断

Question

我有点晚了才接触函数式编程，并开始了解范围/视图。我正在使用 MSVC19 并针对 C++ 20 进行编译。

我正在使用std::views::transform，编译器似乎并没有像我天真地希望的那样推断类型。

这是一个小例子，它只需要一个字符串向量并计算它们的长度：

#include <vector>
#include <iostream>
#include <ranges>

template<typename E>
auto length(const E& s)
{
    std::cout << "Templated length()\n";
    return static_cast<int>(s.length());
}

template<typename E>
auto getLengths(const std::vector<E>& v)
{
    return  v | std::views::transform(length<E>);
}

int main()
{
    std::vector<std::string> vec = { "Larry","Curly","Moe" };
    for (int i : getLengths(vec))
    {
        std::cout << i << "\n";
    }
    return 0;
}

输出：

Templated length()
5
Templated length()
5
Templated length()
3

我的问题是为什么要更改此行中的代码（删除<E>）：

    return  v | std::views::transform(length);

给我一堆错误，从以下开始：Error C2672 'operator __surrogate_func': no matching overloaded function found？

为什么编译器不推断出该类型是std::string？如果我用非模板化函数替换模板：

auto length(const std::string& s) -> int
{
    std::cout << "Specialized length()\n";
    return static_cast<int>(s.length());
}

代码编译并运行，显然没有模板，编译器会找到我正在使用的特定类型的匹配项。

Answer 1

这与观点无关。您可以将问题简化为：

template <typename T>
int length(T const& x) { return x.length(); }

template <typename F>
void do_something(F&& f) {
   // in theory use f to call something
}

void stuff() {
    do_something(length); // error
}

C++ 并不真正进行类型推断。当你有时do_something(length)，我们需要选择我们正在谈论的内容 。我们不能这样做，所以这是一个错误。没有办法说“我想要实例化将用 a 调用的函数模板- 这完全取决于调用者提供正确的东西。lengthdo_somethingstd::stringdo_something

原来的例子也是如此。length<E>是一个具体的函数。length不是你可以直接传入的东西。

典型的方法是通过将函数模板包装在 lambda 中来延迟实例化：

void stuff() {
    do_something([](auto const& e) { return length(e); }); // ok
}

现在，这是可行的 - 因为 lambda 是一个表达式，其类型可以通过 推导do_something，而 justlength则不能。而且我们不必手动提供模板参数，这很容易出错。

我们可以用宏来概括这一点：

#define FWD(arg) static_cast<decltype(arg)&&>(arg)
#define LIFT(name) [&](auto&&... args) -> decltype(name(FWD(args)...)) { return name(FWD(args)...); }

void stuff() {
    do_something(LIFT(length));
}

这避免了一些额外的输入，并且可能使意图更加清晰。