プログラミング言語 Rust 3 [無断転載禁止]©2ch.net

**デフォルトの名無しさん** · 2017/05/21(日) 14:04:29.55

Mozillaがリリースした、プログラミング言語「Rust」について語るスレです。

http://www.rust-lang.org/
https://github.com/rust-lang/rust

Servo
https://servo.org/
https://github.com/servo/servo

◆前スレ
プログラミング言語 Rust 2
http://echo.2ch.net/test/read.cgi/tech/1478023960

**デフォルトの名無しさん** · 2017/08/14(月) 09:35:01.13

>>541
>Pathのまま返すにはどうしたらいいの？
ライフタイムとか関係なく、!Sizedな型はそのまま返すなんてことはできない
コンパイルタイムにサイズが分からないからランタイムでサイズ情報を持つfat pointer経由でしか扱えない
（https://doc.rust-lang.org/book/first-edition/unsized-types.html）
所有権を持った値として返したいのならそのownedなバージョン（今回はPathBuf）かボックス化された状態（PathBuf::into_boxed_pathで得たBox<Path>）を使うしかない

ああ、>>532の「返り値で返せないとか」の意味がようやく分かった。確かにその通りだ。別の型で返す必要がある

**デフォルトの名無しさん** · 2017/08/14(月) 09:54:46.27

ええぇ、今までPathが返り値で返せないの意味を分かってなかったのかw
!Sizedな型は+Sizedとかで型サイズを固定させて返すとか頑張るんでしょ、Pathは出来なかった気がするけど

PathBufはDeref type Pathがあるからまぁなんとか
str, String等の命名規則がStr, StrBufじゃないのは気に入らん、みたいなのは分からいでもない
なんか歴史的背景があるんだろうけど、考えるのが面倒でそのまま受け入れてる

**デフォルトの名無しさん** · 2017/08/14(月) 09:56:58.67

習いたての頃に[u8]を引数に取ろうとして躓きまくったのを思い出す
そういやこれって何でわざわざコンパイラー組み込みでファットポインターを定義してるんだ？
struct Path<'a> { start: *mut (), end: *mut (), marker: PhantomData<&'a PathBuf> }じゃダメなのか？

**デフォルトの名無しさん** · 2017/08/14(月) 10:30:03.78

>>544
それだとimpl AsRef<Path> for PathBufとかが出来ない

**デフォルトの名無しさん** · 2017/08/14(月) 10:53:05.45

PathがSizedじゃないってのが初学者的にめんくらったわ
strと同じだと思えば理解できた

**デフォルトの名無しさん** · 2017/08/14(月) 10:54:47.32

>>537
nightlyって1.21って出るけどそこに入るわけじゃないのね

**デフォルトの名無しさん** · 2017/08/14(月) 15:20:15.52

>>542
いかにもRust FAQに載ってそうな話題だと思ったが、ちらっと見た感じ、載ってないな
和訳も1割ぐらいしか進んでないし

**デフォルトの名無しさん** · 2017/08/15(火) 01:22:49.60

>>541
>>542の言うとおりそこはライフタイム関係ないから
デフォルトがムーブセマンティックスで、
借用はsubstructural type systemに守られてるってこと覚えたらライフタイム知らなくても分かる。

>>547
特に決まってないよ。
nightlyの途中でマージされたのがいきなり次のstableに入ることもあるし。

**デフォルトの名無しさん** · 2017/08/15(火) 05:20:52.55

&Pathを関数戻り値で返せないのにライフタイム関係ないって子たちはエラー内容見えないのか
// error[E0597]: borrowed value does not live long enough

サマリーだけでlifetime関係ないって思い込んでるならE0597の詳細見て理解しような
https://doc.rust-lang.org/error-index.html

**デフォルトの名無しさん** · 2017/08/15(火) 05:38:14.01

ちょっと聞きたいんだけどrustのマクロって裏でどういうコードが生成れてるか分かる機能ってあります？

Cのプリプロセッサなら生成コードが出力できるけど、、、

**デフォルトの名無しさん** · 2017/08/15(火) 09:18:04.23

