AskOverflow.Dev

AskOverflow.Dev Logo AskOverflow.Dev Logo

AskOverflow.Dev Navigation

  • 主页
  • 系统&网络
  • Ubuntu
  • Unix
  • DBA
  • Computer
  • Coding
  • LangChain

Mobile menu

Close
  • 主页
  • 系统&网络
    • 最新
    • 热门
    • 标签
  • Ubuntu
    • 最新
    • 热门
    • 标签
  • Unix
    • 最新
    • 标签
  • DBA
    • 最新
    • 标签
  • Computer
    • 最新
    • 标签
  • Coding
    • 最新
    • 标签
主页 / coding / 问题 / 79014866
Accepted
Thermatix
Thermatix
Asked: 2024-09-23 21:40:34 +0800 CST2024-09-23 21:40:34 +0800 CST 2024-09-23 21:40:34 +0800 CST

Rust FromStr 中要解析的类型具有通用字段,并且您在尝试解析之前不会知道类型

  • 772

假设您有一个想要解析的具体类型(您创建/拥有的),但该类型有一个通用字段,在这个例子中,我们会说可能的类型只有u8,u16& u32,并且我们只能说其他任何东西都是不正确的或太大。

假设以下情况:

  • 我已经简化了我实际使用的代码
  • 我不能直接转换为相同的类型,它们必须根据大小为 u8、u16 或 u32(粗略地模拟我实际想要的
  • 我这样展示是因为实际代码引入了太多内容,这是最小代码示例
  • 我已经尝试过对每个类型执行等操作impl FromStr for Test<u8> {},但随后编译器会抱怨(测试需要泛型),然后当我添加时会抱怨实现冲突,impl<T> FromStr for Test<T> {}这是有道理的,因为 rust 还没有专业化
  • 实际代码不使用u8,u16或者u32,我正在尝试使我的示例代码更广泛地适用

我有以下代码:

use std::str::FromStr;

#[derive(Debug)]
struct Test<T = u8> {
    field: T
}

impl<T> FromStr for Test<T> {
    type Err = std::num::ParseIntError;
    
    fn from_str(buff: &str) -> Result<Test<T>, Self::Err> {
        let attempt: Result<u8, Self::Err> = buff.parse();
        if let Ok(field) = attempt { return Ok(Test::<u8> { field }) };
        
        let attempt: Result<u16, Self::Err> = buff.parse();
        if let Ok(field) = attempt { return Ok(Test::<u16> { field }) };
        
        let attempt: Result<u32, Self::Err> = buff.parse();
        
        match attempt {
            Ok(field) => Ok(Test::<u32> { field }),
            Err(err) => Err(err)
        }
    } 
}



fn main() -> Result<(), std::num::ParseIntError> {
    let u_8 = "128";
    let u_16 = "475";
    let u_32 = "70000";
    
    let test_8: Test = u_8.parse()?;
    let test_16: Test = u_16.parse()?;
    let test_32: Test = u_32.parse()?;
    
    println!("t8: {test_8:?}");
    println!("t16: {test_16:?}");
    println!("t32: {test_32:?}");
    
    Ok(())
 
}

我收到大量错误,例如:

= note: expected struct `Test<T>`
               found struct `Test<u16>`

这是有道理的。

我该如何让它工作?

奖励积分

为什么 Rust 要求我这样做Test::<u8>,因为我已经在每一行上方指定了类型,return为什么 Rust 不能直接推断出Tin Test<T>?

是因为Result<Self, Self::Err>和Self吗Test<T>?

parsing
  • 1 1 个回答
  • 32 Views

1 个回答

  • Voted
  1. Best Answer
    hkBst
    2024-09-23T22:36:29+08:002024-09-23T22:36:29+08:00

    假设我们有一个解析类型的函数。要么它是通用的,您需要在调用该函数时决定变体,要么它将具有单一返回类型。无论哪种方式,当您调用此函数时,它将具有单一明确的返回类型。

    现在有两种方法可以让这个单一类型成为不同可能性的前端:它可以是一个枚举,列出预定数量的可能性,也可以是某种隐含特定特征的东西(如Box<dyn Display>),以提供可扩展数量的可能性。没有其他可能。

    • 2

相关问题

  • 如何编写 ANTLR4 语法来解析匹配的 html 标签

  • 从 Type::new() 调用函数

  • 是否有可能将某个值提升到 Grammar TOP?

  • 如何使用 XPath/CSS 获取名称以冒号开头的属性的值/内容?

  • 用于识别指数符号数字和标识符的 ANTLR 语法

Sidebar

Stats

  • 问题 205573
  • 回答 270741
  • 最佳答案 135370
  • 用户 68524
  • 热门
  • 回答
  • Marko Smith

    Vue 3:创建时出错“预期标识符但发现‘导入’”[重复]

    • 1 个回答
  • Marko Smith

    为什么这个简单而小的 Java 代码在所有 Graal JVM 上的运行速度都快 30 倍,但在任何 Oracle JVM 上却不行?

    • 1 个回答
  • Marko Smith

    具有指定基础类型但没有枚举器的“枚举类”的用途是什么?

    • 1 个回答
  • Marko Smith

    如何修复未手动导入的模块的 MODULE_NOT_FOUND 错误?

    • 6 个回答
  • Marko Smith

    `(表达式,左值) = 右值` 在 C 或 C++ 中是有效的赋值吗?为什么有些编译器会接受/拒绝它?

    • 3 个回答
  • Marko Smith

    何时应使用 std::inplace_vector 而不是 std::vector?

    • 3 个回答
  • Marko Smith

    在 C++ 中,一个不执行任何操作的空程序需要 204KB 的堆,但在 C 中则不需要

    • 1 个回答
  • Marko Smith

    PowerBI 目前与 BigQuery 不兼容:Simba 驱动程序与 Windows 更新有关

    • 2 个回答
  • Marko Smith

    AdMob:MobileAds.initialize() - 对于某些设备,“java.lang.Integer 无法转换为 java.lang.String”

    • 1 个回答
  • Marko Smith

    我正在尝试仅使用海龟随机和数学模块来制作吃豆人游戏

    • 1 个回答
  • Martin Hope
    Aleksandr Dubinsky 为什么 InetAddress 上的 switch 模式匹配会失败,并出现“未涵盖所有可能的输入值”? 2024-12-23 06:56:21 +0800 CST
  • Martin Hope
    Phillip Borge 为什么这个简单而小的 Java 代码在所有 Graal JVM 上的运行速度都快 30 倍,但在任何 Oracle JVM 上却不行? 2024-12-12 20:46:46 +0800 CST
  • Martin Hope
    Oodini 具有指定基础类型但没有枚举器的“枚举类”的用途是什么? 2024-12-12 06:27:11 +0800 CST
  • Martin Hope
    sleeptightAnsiC `(表达式,左值) = 右值` 在 C 或 C++ 中是有效的赋值吗?为什么有些编译器会接受/拒绝它? 2024-11-09 07:18:53 +0800 CST
  • Martin Hope
    The Mad Gamer 何时应使用 std::inplace_vector 而不是 std::vector? 2024-10-29 23:01:00 +0800 CST
  • Martin Hope
    Chad Feller 在 5.2 版中,bash 条件语句中的 [[ .. ]] 中的分号现在是可选的吗? 2024-10-21 05:50:33 +0800 CST
  • Martin Hope
    Wrench 为什么双破折号 (--) 会导致此 MariaDB 子句评估为 true? 2024-05-05 13:37:20 +0800 CST
  • Martin Hope
    Waket Zheng 为什么 `dict(id=1, **{'id': 2})` 有时会引发 `KeyError: 'id'` 而不是 TypeError? 2024-05-04 14:19:19 +0800 CST
  • Martin Hope
    user924 AdMob:MobileAds.initialize() - 对于某些设备,“java.lang.Integer 无法转换为 java.lang.String” 2024-03-20 03:12:31 +0800 CST
  • Martin Hope
    MarkB 为什么 GCC 生成有条件执行 SIMD 实现的代码? 2024-02-17 06:17:14 +0800 CST

热门标签

python javascript c++ c# java typescript sql reactjs html

Explore

  • 主页
  • 问题
    • 最新
    • 热门
  • 标签
  • 帮助

Footer

AskOverflow.Dev

关于我们

  • 关于我们
  • 联系我们

Legal Stuff

  • Privacy Policy

Language

  • Pt
  • Server
  • Unix

© 2023 AskOverflow.DEV All Rights Reserve