- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我遇到了一个编译错误,似乎突出显示了我对类型系统不了解的内容。
我想将字符串转换为整数,如果字符串不是有效整数,则带有自定义 panic 消息。我做一个match
在 Result
由 parse()
返回:
fn main() {
let x = match "23".parse() {
Ok(int) => int,
Err(_) => panic!("Not an integer!"),
};
println!("x plus 1 is {}", x+1);
}
(如果这真的是我在程序中所做的全部,我会使用
expect()
,但在实际程序中还有更多内容。)
24
编译并运行时。相反,会出现以下编译器错误:
error[E0277]: the trait bound `(): std::str::FromStr` is not satisfied
--> main.rs:2:24
|
2 | let x = match "23".parse() {
| ^^^^^ the trait `std::str::FromStr` is not implemented for `()`
问题似乎是 Rust 不知道我要解析的类型,这可能是一个问题是有道理的。如果我将第 2 行更改为以下内容,错误就会消失:
let x: i32 = match "23".parse() {
为什么我收到此错误消息,而不是指示需要类型注释?该消息似乎在提示错误臂没有返回任何东西(或者更准确地说,它返回的东西 - 即什么都没有 - 没有实现
FromStr
特征),但对我来说没有任何意义, 调用
panic!
后,匹配的那个分支的输出类型可能会产生任何影响——程序可能会展开堆栈并在该点立即终止,因此类型安全似乎无关紧要!
panic!
,我只返回一个整数(例如
Err(_) => 0
),代码编译良好(并按预期工作)。似乎在这种情况下,Rust 正确地将类型推断为
i32
第一次并且不会运行导致困惑错误的任何代码路径。
最佳答案
The message appears to be complaining that the error arm does not return anything (or more precisely, that what it returns -- namely nothing -- doesn't implement the
FromStr
trait).
panic!
的返回类型字面意思是
never type (
!
),它不同于
unit type (
()
)确实返回,尽管它返回的是“无”。
it doesn't make any sense to me that, after calling
panic!
, the type of the output of that arm of the match could have any effect whatsoever.
#![allow(unreachable_code)]
fn main() {
let _x: () = panic!();
let _y: i32 = panic!();
let _z: &dyn ToString = panic!();
}
但是,我们使用上面的一堆类型注释来操作返回类型,而不是任何类型提示,Rust 似乎解决了默认值
()
。对于返回
!
的表达式如您的示例的简化版本所示:
#![allow(unreachable_code)]
fn main() {
let x = panic!();
x + 5;
}
哪个抛出:
error[E0277]: cannot add `i32` to `()`
--> src/main.rs:15:7
|
15 | x + 5;
| ^ no implementation for `() + i32`
|
= help: the trait `std::ops::Add<i32>` is not implemented for `()`
这似乎是一个合理的选择,因为空表达式(例如空 block )评估为单元类型。
()
.这就是为什么推断您的错误臂返回
()
以及为什么你会得到
FromStr not implemented for ()
错误。
关于types - 为什么由于缺少类型注释而收到错误 "trait bound FromStr is not satisfied"?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/62628980/
假设a是张量,那么有什么区别: 类型(a) a.类型 a.type() 我找不到区分这些的文档。 最佳答案 type 是 python 内置方法。 它将返回对象的类型。喜欢 torch.Tensor.
什么是 Type 1 的居民的例子?两者都不是 Type也不是Type的居民?在 Idris REPL 中进行探索时,我无法想出任何东西。 更准确地说,我正在寻找一些 x除了 Type产生以下结果:
我找到了一些资源,但我不确定我是否理解。 我找到的一些资源是: http://help.sap.com/saphelp_nw70/helpdata/en/fc/eb2ff3358411d1829f00
这两个函数原型(prototype)有什么区别? void apply1(double(f)(double)); void apply2(double(*f)(double)); 如果目标是将提供的函
http://play.golang.org/p/icQO_bAZNE 我正在练习使用堆进行排序,但是 prog.go:85: type bucket is not an expression
假设有一个泛型定义的方法信息对象,即一个方法信息对象,这样的方法Info.IsGenericMethodDefinition==TRUE:。也可以说它们也有一个泛型参数列表:。我可以使用以下命令获取该
在具有依赖类型的语言中,您可以使用 Type-in-Type 来简化语言并赋予它很多功能。这使得语言在逻辑上不一致,但如果您只对编程感兴趣而不对定理证明感兴趣,这可能不是问题。 在 Cayenne
根据 Nim 手册,变量类型是“静态类型”,而变量在内存中指向的实际值是“动态类型”。 它们怎么可能是不同的类型?我认为将错误的类型分配给变量将是一个错误。 最佳答案 import typetrait
假设您有以下结构和协议(protocol): struct Ticket { var items: [TicketItem] = [] } struct TicketItem { } prot
我正在处理一个 EF 问题,我发现它很难调试...以前,在我的系统中有一个表类型继承设置管理不同的用户类型 - 所有用户共有的一种根类型,以及大致基于使用该帐户的人员类型的几种不同的子类型。现在,我遇
这是我的 DBManager.swift import RealmSwift class DBManager { class func getAllDogs() -> [Dog] {
我正在尝试使用傅里叶校正图像中的曝光。这是我面临的错误 5 padded = np.log(padded + 1) #so we never have log of 0 6 g
关闭。这个问题是opinion-based .它目前不接受答案。 想要改进这个问题? 更新问题,以便 editing this post 可以用事实和引用来回答它. 关闭 9 年前。 Improve
请考虑以下设置: protocol MyProcotol { } class MyModel: MyProcotol { } enum Result { case success(value:
好吧,我将我的 python 项目编译成一个可执行文件,它在我的电脑上运行,但我将它发送给几个 friend 进行测试,他们都遇到了这个错误。我以前从未见过这样的错误。我使用 Nuitka 来编译代码
当我尝试训练我的模型时"ValueError: Type must be a sub-type of ndarray type"出现在 line x_norm=(np.power(x,2)).sum(
我尝试在另一个类中打断、计数然后加入对象。所以我构建协议(protocol): typealias DataBreaker = () -> [Double] typealias DataJoiner
我正在使用 VS 2015 更新 3、Angular 2.1.2、Typescript 2.0.6 有人可以澄清什么是 typings 与 npm @types 以及本月很难找到的任何其他文档吗? 或
我正在考虑从 VS2010 更改为 Mono,因此我通过 MoMA 运行我的程序集,看看我在转换过程中可能遇到多少困难。在生成的报告中,我发现我不断收到此错误: bool Type.op_Equali
主要问题 不太确定这是否可能,但由于我讨厌 Typescript 并且它使我的编码变得困难,我想我会问只是为了确定。 interface ISomeInterface { handler: ()
我是一名优秀的程序员,十分优秀!