Webにいるプログラマって、マサカリとかに代表されるように人格が狂ってる人多いよね。正しければ正義的な。
2ちゃんはさらにひどいけど、そうじゃなくても。
実社会でプログラマの地位が認められてないからかなぁ。

**デフォルトの名無しさん** · 2017/08/15(火) 09:27:06.48

>>550
&PathじゃなくてPathを返すって話だよ
Path: !Sizedだから参照を経由しない形では返せない（fn() -> Pathと書けない）というお話ね
>error[E0277]: the trait bound `[u8]: std::marker::Sized` is not satisfied in `std::path::Path`

こういう流れを見ると本当にDSTは理解されづらいんだなあと思う

>>551
Nightlyで、rustc -Z unstable-options --pretty=expanded foo.rs
これのラッパとしてcargo-expandというものもある
https://github.com/dtolnay/cargo-expand

**デフォルトの名無しさん** · 2017/08/15(火) 09:32:50.69

Path:newが&Pathを返すというstdライブラリ仕様を言及してたのかよwww
そりゃ失礼、そんな所よりそれをどうやって使うかを話してるつもりだったわ

**デフォルトの名無しさん** · 2017/08/15(火) 17:22:31.52

newがPathを返すと思ってたわ

あはは

**デフォルトの名無しさん** · 2017/08/15(火) 17:26:22.04

あはは

**デフォルトの名無しさん** · 2017/08/15(火) 18:11:07.59

あはははは

**デフォルトの名無しさん** · 2017/08/15(火) 18:12:13.59

もしかして他にもnewで&返すのあるの？

**デフォルトの名無しさん** · 2017/08/15(火) 18:29:55.70

ワロス

**デフォルトの名無しさん** · 2017/08/15(火) 18:34:48.29

>>558
標準ライブラリのパブリックな型ではOsStrくらいじゃないかな
from系の関数も含むのなら、std::slice::from_raw_partsとかstd::str::from_utf8とかもある

標準ライブラリ外のクレートでもstrに対するラッパとかでそういうのがあった気がする

**デフォルトの名無しさん** · 2017/08/16(水) 01:13:42.55

>>554
オレも値受け取った後の話だと思ってたわ

**デフォルトの名無しさん** · 2017/08/16(水) 01:18:30.66

ごめん言い忘れたぜ。
>> 558
fn new<S: AsRef<T> + ?Sized>(s: &S) -> &Self
に一般化出来るの全部。transmuteしてるだけだもん。

**デフォルトの名無しさん** · 2017/08/16(水) 01:35:45.19

>>562
これ系の実装がやたら低レベルなのってどうにかならんもんなのかねえ……

**デフォルトの名無しさん** · 2017/08/16(水) 03:04:04.19

とは言え、Pathみたいにnewtypeパターンでnewtypeの元の型の参照からnewtypeの型の参照を得るケースなんてそう多くないからな(というかDSTくらいでしかやらない)
transmuteもやむなしだろう

**デフォルトの名無しさん** · 2017/08/16(水) 04:03:28.36

newなんて普通過ぎる名前が悪い
sliceよろしくfromにしておけばよかったんだ

**デフォルトの名無しさん** · 2017/08/16(水) 07:12:51.51

>>551
https://rust-lang-ja.github.io/the-rust-programming-language-ja/1.6/book/macros.html#マクロをデバッグする

> マクロの展開結果を見るには、 rustc --pretty expanded を実行して下さい。

**デフォルトの名無しさん** · 2017/08/16(水) 10:55:53.36

IntelliJ Rust Pluginのエディタが型表示をヒントとして表示するようになってクッソウゼェw
一瞬便利かなと思ったけどやり過ぎだと思ってオフにしたった
futuresでチェーンしてると型名が長すぎて実態のコードが画面外に追いやられてたわ

変数名にフォーカスしたら型名表示くらいのFRやPRは出てないものかしら

**デフォルトの名無しさん** · 2017/08/16(水) 11:05:25.77

>>567
その機能を持ってきたJavaだと型名が短いからいいんだけどね

**デフォルトの名無しさん** · 2017/08/16(水) 11:50:59.59

みんな何でRust書いてるの？IntelliJ派？

**デフォルトの名無しさん** · 2017/08/16(水) 17:55:39.36

emacs

**デフォルトの名無しさん** · 2017/08/16(水) 17:56:12.79

Vim一択

**デフォルトの名無しさん** · 2017/08/16(水) 17:58:42.50

Path(PathBuff)に拡張子を追加するにはどしたらいいすか

f.txtをf.txt.zipにするてきな。

**デフォルトの名無しさん** · 2017/08/16(水) 18:27:36.87

ggrksなので雑に答えてみる
let path = Path::new("f.txt");
let new_name = format!("{}.{}", path.to_str().unwrap(), "zip");
let new_path = Path::new(&new_name);
print!("{:?}", new_path);

これ以上雑な実装はねーだろ(ﾁﾗｯﾁﾗｯ

**デフォルトの名無しさん** · 2017/08/16(水) 18:47:37.19

やっぱそーなっちゃうんですねー。
ありがとうございました。
さすがにこれ以上エレガントなのはないですね

**デフォルトの名無しさん** · 2017/08/16(水) 18:48:57.93

元から&mut Stringや&mut OsStringを持っていてそれを&Pathに変換するような場面なら、素直にStringやOsStringの時点でpushとかで加工した方が手軽だと思う
OwnedなPathBufしか持っていないのなら一旦OsStringに変換してから拡張子を足してPathBufに戻す
&Pathや&strしか持っていないのなら、そもそもその状態では書き換えようがないからto_ownedする
&mut PathBufしか持っていないのなら、多分設計が良くない。&mut OsStringを受け取れるようにできないか検討しよう

**デフォルトの名無しさん** · 2017/08/16(水) 19:03:14.68

エディタわりとバラバラなのな
俺はVimだけど何となく気になった

**デフォルトの名無しさん** · 2017/08/16(水) 19:22:40.51

来るかなぁと思ってたが、案の定エレガントじゃない回答(>>575)がきたぞw

卓上で語るのが好きでコードに落とせない子なんだろうなぁ
>>575はそのバリエーションで実装に落としてあげるとエレガントな回答になるからちょっとやってみ？

**デフォルトの名無しさん** · 2017/08/16(水) 19:42:34.81

>>577
1番目
fn f(path: &mut OsString) -> &Path {
path.push(".zip");
Path::new(path)
}
let mut path = "f.txt".into();
assert_eq!(Some("f.txt.zip"), f(&mut path).to_str());

2番目（assertionは省略）
fn g(path: PathBuf) -> PathBuf {
let mut path: OsString = path.into();
path.push(".zip");
path.into()
}

3番目
fn h(path: &Path) -> PathBuf {
let mut path: OsString = path.into();
path.push(".zip");
path.into()
}

ついでに4番目（実際に使うべきでないが）
fn i(path: &mut PathBuf) {
unsafe {
(*(path as *mut _ as *mut OsString)).push(".zip")
};
}

**デフォルトの名無しさん** · 2017/08/16(水) 19:56:17.83

めちゃくちゃエレガントになったな（白目）

**デフォルトの名無しさん** · 2017/08/16(水) 20:11:43.78

1～3がすごく無駄なバリエーションでワロタ
まとめてこれでいいじゃん, 分けて挙げた意味あるのかいな
let path = f(PathBuf::from("f.txt"));
let path = f(Path::new("f.txt"));
let path = f(OsString::from("f.txt"));
fn f<P: AsRef<Path>>(path: P) -> PathBuf {
let mut path: OsString = path.as_ref().into();
path.push(".zip");
path.into()
}

**デフォルトの名無しさん** · 2017/08/16(水) 20:16:19.25

cloneする奴としない奴を同列に語るのはどうなんだって感じだがな

**デフォルトの名無しさん** · 2017/08/16(水) 20:18:00.24

4を頑張れば>>573を超える雑な実装にできる可能性がありそうだけど無理かなぁ
まぁ無理か・・・

**デフォルトの名無しさん** · 2017/08/16(水) 20:27:22.87

つまり、雑さ選手権であると言う事を見落とした事が>>575の敗因か()

**デフォルトの名無しさん** · 2017/08/16(水) 20:36:20.89

PathBuf::pushじゃいかんのか

let buf = path.to_parh_buf();
buf.push(".zip");
buf.as_ref()

一番良いのはPathの元になったOwnedな型にpushすることだと思うが

**デフォルトの名無しさん** · 2017/08/16(水) 20:36:47.76

let mut にするの忘れた

**デフォルトの名無しさん** · 2017/08/16(水) 20:38:34.55

let mut buf: PathBuf = "f.txt".into();
buf.push(".zip");
println!("{:?}", buf); // => "f.txt/.zip"

**デフォルトの名無しさん** · 2017/08/16(水) 20:38:39.16

>>581
関数f内でのPath/PathBufのメモリ確保処理に差はないから必要なら後からas_pathでもしたらいいんじゃね
むしろas_refやintoのオーバーヘッドを気にすべきかのう, 100万回くらいループしたら1秒くらいの差が出るかも？

**デフォルトの名無しさん** · 2017/08/16(水) 20:39:36.49

失礼、PathBuf.pushだと/がついてしまうのか

**デフォルトの名無しさん** · 2017/08/16(水) 20:44:06.60

だれも>>550に肝心なこと言ってやらないのな。

>>550
関数が&Path返すだけじゃE0597はでねぇのよ。たとえば>>534のは

>fn path<'a>(name: &str, ext: &str) -> &'a Path {
>Path::new(&format!("{}.{}", name, ext))
>}

&format!("{}.{}", name, ext)
~~~~~~~~~~~~~~~~~~~~~~~~~~~~

この中でnameとextをdropするからE0597出るんだよ。
まあ、罠だけど。ただの面倒くさいっていう見本みたいだし。

借用を関数の中で結合して返すってのが潜在的に危険だから
やり様は色々あるけど↓が一番簡単。
ttps://play.rust-lang.org/?gist=e4937a92f292952a620eaa7bffa51c21&version=stable

>>563
無理、rustはこういう型シノニムを構造体でラップしたfat pointerとして定義するからtransmuteは必要になる。
こういうnewtypeがやりたいのはunsafe消すこと。
名前からtransmuteしてるようには見えないから名前が悪いのよ。

>>565
from/intoは使い方決まってる

**デフォルトの名無しさん** · 2017/08/16(水) 20:45:56.00

>>587
Path::newやas_ref、intoは単に型システム上の操作であってnoopなのでは(検証してない)
だってPathやらPathBufやらはOsStrやOsStringに対する単なるnewtypeでしょ

**デフォルトの名無しさん** · 2017/08/16(水) 20:54:34.33

let mut buf = PathBuf::from("hoge.txt");
let mut ext = buf.extension().map(OsString::from).unwap_or(OsString::new);
ext.push(".zip");
buf.set_extension(&ext);

**デフォルトの名無しさん** · 2017/08/16(水) 21:03:54.32

>>590
Path::into::<PathBuf>はstr::into::<String>と同じでメモリアロケーション走るはず
as_refはほぼnoop

**デフォルトの名無しさん** · 2017/08/16(水) 21:07:58.66

fn f<T: Trait>(t: T) のトレイトによる分岐はnoopだけど、as_ref, intoはnoopとは限らんよねぇ
impl AsRef, Intoの実装でゴチャゴチャ処理するモノもあるだろうし

Path, PathBufに限ってはinnerを返すだけっぽいからコンパイラによる最適化でnoopになるかな
2,3回前のリリースでもコンパイラ最適化を抜本見直ししてたし、どうなってるかワカラン(自分も検証する気ない)

**デフォルトの名無しさん** · 2017/08/16(水) 21:51:24.68

AsRefはcheapな型変換を実装するためのtraitだし、as_refは常にほぼnoopだと言って良いと思う
https://doc.rust-lang.org/std/convert/trait.AsRef.html

**デフォルトの名無しさん** · 2017/08/16(水) 22:57:30.93

雑に拡張子生成部のワンライナーを目指した(改行がないとは言っていない
let new_ext = ".zip";
let mut buf = PathBuf::from("hoge.txt");
let ext = buf.extension()
.map(OsString::from).map(|mut ext| {ext.push(new_ext); ext})
.unwrap_or(new_ext.into());
buf.set_extension(&ext);

**デフォルトの名無しさん** · 2017/08/17(木) 18:40:58.78

std::path::Componentsのimpl AsRef<Path>みたいな地雷もいるけどな！ > as_refがnoop
地雷を踏み抜かないように使いたい所存

**デフォルトの名無しさん** · 2017/08/18(金) 18:00:28.47

メンバ変数の参照を返すイテレータモドキ
https://play.rust-lang.org/?gist=42ce623d69717a8acdc7736d6d624f60

これに Iterator トレイトを実装させたいのだが、関連型 Item の定義が上手く行かず困っている。
関連型について
type Item = <&T>; とするとライフタイムが必要だと出る。
しかし
impl<'a, T> Iterator for Foo<T> {
　type Item = Option<&'a T>;
...
とか
PhantomData 使ったりしてみた https://play.rust-lang.org/?gist=5b127531f2b93a1a9a9143de86ad2340
けど通らない。

どうすれば良いのだろう？

**デフォルトの名無しさん** · 2017/08/18(金) 18:05:55.69

ミス。
> type Item = Option
の Option<> は要りません。

**デフォルトの名無しさん** · 2017/08/18(金) 18:07:34.29

>>597
impl<'a, T> Iterator for &'a Fooじゃダメな理由とかある？

**デフォルトの名無しさん** · 2017/08/18(金) 18:17:10.82

impl<'a,T> Iterator for &'a Foo<T> {
type Item = &'a T;
fn next(&mut self) -> Option<&T> {
Some(&self.x)
}
}

これはこれで error[E0495]: cannot infer an appropriate lifetime for lifetime parameter in generic type due to conflicting requirements
エラーが出ます。

**デフォルトの名無しさん** · 2017/08/18(金) 18:20:10.90

>>600
nextの戻り値のlifetimeが不足している
Option<&'a T>にしなくちゃ

**デフォルトの名無しさん** · 2017/08/18(金) 18:35:09.68

>>601
おお、出来ました！　ありがとうございます。

a.next() ではなく (&a).next() となってしまうのが心残りです。
関連型 Item のライフタイム問題が無ければ素のコードで行けるのに、
何故こんなことになってしまうのか……

**デフォルトの名無しさん** · 2017/08/18(金) 19:24:37.05

>>602
Vecとかみたいに、&'a Foo<T>をラップするstruct Iter<'a, T>とfn iter(&self) -> Iter<'a, T>を作った方がエルゴノミクス的に良さそうではある
>>597のコードで動かないのは、Iterator::nextのレシーバのライフタイムが匿名だからself.xが後で書き換えられるのを防げないことによるものだろう
Iteratorトレイトの仕様上、仕方がない

**デフォルトの名無しさん** · 2017/08/18(金) 19:31:38.24

ていうかあんまり本質的な問題ではないけどtakeを使うべき場面だな

**デフォルトの名無しさん** · 2017/08/18(金) 23:23:26.21

Rustの2017年ロードマップの進捗状況
https://www.infoq.com/jp/news/2017/08/rust-2017-roadmap-six-months

**デフォルトの名無しさん** · 2017/08/19(土) 00:07:19.34

>>592-594
変換系の命名規則はコストで決まってる。
ttps://rust-lang-nursery.github.io/api-guidelines/naming.html#ad-hoc-conversions-follow-as_-to_-into_-conventions-c-conv

ただまだ質が悪いから準拠してこうぜ！ってのが2017のロードマップ。

**デフォルトの名無しさん** · 2017/08/19(土) 04:06:47.11

何で皆さんそんなにコピーがお嫌いなんですか

**デフォルトの名無しさん** · 2017/08/19(土) 08:31:32.98

Copyは良いがCloneは避けたい
Cloneどんどんやって良いようなプログラムならrustで書かなくても良い

**デフォルトの名無しさん** · 2017/08/19(土) 10:50:48.03

>>603
> Vecとかみたいに、&'a Foo<T>をラップするstruct Iter<'a, T>とfn iter(&self) -> Iter<'a, T>を作った方がエルゴノミクス的に良さそうではある

Slice のコードを参考にしてみた結果、Some(&v) じゃなくて Some(&*ptr) という unsafe な手法ですが、こんな感じで上手く行きました。
https://play.rust-lang.org/?gist=639045def9c07026e8b6b0267a9dae98

ありがとうございました。

**デフォルトの名無しさん** · 2017/08/19(土) 10:56:56.32

copyとcloneの違いって？

**デフォルトの名無しさん** · 2017/08/19(土) 14:19:36.24

error-chainのまともなサンプルがないんだけど、みんな使ってないのかな

**デフォルトの名無しさん** · 2017/08/19(土) 14:23:54.00

crates.ioのreverse dependenciesが10ページを超えているようなcrateを「みんな使ってない」はずがない
GitHubのexamplesでなんやかんや事足りるからなあ

**デフォルトの名無しさん** · 2017/08/19(土) 14:28:59.69

「Notepad++」v7.5が公開、“LaTeX”や“Rust”、“Erlang”など19言語をサポート
http://forest.watch.impress.co.jp/docs/news/1076002.html

**デフォルトの名無しさん** · 2017/08/19(土) 15:21:50.70

error-chainてメインでしか使えない？

**デフォルトの名無しさん** · 2017/08/19(土) 15:24:47.15

日本語の記事もほぼないし

**デフォルトの名無しさん** · 2017/08/19(土) 15:47:44.15

テキストエディタも高機能な奴は起動が遅かったり動作が重い印象がある

**デフォルトの名無しさん** · 2017/08/19(土) 16:40:03.65

>>611
error-chain、なんか使いにくそうと勝手に思い込んでる

**デフォルトの名無しさん** · 2017/08/19(土) 16:53:30.74

>>615
むしろ、Rust界隈でまともな日本語記事とやらがどれだけあるのやら……

**デフォルトの名無しさん** · 2017/08/19(土) 23:55:33.96

>>613
Notepad++ってちょっと重い。SakuraEditorより重いと思う。あとSDIで使えなかった気がする

**デフォルトの名無しさん** · 2017/08/20(日) 00:02:30.31

直受けの50万客：いつまでもうちにいていいよ
3次受けの50万（客は70万払ってる) 客：短期延長していい？
5次受けの50万（客は110万払ってる) 客：作り終わったらとっと出てけ　できなかったら即退場だ　
長時間労働　高稼働　高スキル要求が多い

零細フリーランスサイトは5次受けから誰もできない難易度の高い仕事　余り物の仕事を紹介してくる。40万円代でやってくれと

これならJIETから3次でいったほうがいいな

446非決定性名無しさん2017/08/02(水) 22:12:48.95

JIETに毎月5千円払えば３次から入場できるだろ？
高額をうたうフリーランスのサイトはだいたい５次から４５万円
JIETで閲覧応募できる末端価格からさらに搾取するのが高額をみせつけるフリーランスサイトでした
高額案件をみせつけるフリーランスサイトも案件の取得はJIETでした

473非決定性名無しさん2017/08/03(木) 15:21:30.71

JIETに加入すれば誰でも3次60万からスタートだ。フリーランスのサイトをやってる
自称エージェントもそこから案件情報を取得しきてる。サイトで60万で釣って40万から55万の
間でやらしている。

372仕様書無しさん2017/08/11(金) 10:31:43.41
フリーランスで検索すると引っかかる零細ITがやっているフリーランスのサイトはだめだ。
高額に見せているけど実際は50万前後
JIET加入した方がいいよ。案件は毎日千件以上末端価格は60万円　平凡な稼働時間の80万円の案件もある。
ユー子も求人をだしてる。名刺も渡せる。ユー子に名刺が渡せるんだぞ。夢のようだ

