如何通过SchemaParser在运行时读取capnp schema的const常量值

给定示例schema文件test.capnp：

struct Person {
  const type :Text = "person.type.example";
  version @0 :UInt32;
  name @1 :Text;
}

需要在运行时从已解析完成的Person结构体Schema对象中，读取定义的const常量值person.type.example，现有解析代码如下：

std::string schema_filename = "test.capnp";
kj::ArrayPtr<const kj::StringPtr> import_paths;
capnp::SchemaParser parser;
capnp::ParsedSchema schema = parser.parseDiskFile(
    schema_filename.c_str(), schema_filename.c_str(), import_paths);

auto person_maybe = schema.findNested("Person");
auto* person_schema = kj::_::readMaybe(person_maybe);

// 待实现：读取"person.type.example"常量值

经测试const不会作为结构体普通字段出现在字段列表中。

Cap'n Proto的动态Schema API中，结构体/接口等类型内部定义的const常量不属于实例序列化字段，因此不会出现在getFields()返回的字段集合里。这类常量和嵌套结构体、嵌套枚举一样，属于类型的嵌套命名节点，通过findNested()接口查找即可，读取逻辑如下：

1. 将通用Schema指针向下转型为capnp::StructSchema类型
2. 调用findNested("type")查找名为type的const节点
3. 对找到的节点调用asConst()获取常量的动态值
4. 校验值类型为Text后读取字符串内容

完整实现代码：

// 将通用Schema转换为结构体专属Schema类型
capnp::StructSchema person_struct = kj::downcast<capnp::StructSchema>(*person_schema);

// 查找名为type的嵌套节点（const属于嵌套命名节点范畴）
auto type_const_maybe = person_struct.findNested("type");
KJ_IF_MAYBE(type_const, type_const_maybe) {
    // 读取const定义的静态常量值
    capnp::DynamicValue::Reader const_value = type_const->asConst();
    // 校验值类型为预期的Text类型
    KJ_REQUIRE(const_value.getType() == capnp::DynamicValue::TEXT,
        "Person.type常量类型不是预期的Text");
    // 读取字符串内容
    kj::StringPtr type_content = const_value.as<capnp::Text>();
    // 按需转换为std::string使用，此时type_content的值就是"person.type.example"
    std::string type_str = type_content.cStr();
} else {
    // 自行处理常量不存在的异常逻辑
    KJ_FAIL_REQUIRE("Person结构体中未定义名为type的常量");
}

• 所有定义在类型内部的const、嵌套结构体、嵌套枚举、嵌套接口，都需要通过findNested()接口查找，不会出现在字段列表中
• asConst()仅当目标节点确实是const声明时会返回正确值，若传入嵌套结构体/枚举节点调用该方法会触发异常，建议增加类型校验逻辑提升鲁棒性
• 读取到的kj::StringPtr指向Schema解析后持有的内存，不需要手动释放，如果需要长期持有可以拷贝为std::string使用

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