Rust part8

**デフォルトの名無しさん** · 2020/01/24(金) 11:47:52.41

Mozilla発のRust言語のスレ

公式
https://www.rust-lang.org/
https://blog.rust-lang.org/
https://github.com/rust-lang/rust

Web上の実行環境
https://play.rust-lang.org

前スレ
Rust Part7
http://mevius.5ch.net/test/read.cgi/tech/1563114707/

**デフォルトの名無しさん** · 2020/01/24(金) 12:03:40.01

このスレにバグがある確率
↓

**デフォルトの名無しさん** · 2020/01/24(金) 13:58:51.88

この世のC/C++プログラムにバグが一つでもあるぐらい%

**デフォルトの名無しさん** · 2020/01/24(金) 15:10:27.64

>>2
このスレの仕様が定義されてないから
バグがあるかどうかは不定です

**デフォルトの名無しさん** · 2020/01/24(金) 23:17:19.37

質問です。
こんな構造体を作っていました。

struct Iter<T: Iterator> {
buffer : Option<char>,
iter : T
}

このとき T::Item が char であるような制限を表現する方法はありますか？

**デフォルトの名無しさん** · 2020/01/25(土) 00:04:14.38

struct Iter<T: Iterator<Item=char>>

**デフォルトの名無しさん** · 2020/01/25(土) 00:07:06.67

>>6
ありがとうございます。
上手くいきました。

**デフォルトの名無しさん** · 2020/01/25(土) 09:25:49.56

どういたしまして

**デフォルトの名無しさん** · 2020/01/25(土) 10:02:56.84

ミスがある前提で作られたソフトウェアなんぞ使いたくないわ。

**デフォルトの名無しさん** · 2020/01/25(土) 10:26:45.49

個人のミスが重大な問題にならないようシステムで防ぐんだぞ
1つのミスがそのままProductionのバグになるわけじゃないから

個々の部品が予期しない故障をする前提で設計したシステムと
個々の部品は想定外の故障はしない前提で設計したシステムと
どちらのほうが高い信頼性を実現できるのかは歴史を見れば明らか

だから優れたプログラマーは自分がミスを犯す前提で
そのミスが重大な問題につながらないよう個人単位でもシステムを構築してる

**デフォルトの名無しさん** · 2020/01/25(土) 10:50:03.15

ミスをしないエンジニアは存在する

俺だ

**デフォルトの名無しさん** · 2020/01/25(土) 10:53:31.57

>>10
おまえの関わった製品には署名しといて。
絶対使わないから。

**デフォルトの名無しさん** · 2020/01/25(土) 10:59:09.24

>>11
5chに書き込んでる時点で
何か人生ミスってる気がする

**デフォルトの名無しさん** · 2020/01/26(日) 03:02:59.13

https://play.rust-lang.org/?version=stable&;mode=debug&edition=2018&gist=511e2be2ae90342a9c36f759e73108b6
勉強がてらたらい回し関数をメモ化仕様で書いてみたんですけどあってますかね…自信がないです

**デフォルトの名無しさん** · 2020/01/26(日) 14:50:16.22

返す変数間違ってました

**デフォルトの名無しさん** · 2020/01/26(日) 15:15:02.80

あーなんかいろいろ間違ってたんで出直します

**デフォルトの名無しさん** · 2020/01/26(日) 17:36:36.36

プルリクとかも出す前にさんざん確認してんのに出してからすぐ｢あ、ここ間違ってた…｣みたいになるよね(´・ω・`)

**デフォルトの名無しさん** · 2020/01/26(日) 21:41:08.18

Vec<String> を拡張すると定義外ってエラー出るんですけどなんでかわかる人います？
他のライブラリでVec拡張してるソース見ると特殊なことせずにimplできてるんですけどどうすればこのエラー取り除けますか？
impl From<Vec<&str>> for Vec<String> {
fn from(v: Vec<&str>) -> Self {
v.into_iter().map(String::from).collect()
}
}
error[E0117]: only traits defined in the current crate can be implemented for arbitrary types
|
88 | impl From<Vec<&str>> for Vec<String> {
| ^^^^^---------------^^^^^-----------
| | | |
| | | `std::vec::Vec` is not defined in the current crate
| | `std::vec::Vec` is not defined in the current crate
| impl doesn't use only types from inside the current crate
|

**デフォルトの名無しさん** · 2020/01/26(日) 22:08:40.96

>>18
ざっくりいうと
外部crateで定義された型 + 外部crateで定義されたtrait
の組み合わせでインプリするのは無理
どっちか片方が自crateで定義されたものなら問題ない

coherence ruleとかorphan ruleとかいうやつ
https://doc.rust-lang.org/error-index.html#E0117