それらの案件まさぐってHPで転売していたのが零細ITがやるフリーランスサイト

自称エージェントはJIETから流れてくる案件を転売してるだけだった。
JIETに加入すれば誰でも案件に応募することができた。収入が40万50万台にならなくて済む

**デフォルトの名無しさん** · 2017/08/20(日) 15:00:56.50

標準的なステーメントや型、メソッドなどがずらずら並んだ資料とかないのかな
エディタ用に定義ファイルを作りたいのだがLearning的なページだと全部載っていなくて・・・

**デフォルトの名無しさん** · 2017/08/20(日) 16:16:49.80

>>621
https://github.com/rust-lang/rust/tree/master/src/libstd

**デフォルトの名無しさん** · 2017/08/20(日) 21:48:27.38

いくつか↓のコードについて質問させてください。
https://play.rust-lang.org/?gist=b2fe59eb7aee706b6acb67bb9709967f&;version=stable

1. PartialEqが実装されていないというエラーが出てしまうのですがどう対応したら良いのでしょうか？
試しに
#[derive(PartialEq)]
pub trait Serialize {
としたところerror: `derive` may only be applied to structs, enums and unionsというエラーが出てしまいました。traitにPartialEqを持たせることはできないのでしょうか？

2. error[E0277]: the trait bound `std::vec::Vec<&Serialize>: std::iter::FromIterator<Value<'_>>` is not satisfiedというエラーですが、これはどのようなコードにすれば良いのでしょうか？解決方法が全く思い浮かびませんでした。

ちなみに、enumでArray(Vec<Value>)ではなくArray(Vec<&'a Serialize>)となっている理由は外から型？を追加したいためです。

よろしくお願い致します。

**623** · 2017/08/20(日) 22:15:56.31

すみません、少し修正したものをアップしました。よろしくお願い致します。
https://play.rust-lang.org/?gist=e29af50f281802f700c0bdf8d676da54&;version=stable

**デフォルトの名無しさん** · 2017/08/20(日) 22:56:17.35

トレイトと型、ライフタイムパラメータと型パラメータの区別が付いてないような、

pub enum Value<'a> {
Nil,
Array(Vec<&'a Serialize>),
}
これとか、書くなら
pub enum Value<'a, T> where T: 'a + Serialize, {
Nil,
Array(Vec<&'a T>),
}
こうでは？

> impl<'a> Serialize for Value<'a>
...

**デフォルトの名無しさん** · 2017/08/20(日) 23:13:22.65

一応impl<'a> PartialEq for &'a Serializeはできる
クソの役にも立たないからやるべきでないが

**623** · 2017/08/21(月) 01:00:32.98

>>625
ありがとうございます！
頂いたpub enum Value<'a, T> where T: 'a + Serialize, {を入れてみたところ以下のようなエラーになりました
error[E0243]: wrong number of type arguments: expected 1, found 0
--> src/value/serialize.rs:10:24
|
10 | impl<'a> Serialize for Value<'a> {
| ^^^^^^^^^ expected 1 type argument

この場合Serializeを実装した型を追加で指定しないといけないと思うのですが、例えば
struct UUID {
uuid: u128,
}
impl Serialize for UUID {
}
こんな感じの型をライブラリ使用者が外部から追加しようとした場合、教えていただいた書き方だとどのように指定すれば実現できるのでしょうか？
あと最後の…（省略されてる？）が気になります…

>>626
そんな書き方もできるんですね！参考になります！

**デフォルトの名無しさん** · 2017/08/21(月) 01:35:15.12

>error[E0243]: wrong number of type arguments: expected 1, found 0
この場合、impl<'a, T> Serialize for Value<'a, T>としなければならない。というかエラーメッセージが言っていることそのもの

ところで、Value::Arrayには複数種類の型の値を入れることを想定している？
だとしたら>>625のような型パラメータによる手法は適さないと思う
実現したい事が分からないから具体的な提案はできないけれど、とりあえずArrayのなかに&SerializeやT: Serializeを持たせる以外の方針が必要だと思う
例えば、serde_json::ValueだとArrayの中にT: Serializeでなく、Valueを入れ子に持っている

**623** · 2017/08/21(月) 02:32:19.49

>>628
> ところで、Value::Arrayには複数種類の型の値を入れることを想定している？
はい、いろんな型を入れたいです。
今現在↓みたいになっていて（コンパイルできない）改行が多くて書き込みできなかったので改行を減らしてあります。
pub enum Value<'a> {
Nil, Bool(bool), Int8(i8), Int16(i16), Int32(i32), Int64(i64), UInt8(u8), UInt16(u16), UInt32(u32), UInt64(u64),
Float32(f32), Float64(f64), Binary(Vec<u8>), String(String), Array(Vec<&'a Serialize>), Map(HashMap<String, &'a Serialize>),
}
これをライブラリとして公開して、そのライブラリの使用者が
struct UUID {
uuid: u128,
}
impl Serialize for UUID {
fn serialize(&self) -> Vec<u8> {
unimplemented!()
}
}
こんな感じにSerializeをUUIDに実装すればArray(Vec<&'a Serialize>)の中に入れられるのではないかと思い実装しました（だめだったのですが…）
serde_jsonも参考にしたのですがArrayの中にValueを入れてしまうとライブラリの使用者が型を追加できないのではと思って上の感じにしました。
何かいい方法はないのでしょうか？

**623** · 2017/08/21(月) 02:40:57.36

https://github.com/3Hren/msgpack-rust/blob/master/rmpv/src/lib.rs#L416
このライブラリだとValueの中にExtを作ってその中にシリアライズ済みのデータを入れてるみたいですね。
確かにこれならいけそうですが、Valueの中にシリアライズ済みのデータを入れるのがなんだかスッキリしないです…
これ以外には方法はないのでしょうか？

**デフォルトの名無しさん** · 2017/08/21(月) 05:08:14.26

(ageるなウザい)

**623** · 2017/08/21(月) 15:33:43.28

>>631
すみません、sageのこと忘れてました…

**デフォルトの名無しさん** · 2017/08/21(月) 16:25:46.95

rustの使用者は型をガチガチに固めて型安全であることを至上としてる風があるから
利用者が自由に型を追加できることの方にスッキリしない印象を持つのではなかろうか
例えば、hyperのHTTP Headerとかね

それでも尚そうしたいのであればrmpvなやり方は正しいんじゃないのかね

**623** · 2017/08/21(月) 21:07:50.83

>>633
なるほど
rmpv方式でやってみようと思います！

**デフォルトの名無しさん** · 2017/08/21(月) 21:48:43.99

ライブラリを作る側はゆるゆるにする、使う側はギチギチにする、だったかな

**デフォルトの名無しさん** · 2017/08/22(火) 02:48:14.20

何の言語における誰の格言だい？
Rustライブラリの話じゃないよな, Rustはno_std + unsafeでもしないと作る時すらギチギチだものな

**デフォルトの名無しさん** · 2017/08/22(火) 09:17:41.34

https://doc.rust-lang.org/src/core/iter/mod.rs.html#839

default とかいう謎のキーワードがあるけど、これ何だ？

**デフォルトの名無しさん** · 2017/08/22(火) 09:30:00.19

>>637
Specialize可能な実装を表す修飾語
https://github.com/rust-lang/rfcs/blob/master/text/1210-impl-specialization.md

**デフォルトの名無しさん** · 2017/08/22(火) 09:35:30.79

rustconfのまとめ誰かたのむ

**デフォルトの名無しさん** · 2017/08/22(火) 09:41:20.78

>>638
ありがとう。
本家ソース読んでると、ドキュメント化されてない文法とか現れて時々困惑する。

**デフォルトの名無しさん** · 2017/08/22(火) 23:09:44.08

impl-specializationってfor T以外に具象型でも出来たのか。パラメタ型が現れればいいのか。

>>640
まだRFC #1331が出来てないから正式な文法は存在しない。
自分が使ってるrustcのソース読む以外に文法知る術はないよ。