为何无法直接将split_view通过transform(to<std::string>)处理？

问题场景 #

给定代码中，直接将ranges::to<std::string>赋值给to_string变量时编译失败，但用[](auto x){ return to<std::string>(x); }这个lambda包装后代码可正常运行，核心差异在于两者的可调用性与模板参数推导时机：

核心差异点 #

1. ranges::to<std::string>的本质
   ranges::to<std::string>是一个多态函数对象模板，它的operator()本身也是模板化的。当直接把它传递给transform时，transform需要一个能直接处理split输出子range的可调用实体，但编译器无法在transform的模板实例化语境下，为to<std::string>的operator()推导出正确的输入类型（即split产生的子range类型），导致模板参数推导失败，编译报错。

2. lambda包装版本的作用
   这个lambda是一个具体的闭包类型，它的operator()是基于auto参数的模板函数。当transform调用该lambda时，会先推导出参数x的类型为split产生的子range，随后在lambda内部调用to<std::string>(x)时，to<std::string>的模板参数能被明确推导出来，顺利完成子range到std::string的转换。

简单来说，lambda做了一层参数推导的中转：先由lambda接住输入并确定其类型，再将明确的类型传递给to<std::string>，解决了直接传递时模板参数无法推导的问题。

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