プログラミング言語 Rust

1 名前：デフォルトの名無しさん [2012/01/25(水) 20:05:49.96 .net] Mozillaがリリースした、プログラミング言語「Rust」について語るスレです。 www.rust-lang.org/ 643 名前：デフォルトの名無しさん [2016/05/16(月) 13:25:33.90 ID:khc6QXJf.net] Rustってオーバーロードないの？ 644 名前：デフォルトの名無しさん mailto:sage [2016/05/16(月) 13:40:14.34 ID:3yHJ0Kd5.net] どういうオーバーロードかによる 例えば fn push<P: AsRef<Path>>(&mut self, path: P) impl AsRef<Path> for Path impl AsRef<Path> for OsStr impl<'a> AsRef<Path> for Cow<'a, OsStr> impl AsRef<Path> for OsString impl AsRef<Path> for str impl AsRef<Path> for String impl AsRef<Path> for PathBuf 645 名前：641 [2016/05/16(月) 14:29:24.99 ID:khc6QXJf.net] fn push(a: u8) fn push(a: u8, u32) みたいにやりたかったです 646 名前：デフォルトの名無しさん mailto:sage [2016/05/16(月) 14:45:17.97 ID:4v1q9uFB.net] 関数に関しては無い。型推論が面倒になるからだと思う。 メソッドに関してはある。traitとstruct(とenum)のimplで同名のメソッドを定義したらstruct優先。 2つ以上の異なるtraitが同名のメソッドを定義してて、2つともimplした型の場合はUFCで書かないとエラーになる。 647 名前：デフォルトの名無しさん mailto:sage [2016/05/16(月) 15:21:22.82 ID:LQrSqnuf.net] >>643 オペレータのオーバーロードならある。 use std::ops::Add; struct A {} impl Add<i32> for A { type Output = i32; fn add(self, rhs: i32) -> i32 {rhs} } impl Add<f32> for A { type Output = f32; fn add(self, rhs: f32) -> f32 {rhs} } 648 名前：デフォルトの名無しさん mailto:sage [2016/05/18(水) 07:21:57.85 ID:zi3YbWFS.net] 面倒だけどタプルに対してやってみるのは？ trait Push { fn push(&mut self); } impl Push for (u8,) { fn push(&mut self) { ... } } impl Push for (u8, u32) { fn push(&mut self) { ... } } fn main() { (0u8,).push(); (1u8, 2u32).push(); } 649 名前：デフォルトの名無しさん mailto:sage [2016/05/18(水) 12:53:24.93 ID:83U9cWax.net] >>648 変態！ 650 名前：デフォルトの名無しさん mailto:sage [2016/05/18(水) 15:50:42.49 ID:4NyJw2NY.net] trait Push { fn push(self, c: Container) } impl Push for u8 impl Push for (u8, u8) container.push(1) container.push((1, 2)) 651 名前：デフォルトの名無しさん mailto:sage [2016/05/18(水) 16:36:29.40 ID:g+vOVBq1.net] >>648 それオーバーロードでもなんでもなくね？ 652 名前：デフォルトの名無しさん mailto:sage [2016/05/18(水) 20:51:59.07 ID:pvzqVuHQ.net] >>651 でも同じもの表現してない？ 653 名前：デフォルトの名無しさん mailto:sage [2016/05/19(木) 01:39:05.88 ID:yE0vr9/W.net] 何かこのイカれたブログを思い出した。zero-overheadでheterogeneousなリストを作る話。 nercury.github.io/rust/interesting/2015/12/12/typed-arrays.html 654 名前：デフォルトの名無しさん [2016/05/30(月) 22:31:42.67 ID:FMy0/Tvb.net] 2番め以降の変数の型が違うオーバーロード書けないのね… 655 名前：デフォルトの名無しさん [2016/06/01(水) 22:24:24.45 ID:JHsrsE//.net] オーバーロードが追加されることって絶対ないのかな？ めちゃくちゃRust使いたいんだけどこれがないせいで使えない。 656 名前：デフォルトの名無しさん [2016/06/01(水) 22:49:23.73 ID:JHsrsE//.net] trait Sql { fn filter<T>(&self, value: T); } impl Sql for i32 { fn filter(&self, value: i32) { } } impl Sql for String { fn filter(&self, value: String) { } } みたいなことやりたいのですがエラーになってしまいます。 どうにかできないものでしょうか。 657 名前：デフォルトの名無しさん mailto:sage [2016/06/01(水) 23:39:18.93 ID:OaTzWyfO.net] >>656 引数の数が違ったら面倒だけど、この程度だったらtraitを多相にすればいいよ https://play.rust-lang.org/?gist=63404b280103d3da07c6d08910acda25&version=stable&backtrace=0 多相と同じ表現力のassociated typeでもいける。 https://play.rust-lang.org/?gist=fce8146e69f7cdd16b582a4c4ce37673&version=stable&backtrace=0 658 名前：654 [2016/06/02(木) 10:39:12.76 ID:LfrYVCEY.net] >>657 ありがとうございます！ これでいけるか試してみます！ 659 名前：デフォルトの名無しさん mailto:sage [2016/06/13(月) 20:34:44.12 ID:9cIQ9Ton.net] rustのsubredditにゲームの方のRustの投稿がちょくちょく来てたがホッケー選手まで出てくるとは思わなんだ。

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef