如何使自定义数据类型支持std::ranges::to转换？

你想把分割后的文本范围转换成my_data结构体的std::vector，示例代码如下：

struct my_data {
   char b;
   int foo;
   std::string baz;
};

auto text = "v 3 fool|x 56 description|e 123 name"sv;

auto converted = text | std::views::split('|') 
               | std::views::transform([](auto r) { 
                   return r | std::ranges::to<my_data>();
               }) | std::ranges::to<std::vector>();
// converted 应为 vector<my_data>

下面直接说解决方案和要求：

一、my_data需要满足的核心条件 #

要让std::ranges::to<my_data>生效，本质是告诉标准库如何从输入的字符子范围（比如"v 3 fool"）构造出my_data对象，核心要求是：

• 提供一个能接收字符范围作为参数的构造函数，或者能从该范围解析出结构体字段的转换逻辑。
• 构造函数需兼容std::ranges::input_range类型（分割后的子范围属于这类），或者能将范围转换为可解析的类型（比如字符串）。

二、具体实现步骤 #

最直接的方式是给my_data添加一个解析字符范围的构造函数，示例如下：

#include <sstream>
#include <ranges>
#include <string_view>
#include <vector>
#include <string>

struct my_data {
    char b;
    int foo;
    std::string baz;

    // 从字符范围解析构造my_data的模板构造函数
    template<std::ranges::input_range R>
    requires std::convertible_to<std::ranges::range_value_t<R>, char>
    explicit my_data(R&& r) {
        // 先把字符范围转成字符串，方便用流解析
        std::string s(std::ranges::begin(r), std::ranges::end(r));
        std::istringstream iss(s);
        // 按空格分割解析三个字段
        iss >> b >> foo >> baz;
        // 可选：添加解析失败的错误处理，比如抛出异常或设置默认值
    }
};

添加这个构造函数后，你的原代码就能正常运行：分割后的每个子范围会自动通过该构造函数转换成my_data对象，最终生成std::vector<my_data>。

补充说明 #

• 如果你追求更高性能，可以不用流解析，手动遍历字符范围分割空格来提取字段，避免字符串拷贝。
• 除了构造函数，也可以通过特化std::ranges::range_to定制点实现转换，但对于简单场景，构造函数的方式更直观易维护。

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