プログラミング言語 Rustat TECH
プログラミング言語 Rust - 暇つぶし2ch369:デフォルトの名無しさん
15/07/23 22:42:51.27 GSXYPmA+.net
>>368
まあ、昔と違ってシステムプログラミングの需要って減ってるよね。
GTKかwxWidgetsのRustバインディングが安定したら何作るか考えるわ。

370:デフォルトの名無しさん
15/07/23 22:49:25.52 yXyFyEpk.net
>>367
みなさなきゃ良いんじゃね
rustのトレイトの問題じゃなくお前さんの視点の問題だろ?
Cで作るようなシステムアプリケーションとか作ってる
基本評判悪いけど面白い言語よのう

371:デフォルトの名無しさん
15/07/24 00:32:36.11 D0ziIpoZ.net
>>367 phpでやってみたが、減らせるコードって36-39行と47-50行だけしかなくね? URLリンク(codepad.viper-7.com)
しかもSyncAとSyncBをAを扱う関数に渡したら、syncRead呼ばれないし。継承じゃないなそれ。
学習目的もあるが、PEGをもっと広めたいなーと思って色々触っている。
DSL作るのはLispと関数型言語が楽だとは知っているけど、rustも代数的データ型とパターンマッチがあるから何とかなるんじゃないかと思っている。
std::mem::size_of_valとかで見る限り、構造体のメモリ使用量がCと同じなのが気に入った。
いくらメソッド追加してもコストにならないし、vtableが出てくるのは&Traitみたいなtraitオブジェクトを渡すときだけなのも良い。
struct Container<'a, T: 'a + Trait> {
inner: &'a T
}
のメモリ使用量はusize
struct Container<'a> {
inner: &'a Trait
}
はファットポインタなのでusize + usize

372:デフォルトの名無しさん
15/08/08 02:29:33.62 qRv1Q/E9.net
普段ScalaとPlayFrameworkでWeb書いてるんやが、JVM嫌すぎてやめたい。
Rustさんはどうなんすかね。

373:デフォルトの名無しさん
15/08/08 02:34:13.24 6f0NYoQy.net
Announcing Rust 1.2
URLリンク(blog.rust-lang.org)

374:デフォルトの名無しさん
15/08/08 11:31:29.07 vDqHzBe+.net
>>372
JVMの何が気に入らないのか分からんが
マルチコアプロセッサで効率的な動作を期待するならgoの方が向いてる

375:デフォルトの名無しさん
15/08/09 03:37:11.08 f9auPRN7.net
Rust1.2に付随してcargoのバージョンが上がってプロジェクトディレクトリの.cargo/configで
[build]
rustc = "multirust run nightly rustc"
とチャンネルを指定することができるようになったのが嬉しい。
前からcrates.ioのドキュメントにできると書いてあったのに、stableじゃできなかった。
3つもチャンネルがあるとドキュメントがいつから対応しているのか書く側も把握しづらいのかね。

376:デフォルトの名無しさん
15/08/12 01:45:21.38 7PEu3mkB.net
>>375
できなかった。自分でrust-nightlyとか適当なシェルスクリプトかまさないといけない。

377:デフォルトの名無しさん
15/08/12 12:36:33.87 0A5qnrPY.net
>>374
ただの技量不足なんですが、メモリ食っちゃうので…

378:デフォルトの名無しさん
15/08/12 15:02:52.00 rodoarXT.net
そりゃgoを使っても本質的には変わらんなw
rustでビルド時に厳密にチェックするのは一案かもな
最初は厳密すぎて実装効率がクッソ下がる悪夢にうなされるだろうけど

379:デフォルトの名無しさん
15/08/13 21:19:32.57 gZkyyADQ.net
rustで、機械学習やりたいんですが線形代数とかに便利なライブラリってあります?

380:デフォルトの名無しさん
15/08/13 21:32:20.79 PzFzu2cW.net
基本的なライブラリも出揃ってないんだからないでしょ。
まぁ速くて関数型だから機械学習に使いたいのは分かるけど

381:デフォルトの名無しさん
15/08/13 22:24:22.09 YKJt+Rxb.net
普通にC/C++ライブラリをブリッジしてフロントをrustで書けば良いのでは
ブラックボックスのライブラリまで無駄にrustランタイムに依存しなくて良いだろう
関数型だから(笑)で選んだなら全てがrustじゃないと気に入らないかもだが
そうじゃないと思いたい

382:デフォルトの名無しさん
15/08/13 23:14:36.16 nvcb5WnS.net
C、C++で書かれたライブラリは予想外な最適化がなされていることがあるのではないか、と
URLリンク(github.com)
のベンチマークを見て、
URLリンク(code.metager.de)
を覗いて思った。

383:デフォルトの名無しさん
15/08/14 06:56:14.33 blwavvg/.net
>>381
単純にrustに触るモチベーションにしようかと思っただけなんですが、
結局c++とかさわることになるなら、もうちょっとまってみます。

384:デフォルトの名無しさん
15/08/14 07:57:50.79 OFjX8KNn.net
そうかrustじゃなきゃヤだったか、残念だ
rustに限らず新進の言語は自分が早い、と言い張ってるが
inlineとかconstexprとか、そういう言語仕様レベルでC/C++には負けそう
スクリプト言語よりは早いし、C/C++にない言語特性で勝ってるから良いんだけど

385:デフォルトの名無しさん
15/08/14 08:20:01.82 8DhgL6X2.net
どうせバックエンドはLLVMだし、速度はなんとでもなりそう
inline指定はC++より細かくできるし
そのうちconst関数も実装されるんじゃなかったっけ

386:デフォルトの名無しさん
15/08/14 08:36:32.05 +/xffdWO.net
魔法の言葉、LLVM
LLVMを使ってれば全てが横並びになる、、、わけがねーだろ

387:デフォルトの名無しさん
15/08/14 13:18:33.36 MLcHO6rW.net
CはともかくC++書きたくないからRustに期待するので…
GCないし言語仕様自体で遅くなるということはない
現状でも遅くないし、最適化はコンパイラの成熟待ち

388:デフォルトの名無しさん
15/08/14 13:23:40.07 ySA2YUfa.net
cppとかもうオワコンだろ

389:デフォルトの名無しさん
15/08/14 13:46:27.32 G+XHrt0h.net
だったらrustがzero-costを推してるのは、、、
雨後のたけのこよろしく言語乱立なう
枯れるまでC++は良い言語の一つだと思うよ

390:デフォルトの名無しさん
15/08/14 17:04:46.99 mJ5T1H4E.net
最適化といってもコンパイラができる最適化には限りがあるよ。
例えばサイズnのスライスに対してある特定の処理を書くとしたら、
slice.iter().map(|x| { f(x) }) とか書くじゃん。遅延処理になるから、その後枝刈りができる可能性はあるけど、基本的にn回処理しなきゃならない。
頭のおかしい人が&[u8]とf(x)の中身を見て、&[u64]にしてf(x)を変形させて処理がn/8回で済むアルゴリズムを考えたとき、
そいつをコンパイラに伝える方法があるようには思えない。特にf(x)の中身を見ないといけない部分が難しい。
rustでスマートに書けるところは多いけど、速度が問題になるジャンルでは簡潔さを捨てても取るべきものがある、と思う。

391:デフォルトの名無しさん
15/08/14 17:18:09.99 MLcHO6rW.net
そりゃアルゴリズム変えるなら別の書き方することになるってだけでは…
RustはCとのインターフェイスが簡潔なのがよい
ほんとC++さっさと滅ばねーかなー

392:デフォルトの名無しさん
15/08/14 18:56:03.00 tSzJ9MLR.net
ちゃんと読んでないけど、アルゴリズムの書き方が言語仕様で縛られるのでは?
C++を滅ぼそうとDだのC#だの出たけど倒れる気配ないからなぁ
時代は変わったけど難しいね

393:デフォルトの名無しさん
15/08/14 20:22:55.00 N/BdRhBJ.net
滅びを願う必要ないでしょうに

394:デフォルトの名無しさん
15/08/14 23:57:05.10 bS+eLMvH.net
>>390
f(x)がinline化可能なら、コンパイラがそういう最適化できる可能性もあるのでは?
ただ、最適化突き詰めていくと今のところ人の手でしかできないようなものがあるというのはその通りだと思う

395:デフォルトの名無しさん
15/08/15 11:29:55.30 LE4LycT3.net
>>392
C#はc++滅ぼすためにでたんか
VM上で動く言語がc++の替わりになるとは思えんけど

396:デフォルトの名無しさん
15/08/15 15:00:25.90 BF06i3ZJ.net
C#の4つの+の内2つは†だからね

397:デフォルトの名無しさん
15/08/15 16:30:24.95 2bLrWO8C.net
c♯はvm言語だけどjavaとは比較にならないくらい速いぞ

398:デフォルトの名無しさん
15/08/15 19:21:36.26 y8T1xilv.net
rustのC/C++にない機能特徴ってメモリ管理以外何かある?
文法はどーでもいいので、機能面でメリットがあれば教えて頂きたく

399:デフォルトの名無しさん
15/08/15 19:44:13.49 b89uyLUZ.net
バックエンドがLLVMということは、裏返せばLLVMにできないことはどう頑張ってもできなくて
LLVMを使いこなすという点ではclangの方がずっとこなれている、ということでもあるからなあ
clangだと独自拡張やビルトインを駆使してめっさ面倒なことがrustでこんなに簡単に!はあっても
clangでできないことがrustならできる、は無いだろ

400:デフォルトの名無しさん
15/08/16 00:02:58.53 0FrBGB/k.net
>>398
代数的データ型があること

401:デフォルトの名無しさん
15/08/16 08:54:35.06 B/eZX+WT.net
機能なのかね、関数型(笑)の特徴ではあれど文法の話な気が
zero-cost abstractionsってサイトのトップで言ってるけど
C++のvisual関数と違って、rust traitの抽象化はオーバーヘッドが少ない(もしくはゼロ)、、、?

402:デフォルトの名無しさん
15/08/16 15:52:42.12 LltgmYR9.net
言語の機能と文法はどう区別するべきか
言語の型システムに影響与えるものは機能に分類されると思う
rustのメモリ管理も型レベルで整合性判定しとるらしいし
その話は置いといてメモリ管理以外にも色んなファイルやソケットみたいなリソース管理
もやってくれるって宣伝しとる

403:デフォルトの名無しさん
15/08/16 17:33:48.92 mucOKkH4.net
>>399
最後の文、なんかおかしくね?

404:デフォルトの名無しさん
15/08/16 17:37:02.87 P0XQ+1Fa.net
Rustのtraitは&TとかBox<T>とかって形以外で使う分には完全にゼロコスト。C++のtemplateと一緒

405:デフォルトの名無しさん
15/08/16 19:29:02.58 y6uPjVhI.net
visual 関数…

406:デフォルトの名無しさん
15/08/16 20:25:28.98 kniDeEJc.net
>>401
ADTのない言語でパーザやコンパイラなんか絶対に書きたくない

407:デフォルトの名無しさん
15/08/16 20:32:14.50 +yYCxpZd.net
>>404
C++のvirtual関数だって静的に解決できる範囲だと普通の関数呼び出しだぞ
結局、必要なとこではやっぱりコストがかかりますという当たり前の話でしかない

408:デフォルトの名無しさん
15/08/16 20:45:48.84 MwsW2pbd.net
>>402
プログラマじゃなくユーザにメリットある影響なら機能的な意味と見なしたいな
メモリやリソースは解放漏れでユーザに悪影響出るが、代数的データ型は影響無さそう
型情報を納めるためのメタデータが必要で
(極少量とは言え)性能が落ちるならカティンとくるがまさかそんなこともあるまい

409:デフォルトの名無しさん
15/08/16 20:54:28.62 kniDeEJc.net
>>408
>型情報を納めるためのメタデータが必要で
>(極少量とは言え)性能が落ちるならカティンとくるが
頭おかしい

410:デフォルトの名無しさん
15/08/16 21:05:51.13 +yYCxpZd.net
ユーザへのメリットというなら、まずライブラリの形式がrlibとか特殊入ってる時点で……
もちろんVM言語よりは遥かにましだけど

411:デフォルトの名無しさん
15/08/16 21:06:48.25 ffOxBAui.net
>>406
君が出来なくても賢い人が作ってくれるとからどうでもいいな
>>407
原則、静的解決出来ないことがない言語仕様が差別化なのかねぇ
これに限らず、ブレを許す気がないコンパイラなのが愉快

412:デフォルトの名無しさん
15/08/16 21:10:29.90 kniDeEJc.net
>>411
>君が出来なくても賢い人が作ってくれるとからどうでもいいな
コンパイラもパーザもそういうもんじゃないんだけど……
まあ、環境の違いかな

413:デフォルトの名無しさん
15/08/16 21:16:25.34 +yYCxpZd.net
>>411
『&TとかBox<T>とかって形以外は』の部分はどこ行った

414:デフォルトの名無しさん
15/08/16 21:16:51.88 YpDp9c6J.net
>>410
一応、普通のstatic, shared libraryにも変換出来るし、、、
(付与されるランタイムのオーバーヘッドがC++のソレとどの程度違うかは知らん)

415:デフォルトの名無しさん
15/08/16 23:08:36.25 jt+RDWuc.net
Ownership と Borrowing はなんとか付いていけたけど
Lifetimes は,なにがしたいのかすら解らない...ショボン

416:デフォルトの名無しさん
15/08/16 23:17:23.38 rxm0/YIk.net
trait objectとそれ以外が陽に異なるから、オーバーヘッドの有無が分かりやすくていい。
C++に無さそうなのって、Phantom型とか?
ADTもパターンマッチをバリバリ使うのに必要な機能。
見た目enumなのがC,C++のenumと混同しちゃうかもしれんが、あれとは安全性のレベルが違う。

417:デフォルトの名無しさん
15/08/16 23:39:45.12 t+fZbGif.net
C++にPhantomタイプがない・・・?
それともRustのは別のものを示す語彙なのか?

418:デフォルトの名無しさん
15/08/17 01:03:54.38 wXUvnq59.net
急に人増えたけどなんかあった?

419:デフォルトの名無しさん
15/08/17 08:15:46.05 EwR31uEA.net
実は増えてないとか?

420:デフォルトの名無しさん
15/08/17 09:22:50.55 ++j4diFB.net
>>413
&TやBox<T>多用するのはイクナイrustプログラムの可能性が微レ存?

421:デフォルトの名無しさん
15/08/17 09:33:55.34 Fu9VunjR.net
RustとSwiftはそっくりなんだから統合しちゃえばいいのにな

422:デフォルトの名無しさん
15/08/17 09:50:54.17 S2KJYKrv.net
そっくりか、心が広いな

423:デフォルトの名無しさん
15/08/17 10:12:49.16 OjKjgwDq.net
rustもswiftもgoも好きで使ってるけどswiftはgoと統合して欲しい
gc以外は感情論を持ち込まなければなんとかなりそう
rustは不毛な大地を一人でどうぞ(好意的な意味で

424:デフォルトの名無しさん
15/08/17 22:06:52.82 qu3dwpPf.net
>>423
swiftとgoを統合の意味がぜんぜんわからないな。
goにGenericsが入ってほしいという話ならわからなくもないけど。
swiftはCocoaライブラリの互換性に縛られて言語仕様として洗練されてない。
goはシンプルを極めすぎて、Genericsとか入れてくれない予感。
rustはLLVMのフロントエンドってところでマルチプラットフォームな言語として一番期待できるよね。(swiftはCocoaがない環境で息できないでしょ)
UE4でC++の代わりにrustを使えないかと妄想してます。

425:デフォルトの名無しさん
15/08/17 22:34:16.53 XjHdii/s.net
swiftの文法とgoの機能が合わさり最強に見える
rustは言語仕様と標準ライブラリが安定してユーザが定住するならなぁ
ユーザ数少ないのにマルチプラットフォームとか誰得だ
特色違えど言ってることがLuaと変わらんので笑える

426:デフォルトの名無しさん
15/08/17 23:35:52.17 rr3yinc6.net
swiftが底センスなのって互換性が原因かなあ
単純に設計者が(ry

427:デフォルトの名無しさん
15/08/18 03:11:58.06 1Gz3JsMv.net
言語設計したAppleを責めるのはヤメロ
>>424
UE4って組み込み環境じゃなくゲームランタイムか
UE4知らんけどstatic library食えるならrustもいけるんじゃね
クロスコンパイラのrustc,cargo作れば良いわけだろ

428:デフォルトの名無しさん
15/08/18 11:59:33.30 6CH1l8he.net
swiftはアップデートするたびにcppに近づいてるな(悪い意味で)

429:デフォルトの名無しさん
15/08/20 15:10:15.72 JJlPzozZ.net
replか、rustの機能に合わせたスクリプト言語、あるいはコンパイラにキャッシュが欲しいです。
crateはコンパイル単位としてはでかすぎて開発サイクルが落ちまくるわ。

430:デフォルトの名無しさん
15/08/20 19:05:12.42 lKgof8/J.net
富豪プログラマ乙
環境一式が提供されれば便利だけど、ないならないなりに自前で便利な環境作れば良いと思うよ

431:デフォルトの名無しさん
15/08/20 20:23:20.16 TcFY2I1R.net
>>429
URLリンク(github.com)

432:デフォルトの名無しさん
15/08/20 20:47:55.40 5WCLlVT0.net
REPL使えるのはありがたいなあ

433:デフォルトの名無しさん
15/08/21 21:43:41.45 JyBfu5gS.net
>>430
富豪じゃないって話だろ?

434:デフォルトの名無しさん
15/08/22 10:13:08.54 EXDgxhBq.net
言語は富豪じゃなく、プログラマが富豪感覚って話だろ?
昔、Pythonをログインシェルにする機構があったが
Rustをログインシェルにする強者は世の中にいるかね

435:デフォルトの名無しさん
15/08/23 10:35:52.76 Gi1OdVG4.net
自前で便利な環境ってどんなの?cargoのソースを少し弄っては動かして、ってのをやろうとしたことがあるけど、
自分のPCだと再コンパイルに何分もかかって苦痛の極みだった。
printデバッグはcrateがある程度大きいと役に立たない。
rust-gdbを使ったものの、メソッドをどう呼べばいいのか分からなくて難儀した。
最終的に特定した不具合はrust-1.1のstableで配布されていたcargoのバージョンが古すぎて
crates.ioのドキュメントにある機能が実装されてなかっただけだったんだけどね。徒労でした。

436:デフォルトの名無しさん
15/08/23 10:49:21.79 DVHNG28Q.net
rustを使わなくて良いと判断することが良い環境じゃないかな
コンパイラ、デバッガ、ライブラリ管理、IDEをMozillaが綺麗に整備する気ないから
他の流行りの言語に比べて環境は人によってマチマチになるのが必然で問われても最適解はないよ
低レイヤーかつメモリ、リソース管理が楽なrustだけど開発環境は中々に不毛だと思う
オールインワンな用意されたモノが良いならswiftが最強、アポーOS内なら文句出ない

437:デフォルトの名無しさん
15/08/23 14:11:14.16 2b/ywy3L.net
静的型付けでIDE使えないとかなんの罰ゲームだ

438:デフォルトの名無しさん
15/08/23 14:36:11.06 myL1fwDZ.net
インクリメンタルなコンパイルもIDEに情報渡すためのコンパイラ側のサポートも
わりと優先度の高い開発目標になってて実際に着手してるから時間の問題

439:デフォルトの名無しさん
15/08/23 14:49:20.21 DiK7bPRN.net
型推論と静的型付けを混在してんのか?
静的型付けならC言語すらそうなわけだが
百歩譲って静的型付け+型推論としてもC++11が標準IDEなしで頑張っとる
emacsでもvimでもsublimeでもAtomでも好きなIDE(エディタ)使えよ
自分で選べず罰ゲームだと思うなら、まだ早い

440:デフォルトの名無しさん
15/08/23 15:29:12.91 vCSJ96fF.net
最強ideとして名高いintellij様がその内rustも対応するだろ(鼻ほじ)

441:デフォルトの名無しさん
15/08/23 17:12:50.17 kGlhzngs.net
>>439
誰も型推論の話はしてなくね?
実際cやらcppでインライン構文チェック、補完できるエディタなんて普通にだろうし

442:デフォルトの名無しさん
15/08/23 19:11:10.03 myL1fwDZ.net
>>441
とはいえ、Rustのように型推論がある言語だとコンパイラが型推論した
結果をIDEに伝えてくれないとマトモな補完はできないので。
パーザと型検査機・型推論機に特化したツールを用意するか、
コンパイラが型推論の結果を別ファイル化なんかで伝達するかしないといけない

443:デフォルトの名無しさん
15/08/23 19:26:43.38 /Chtfvs+.net
>>442
rebuildfmでtypescriptがIDE用にアノテーション情報をコンパイラが提供してると聞いた。
golangは言語としては提供してないけどgocodeってツールがそういう役割してる。
rustは今のところない感じ?

444:デフォルトの名無しさん
15/08/23 20:29:46.00 TP37Tp0e.net
racerとかいう補完ツールがあるけど、中身がどうなってるかは知らない

445:デフォルトの名無しさん
15/08/29 11:33:37.99 LydH6mPU.net
ctags程度のインデックスファイル作成かな > racer
型推論した上で、その型がどんな名前のメンバ変数/関数が扱えるのかまでは補完してくれなさそう
>>441
型推論込みでコード補完してくれるIDEがないと罰ゲームだって話だろ、多分

446:デフォルトの名無しさん
15/08/29 14:35:52.72 ILt1JEYe.net
変数に別名を与える構文とか出来ないかな
refだと所有権の貸し借りが発生するせいで気軽に使えないからね
同じ変数に対して複数の名前で同時に読み書き出来る状況になるけど
Rustではそういうのもデータレースと見なすのだろうか

447:デフォルトの名無しさん
15/08/29 14:44:45.63 h1iic6zY.net
それがメモリ管理のバグを生むから許せねーってのがrustの理念だろうよ
多用するもんじゃないだろうけどArcとか使えば良いんじゃね

448:デフォルトの名無しさん
15/08/29 15:27:58.89 hP/roqxQ.net
ML系みたいに型の構文を関数定義から分離して欲しい…
少し複雑になると読みにくくてかなわん…

449:デフォルトの名無しさん
15/08/29 16:06:46.95 PwA9Vh//.net
ML系統も変数:型だけど、valに相当する構文を入れて、定義の所では省略したいってこと?
val foo : i32 -> i32;
fn foo(n) { n * 2 }
個人的には賛成。
多相型に対してimplを書くとimpl<'a, T1, T2, ...>が続いて読みにくくなるのも何とかならんかな。
punningというか、同じ文字を使っているなら省略してもオッケーみたいな。

450:デフォルトの名無しさん
15/08/29 16:42:49.79 vqRxT/fZ.net
>>446
他の言語ならあるの?

451:デフォルトの名無しさん
15/08/29 17:10:08.52 hP/roqxQ.net
>>449
そうそう。定義内に入ってると読みにくくて読みにくくて…

452:デフォルトの名無しさん
15/08/29 17:27:04.02 r87Lb3Gh.net
>>450
Cのポインタで出来るんじゃない?
>>449
タイプ数、ライン数を増やさんで欲しいな
今の仕様に追加なら見て見ぬふりしよう

453:デフォルトの名無しさん
15/08/29 17:36:28.28 vqRxT/fZ.net
>>452
それだと本質はrefと変わらなくね?

454:デフォルトの名無しさん
15/08/29 17:51:33.64 sBKhQngs.net
>>450
Cならunion、Pascalならabsoluteがあるよ

455:デフォルトの名無しさん
15/08/29 18:24:22.69 u5YtsQ0V.net
単に長い名前を一時的に短い名前にしたいだけだろ
Dのaliasみたいな
unionやabsoluteは別の型でオーバレイするので用途が違う

456:デフォルトの名無しさん
15/08/29 19:18:35.10 x4JINQUQ.net
Cならcpp経由の#defineか
rustでもrustcかける前にcppかまそう

457:444
15/08/29 21:38:49.53 ILt1JEYe.net
すまん言葉足らずだった
>>446>>455の言うように長い変数名を短くするような使い方を想定していた
>>456のやり方みたいにコンパイル前に名前を置き換えるだけでもいけるから
データレースは起きないと思ったんだ
他の言語だと所有権のチェックが無いからrefのような参照変数で十分代用できる

458:デフォルトの名無しさん
15/08/30 07:01:42.91 HJK6L9Ls.net
そういう無駄な他言語仕様の取り込みは要らない
一見変数名が短くなって特定箇所はシンプルに見えるが
全体のコードからすれば簡素にするではなく、複雑にするだろ

459:デフォルトの名無しさん
15/08/30 07:12:12.11 9R41/ZIA.net
まあまあ
今はいらんかもしれんけど、本格的にいろんな環境で使われだして環境差を吸収しないといけないとなってくると
そういう機能も必要になってくるよ
他言語にある機能だって無駄に存在してる訳じゃないからな

460:デフォルトの名無しさん
15/08/31 11:07:32.54 tdAWRFGn.net
長い変数名ってjavaのメンバ変数みたいな?
想定しているコードがよく分からん。aliasと元の変数が同時に出てくるコードの可読性は低くないか?
自分だったら↓みたいに元の変数からmoveさせて処理した後に元に戻すようにすると思う。
#[derive(Debug)]
struct Foo {
x: i32,
y: i32
}
#[derive(Debug)]
struct Bar {
verylong_named_variable_which_will_be_moved : Foo
}
fn main() {
let mut bar = Bar { verylong_named_variable_which_will_be_moved: Foo { x: 100, y: 200 } };
let mut a = bar.verylong_named_variable_which_will_be_moved;
a.x = 10;
a.y = 20;
bar.verylong_named_variable_which_will_be_moved = a;
println!("bar = {:?}", bar);
}

461:デフォルトの名無しさん
15/08/31 13:07:11.54 yj9JwLwE.net
444の意図とは逸れるかもしれないけど
例えばerrnoなら実際はerrnoだったり_errnoだったり__errorだったり
environならenvironだったり__environだったり*(NSGetEnviron())だったりする
stdinだったら__stdinpだったり__sF[0]だったり(&__iob_func()[0])だったり……
それがヘッダファイル中で#defineされているから、C言語からはどの環境でも同じ名前で使えるわけだ
今は処理系もひとつで動く環境も限られているから表面化しないかもしれないけど
普及と同時に差も広がっていく中で #[cfg(〜)] 使って全ての環境分書き分けろってなったらやってられんと思う
……というつもりだったのが>>459

462:デフォルトの名無しさん
15/08/31 13:48:51.45 gJdrS6xb.net
まあ、低レベル言語でどこまでの抽象化を許すかは難しいよな

463:デフォルトの名無しさん
15/08/31 15:10:03.72 Dkk0mMpb.net
Cでは#define, ifdef使う所を、rustでは#cfg使うのがrustの出した解決策なんじゃなかろうか

464:デフォルトの名無しさん
15/09/01 13:12:24.79 Qh110XSL.net
#cfg濫用は心配することないと思うけどな。
現在でもwinとlinuxとOSXがサポート対象だけど、環境の違いを陽に扱うコード以外は#cfg使って書き分けるなんてやってない。
Cでは抽象化の手段が少ないからプリプロセッサ使わないとやってられないが、
rustならトレイトとかコンテナ型を使って、ゼロコストで環境の違いを吸収できるのではないだろうか。

465:デフォルトの名無しさん
15/09/04 19:40:34.17 PM7GVPA4.net
iOSとAndroidと、それらの各種CPUを対応しててくれてありがたいんだが、libcの#cfgがバグってて悲しい
rust/src/libcは直ってるようなので、gitのリビジョン参照の更新待ちだい

466:デフォルトの名無しさん
15/09/18 08:13:22.55 qEC88fFW.net
1.3来てるぞ

467:デフォルトの名無しさん
15/09/18 10:09:51.13 qiV5MD3f.net
Release Notes v1.3.0
URLリンク(github.com)

468:デフォルトの名無しさん
15/09/23 23:21:07.14 IGgDNXyV.net
メソッドをオーバーロードするのにトレイト組み合わせなきゃならんのは何で?
オペレータのオーバーロードと方法を合わせるためなんか?

469:デフォルトの名無しさん
15/09/24 00:52:09.13 lP9arsTC.net
型推論が面倒になるからじゃない?
仮にオーバーロードができたとして、2つのメソッドdo_somethingがそれぞれAsRef<str>と&Stringを引数として渡せるとしたら、
let bar = "abcde".to_string();
foo.do_something(&bar)とやったとき、どっちのdo_somethingを呼ぶべきか分からない。

470:デフォルトの名無しさん
15/09/25 18:26:11.73 R+TRhKVr.net
try! が使えなくなってるような

471:デフォルトの名無しさん
15/10/06 23:08:05.18 GvY89Hx4.net
>>470
使えるよ?
戻り値の型と合ってないとかでは。

472:デフォルトの名無しさん
15/10/30 08:18:22.20 pCPlChjw.net
1.4来た

473:デフォルトの名無しさん
15/10/30 10:46:42.92 IKqzpUXy.net
スタートダッシュはもたついたけど地道に進んでるようだな。

474:デフォルトの名無しさん
15/10/30 22:03:45.74 wx6dAr+H.net
この言語って将来性ある?
軽量タスクをあきらめた時点で多くの期待を裏切った感があるけど

475:デフォルトの名無しさん
15/10/30 23:07:12.55 r01g6EEx.net
裏切られたのお前だけじゃね?

476:デフォルトの名無しさん
15/10/30 23:57:05.43 FTBRryE0.net
ランタイムを持たずに低水準を弄ろうというシステム向け言語で
デフォルトでグリーンスレッドをサポートとかそりゃ無理でしょ
ま、需要があればライブラリで提供されるだろうさ

477:デフォルトの名無しさん
15/10/31 00:17:04.93 qwGp3Rk5.net
scala使っとけよ
いい言語だぞ

478:デフォルトの名無しさん
15/10/31 00:44:50.75 L1WutJvq.net
>>477
何故にそこでscala?
scalaやるくらいならocamlやる。
JVM上でってことならいっそのことclojureやるわ。

479:デフォルトの名無しさん
15/10/31 03:33:05.27 F9rGVxSD.net
476がなぜそんなにscalaを嫌ってるのか少し気になるw
まぁscalaもocamlもclojureもRustからは遠い言語だけど。

480:デフォルトの名無しさん
15/10/31 04:11:48.61 /cAGFdj7.net
嫌ってる訳じゃないだろ。他に良い言語があるのに、ってだけで。

481:476
15/10/31 06:37:08.04 L1WutJvq.net
うんscalaが嫌いってわけじゃない。
ocamlやclojureがもっと良い言語とも言わん。
単に何故にRustのスレでscalaが出るって思っただけ。

482:デフォルトの名無しさん
15/11/07 12:41:15.36 ptDOELGY.net
OCamlがRustから遠い言語だと!letやらOptionやらを見ればOCamlの香りがするだろう!
OCamlの型システムを魔改造して、ガワをC++やJavaにして、ついでにGCも取っ払ったらRustだろうが!
使えば使うほど「OCamlならもっと楽に書けるなーこの式」とか思っちゃうくらいには近いぞ。
というか何故しなかったのか。
パターンマッチのデリミタを|から,にしたり、ジェネリック型の表記をT ListからList<T>にしたり、
式をML系列(foo x y)からalgol系列(foo(x,y))にした理由が未だに分からない。
括弧の量が増えて困る。

483:デフォルトの名無しさん
15/11/07 13:31:16.74 dEyvNDQG.net
そりゃ「から~にした」っていうのが単に480の習得順序なだけだからでしょ。

484:デフォルトの名無しさん
15/11/07 13:32:09.75 7OElurpY.net
ML系列流行らないからじゃない?話はずれるがOCamlも一旦キーワード整理しなおした文法2.0作らないとツギハギちょっとひどい。

485:デフォルトの名無しさん
15/11/07 16:22:53.29 G421Olyl.net
いっそのこと他人との情報交換はASTレベルで取って、構文解析レベルの表面的な文法は各自で着せ替え可能にしてしまえ

486:デフォルトの名無しさん
15/11/07 16:43:13.48 2WRIWoj2.net
OCamlには既に文法2.0も>>485の言う機能も完備されているが、誰も使っていないという事実がある
URLリンク(caml.inria.fr)

487:デフォルトの名無しさん
15/11/07 18:38:30.39 qNyFmib8.net
>>484
> ツギハギちょっとひどい。
たとえばどんなとこが?
> キーワード整理しなおした文法
どこをどういうふうに?

488:デフォルトの名無しさん
15/11/07 22:37:40.80 ptDOELGY.net
OCamlのRevised Syntaxはcamlp4で拡張する用途がメインだし、作った側も推進しているわけじゃない
F#のlightweight syntaxとはちょっと違う。
>>483 いや、色々な言語を触ってはきているけど、ML畑が主では無いよ。
感じるのは、関数型言語で便利だった機能を持ってきているけど、
よく考えてC++やJavaの見た目にしているのかが分からない、引っかかってるだけなんだ。
パターンマッチは、どうしてわざわざ","で区切るのか。orパターンで"|"も使うのに。
match expr {
| p1 | p2 => doA
| p3 => doB
}
の方が、"|"がORの意味を持つという慣習とも意味が合っていい。
今だと、
match expr {
p1 | p2 => doA,
p3 => doB
}
とdoAの後にセミコロンより見えにくい","を打つか、あるいはSQL的に
match expr {
p1 | p2 => doA
, p3 => doB
}
と書くかしないといけない。 どちらも"|"をデリミタにしたときより見づらいと思う。

489:デフォルトの名無しさん
15/11/07 22:50:12.70 Y3AuFW+E.net
構文見た目とか細かいところなんて慣れだろ。
多言語から来たらそこは我慢しないと

490:デフォルトの名無しさん
15/11/07 22:53:45.07 DDUHJOjM.net
match expr {
| p1 | p2 => doA
| p3 => doB
}
なんかdoAにorが掛かってる様に見えるのと、行頭の|が気になる
自分がC++使ってるから?
まぁ、C++もRustも仕事で使ってるわけじゃないのでどんな形になっても別に構わない

491:デフォルトの名無しさん
15/11/08 10:05:07.36 GO2ytGEi.net
>>488
p1をブロックに渡してるのかと思った

492:デフォルトの名無しさん
15/11/16 20:54:36.21 V5pjynAM.net
最近やっとstd::borrow::Cowの便利さに気付いたんだけど、
Stringと&strのどちらも受け取ることができて、StringだったらCow::Owned、&strだったらBorrowedに渡すなんて関数作れませんかね?
今は無難に関数を分けています。

493:デフォルトの名無しさん
15/11/16 21:26:26.44 86x+5+3M.net
enum で包んで直和型にして渡すとか?
全然便利じゃなさそうだけど。

494:デフォルトの名無しさん
15/11/17 00:49:23.01 UWdMMjpw.net
関数でなくても良いなら、IntoCowみたいなtrait作って、Stringと&strのそれぞれに実装する方法はある

495:デフォルトの名無しさん
15/11/17 01:01:07.60 zQmfn/gi.net
rust書いたことないんだけど、traitってscalaのtraitと同じようなもん?

496:490
15/11/17 13:46:41.92 S0yggN9e.net
>>493,492
無闇にto_string()でStringに変換しないのが主目的で、もっといいコンテナ型があればと思ったのですが、
まあ別の関数にしておくのはそんなに手間でもないのでこのままで行きたいと思います。ありがとうございました。
>>495
型の定義時にtraitを指定する必要が無いので、型クラスの方が近しいのではないかと。

497:デフォルトの名無しさん
15/11/21 15:58:21.22 1aaEMzFy.net
rust-encodingが遅いと勝手に思い込み、iconvのバインディングを書いて2倍以上速くなったと喜んでいたものの、
--releaseオプションをつけたらほぼ同じ程度の速度になった。
無駄な労力をかけるより先にやるべきことがあったわ。

498:デフォルトの名無しさん
15/11/21 20:40:38.49 CwO1C40T.net
悲しいな
ちなみにリリースビルドの性能でも若干遅いのかしら

499:デフォルトの名無しさん
15/11/21 20:59:57.88 S24jZK/l.net
性能以前に、rust-encodingとiconvならiconvを使いたいと思うわ、信用が違いすぎるだろ。だから公開はよ
……と書こうとしてぐぐったら、もう幾つもあるなw

500:デフォルトの名無しさん
15/11/21 22:36:25.09 1aaEMzFy.net
debugでコンパイルすると、encoding, iconvの所要時間はそれぞれ
3.85user 0.15system 0:03.97elapsed 100%CPU (0avgtext+0avgdata 50216maxresident)k
1.65user 0.15system 0:01.78elapsed 101%CPU (0avgtext+0avgdata 50108maxresident)k
で、releaseでコンパイルすると、
0.33user 0.14system 0:00.45elapsed 106%CPU (0avgtext+0avgdata 50272maxresident)k
0.30user 0.14system 0:00.42elapsed 105%CPU (0avgtext+0avgdata 48132maxresident)k
ってなった。stableなんで#[bench]は使えないので/usr/bin/timeを使った。
iconvがwindowsで使えるかが分からないし、誤差レベルなんでencodingをお勧めする。
ちなみにURLリンク(github.com)で公開されてるやつは古いのでコンパイルを通すのに修正が必要で、
URLリンク(github.com)内にもIconvがあるけど、自分が触った限りだとうまく動いてくれなかったんで作った。
rust-posixのは本当に単なるラッパーなんで使い勝手は悪いかもしれん。
URLリンク(github.com)
rust-encodingはrustネイティブだから、windowsにもちゃんと対応しているはずなんで、そっちの方がいいと思うよ。

501:デフォルトの名無しさん
15/11/22 11:23:58.32 NWCv//56.net
細かい情報thx
これは確かに誤差だから素直にrust-encodingで良いね
最近、枯れたと思われてるライブラリのバグ発掘が盛んだから
リメイクしたライブラリで性能同等ならそっちでいいな

502:デフォルトの名無しさん
15/12/06 21:28:29.71 X3qMkrgd.net
構造体のmutable referenceからはフィールド変数をmoveできないのがどうにかならんのかと思って調べてみた。
mem::replaceが解決案らしい。
struct Foo {
inner: Bar
}
struct Bar(i32);
fn main() {
let mut foo = Foo { inner: Bar(0) };
{
let ref_foo = &mut foo;
let inner = ref_foo.inner;
}
}
とかやるとcannot move out of `foo.inner` because it is borrowedと怒られる。
例えば、Iteratorの値を1つ保持するフィールドを用意して、要素を戻すような操作ができるstructを定義しようとすると、
この問題にぶち当たる。

503:デフォルトの名無しさん
15/12/11 18:36:59.97 8KiFs03m.net
v1.5 is coming.
URLリンク(github.com)
バージョンアップ早いなあ。

504:デフォルトの名無しさん
15/12/11 21:23:50.15 iuSy02/G.net
このまえ1.3入れたばっかなのに俺w

505:デフォルトの名無しさん
15/12/11 22:48:09.38 nmaVejT0.net
ここ最近、2ヶ月でアップデートしてるのか
何かブーストする背景があったのかね

506:デフォルトの名無しさん
15/12/12 01:15:24.78 li1FzsOW.net
MSVC ABI普通に使えないやんけ…

507:デフォルトの名無しさん
15/12/12 01:47:25.84 8e55vxAw.net
1.0リリースする前から6週間ごとにリリースするモデルにすると宣言してたぞ

508:デフォルトの名無しさん
15/12/12 14:03:48.98 RsNWaaLF.net
マイクロバージョンアップの bug fix リリースじゃないのな
その内、wineみたいに1.100とか来そうだw

509:デフォルトの名無しさん
15/12/15 04:08:28.28 QsQbNVbs.net
ある、イテレータをメンバーに持ってる構造体のmutable参照を受け取って、
イテレータを回して何か処理して、結果をその構造体の別のメンバーに保持させたいんだけど、for使うと怒られる。
と思ってたが、別の変数にイテレータメンバーへのmutable参照をバインドさせれば動くことが分かった。
loopとif let使ってなんとかしてたが、綺麗に書けることが分かった。
URLリンク(play.rust-lang.org)

510:デフォルトの名無しさん
16/01/15 23:06:47.72 27wkGJB0.net
rusr入門の書籍の出発前予定ってありますか❔❓
新しい概念あるので日本語で勉強にしたいです。

511:デフォルトの名無しさん
16/01/16 17:51:41.42 yIqkNKKT.net
残念ながら日本語の本が出るなんて話は聞いたことがない。
1.0になるまでに文法やらセマンティクスやらが変わったんで、それ以前のブログ記事やSOの質問には注意が必要。
Qiitaで公式bookの日本語訳を書いてた人もいたはずだけど、分からないところがあったら英語のリソース漁る方が早いと思う。
Rustの前にどんな言語を触っていたかは人それぞれなんで、新しく学ばないといけない概念も人それぞれ。
C++を触っていた人なら、明確なmove/copyの区別はすぐ分かるだろうし、borrow checkerの働きも理由を察することができるはず。
Rubyistだったら、Rust for Rubyistという記事がある。英語だけど。
ML系列の人だったら、RustのパターンマッチやADTは当たり前に分かるだろうし、Traitも型クラスみたいなものなので簡単。
Rustならではの新概念、といえばborrow checker(ownership, borrowing, lifetime)くらい。
borrow checkerは自作の型に参照型のメンバーががあるときは地獄のようだが、それ以外で怒られるときは分かりやすいエラーを出してくれる。
これさえ読めばすぐ分かる、完璧!という記事/本は英語圏でも無いんじゃないか。あったら教えてほしいくらい。

512:508
16/01/16 23:27:33.74 z5FTR37d.net
>>511
そうなんですか、当分出ないのかなぁ。1.0でたから
出版考える人居るかと思いました。
後はオライリーのが出版された後に翻訳されることを期待ですかねぇ。
英語の峰もまだ出版は先みたいですが…

513:デフォルトの名無しさん
16/01/17 09:31:02.77 q1eYL5ZR.net
公式ドキュメントのThe Rust Programming Languageが要所を押さえて普通に分かりやすかった
日本語訳を探せばみつかるんじゃないの

514:デフォルトの名無しさん
16/01/22 20:08:53.13 NZ+VESGj.net
1.6リリース。
URLリンク(blog.rust-lang.org)
libcoreがstableに -> 組み込み分野でstableバージョンのrustcが使えるようにするための第一歩。
現状、no_stdが使えない&libcore自身もstableじゃビルドできないんで、組み込み分野でnightlyを使うべきなのは変わらず。
crates.ioのパッケージは依存関係に*を使えなくなった -> パッケージ間の信頼性が上がったと思う

515:デフォルトの名無しさん
16/01/22 20:08:53.78 TxuZu1KE.net
紙の本でプログラミング言語を学ぶって不便じゃないか

516:デフォルトの名無しさん
16/01/22 23:51:29.07 LnlCczkn.net
全画面でエディタor IDE開いてるからなぁ…サブディスプレイほしい

517:デフォルトの名無しさん
16/01/23 07:16:12.42 k3yqR1GN.net
GNU screen等のウィンドウ分割でも使えば?と思ったが
最近の子がそれを知ってる気がしないと思い直した
>>514のスラドっぽいリリース紹介はなにを意図したもんなんだか
わざわざ毎リリース紹介してくれなくてもいいんだぜ?

518:デフォルトの名無しさん
16/01/23 12:07:32.49 GlCJ8Anu.net
スラド……?
GNU screenって、ターミナル上で動くエディタはともかくテキストブラウザでも使わせる気か

519:デフォルトの名無しさん
16/01/23 12:55:01.06 k3yqR1GN.net
だから最近の子は使わないと思った
首も手もホームポジションから動かす必要なくて良いんだけどな

520:デフォルトの名無しさん
16/01/23 16:37:28.48 TWxXeAW8.net
スラドっぽいとか言い出すのはスラド脳なのだろうか。

521:デフォルトの名無しさん
16/01/23 17:25:20.81 GlCJ8Anu.net
えっと最近はscreenよりtmuxなんだっけ
URLリンク(tmux.github.io)

522:デフォルトの名無しさん
16/01/24 03:15:01.30 6zzJ2ABK.net
>>521
です。

523:デフォルトの名無しさん
16/01/24 09:23:05.78 sP2ua92H.net
ム板がみんなスラッシュドットジャパンを知ってると思うのは大きな間違い

524:デフォルトの名無しさん
16/01/24 20:57:50.80 STxspeQw.net
あの書き込みのどこがスラドっぽいのか分からない
日本語プログラミング系コミュニティは2chかスラドかみたいな人なのかな?

525:デフォルトの名無しさん
16/01/24 20:59:27.48 MrtO9MQc.net
スラドって大学教授が見てるイメージ

526:デフォルトの名無しさん
16/02/05 13:54:26.47 cvzC3wrO.net
今更だが、スラドに食いつきまくりで皆知ってそうだと思った

527:デフォルトの名無しさん
16/02/10 21:23:19.46 Lqy2URw7.net
英語版スラドの現状
URLリンク(www.reddit.com)

528:デフォルトの名無しさん
16/02/12 23:49:15.56 duitB1tZ.net
FFIを使って他言語からRustの可変長引数の関数を呼びたいのですが、どのように書けばいいのでしょうか?

529:デフォルトの名無しさん
16/02/13 08:36:52.61 I59nNjTY.net
Rustに可変長引数の関数はないはずだが

530:デフォルトの名無しさん
16/02/13 18:14:55.11 tVuFpQtK.net
マクロの事やろなぁ

531:526
16/02/13 19:09:31.65 ZWZaKmBv.net
可変長引数の関数無いんですか…
おとなしくCかC++使います…
ありがとうございました。

532:デフォルトの名無しさん
16/02/13 20:42:45.90 tVuFpQtK.net
あなたが可変長引数関数と呼んでいるものは恐らく実在する

533:デフォルトの名無しさん
16/02/14 01:39:23.29 +Fbk6tbu.net
rust入門的なドキュメントください。
流石に一番最初から英語はきついので、、、

534:デフォルトの名無しさん
16/02/14 02:29:50.02 +Fbk6tbu.net
>>533
自己レスですがありました。
URLリンク(rust-lang-ja.github.io)

535:デフォルトの名無しさん
16/02/14 18:55:36.94 +Fbk6tbu.net
Rustを勉強するのにいい大きさのオープンソースなプロダクトってありますか?
Servoみたいなおおきい物じゃなくて手軽なものでおすすめなものとかないでしょうか?

536:510
16/02/14 19:18:53.27 ni3s66aP.net
>>534
良い情報ありがと
自分もこれから見てみることにします。

537:デフォルトの名無しさん
16/02/14 22:27:31.27 atofBh+O.net
URLリンク(github.com)
これとかどうだろう

538:デフォルトの名無しさん
16/02/14 23:39:03.18 +Fbk6tbu.net
>>537
まさにこんな感じです。ありがとうございます。

linux互換OSがrustで書かれる可能性とかあるんですかね。
所有権が使いこなせれば、メモリリークは絶対起きないんですか?
だとしたらcより堅牢なOSがかける可能性もあるんでしょうか?

539:デフォルトの名無しさん
16/02/15 05:33:45.29 W05/xALK.net
なんでRustは可変長引数に対応しないの?
マクロだと他言語から呼び出せないじゃん。

540:デフォルトの名無しさん
16/02/15 09:03:58.07 TrFbduW3.net
何かスタック壊されそう(適当)
配列をぶちこむとか、他言語側で引数をパースするラッパーを書くとか
想定してる用途がわからんけど

541:デフォルトの名無しさん
16/02/16 16:43:37.62 6tNkwA+R.net
可変長引数をサポートしてるって言語を見れば分かるけど、結局配列を渡してるだけってのがほとんどだよ。
ある意味foo!(v1, v2, v3) => foo(&[v1, v2, v3])みたいなマクロを備えているようなもんだと思う。
他の言語から呼ぶといっても、rust->C->他の言語って感じになるから、Cのstdarg.hに仕様を合わせるのもなあ。合わせたらno_stdじゃ使えなくなるだろうし。
自分には僅かなメリットとしか見えない一方、可変長引数を受け取って別の可変長引数関数に渡すときにどうする?っていう問題が出てくるから、
現状でええやんと思ってしまう。
>>538 RedoxというRustでOSを作るってプロジェクトはあるよ。どれくらい本気なのかは分からない。
あとRobigaliaっていうseL4上にRustで書いたプログラムを動かそう、そういう環境を作ろうというプロジェクトもある。
こっちは本当にできたばっかしなので本気度も展望も無いが。

542:デフォルトの名無しさん
16/02/16 22:35:50.35 zmpURjkn.net
printfみたいな奴なら、Rust側で書式データとポインタ配列(と要素数?)を引数に取れれば良いのでは
他言語側で可変長引数をポインタ配列にするラッパーを噛ませればそれっぽくなる気がする
実用性は知らない

543:デフォルトの名無しさん
16/02/17 03:00:30.52 JcT98VoE.net
impl Trait for Structより
impl Struct by Traitかimpl Struct with Traitのほうが良かった

544:デフォルトの名無しさん
16/02/17 07:12:06.10 xwZAj62o.net
キーワードが増えるのが嫌がられそう

545:デフォルトの名無しさん
16/02/19 11:22:15.41 lRUD/4+H.net
未だに box 表現って改変が議論中なのかよ。

546:デフォルトの名無しさん
16/03/22 10:38:06.53 bLb0KsFB.net
Android向けのrustコードビルドが通らなくなってて泣いた
rustが悪いんじゃなく Android NDK のビルドツール更新が悪いんだろうけど、もっかい環境作り直すか、、、

547:デフォルトの名無しさん
16/03/22 13:01:38.89 rMJb+Szz.net
よくやりがちなんだけど、URLリンク(users.rust-lang.org) みたいに
あるデータを管理するような型、OOPとかで頻出のマネージャークラスをRustでやろうとするとselfを二度貸しすんなって怒られるよね。
↑の例で言うとImageLibの所有権やref mutが必要無いのに要求するImageLib.load_imageが悪いって思いつくまでに結構かかる。

548:デフォルトの名無しさん
16/03/31 19:12:30.43 G0b7bqcg.net
Rust ←これ何て読むの?「ルスト」?「ルースト」?「ラスト」?

549:デフォルトの名無しさん
16/03/31 19:23:00.93 JUFQTQot.net
ラスト。[rʌst]
[rʌ] はラン run のラ。st はストリート street のスト。

550:デフォルトの名無しさん
16/03/31 20:07:07.51 G0b7bqcg.net

ラストって読むのか

551:デフォルトの名無しさん
16/04/15 21:46:53.26 PXsY1g2V.net
impl<M: Clone + 'static, T: Clone + 'static> expression::Expression<T> for SelectQuery<(T,), LimitOne, M> { }
これのClone + 'staticってどういう意味なのでしょうか?

552:デフォルトの名無しさん
16/04/16 07:38:20.94 NZYWg9ol.net
Cloneを実装していて、かつ寿命が'static

553:549
16/04/16 21:08:32.91 SpsCGcWk.net
>>552
ありがとうございます!

554:デフォルトの名無しさん
16/04/17 06:25:09.22 cLRJyW4r.net
println!("{0} = 0x{0:X}", val)
みたいなことやりたいんだけどうまい方法ってないですかね
なんか現状だと
println!("{} = 0x{:X}", val, val)
みたいなことするハメになって気持ち悪い

555:デフォルトの名無しさん
16/04/17 10:58:01.58 fLgoilFs.net
自分でマクロ書く
その気持ち悪さは人に依るので、自分好みを作った方が早そう

556:デフォルトの名無しさん
16/04/17 14:05:41.70 VY8v6naW.net
URLリンク(github.com)

557:デフォルトの名無しさん
16/04/17 20:47:19.04 6uoJvpYY.net
RustでLisp並みにマクロが簡単に作れたら嬉しい。
コンパイル時計算の手段がマクロとunstableなpluginしか無いので特に。

558:デフォルトの名無しさん
16/04/18 05:41:14.17 poa5Wxih.net
ライフタイムが理解できない…みなさんどうやって覚えました?

559:デフォルトの名無しさん
16/04/18 07:21:50.19 DCvRqpmU.net
Rust by Exampleを見て理解した気がする

560:デフォルトの名無しさん
16/04/18 12:47:52.65 3Lsmx9th.net
windowsのrustで、現在時刻を取る方法ってある?
timeもclock_gettimeも使えなさそう。
もしや自分でFFIアクセスで書くしかない?

561:デフォルトの名無しさん
16/04/18 13:00:31.00 RPQ9NKJO.net
lifetime parameterが出てくる箇所それぞれで、何を意味してるかを日本語で書いてみるといいよ。
例えば関数定義時のlifetimeだったら
fn foo<'a>(x: &'a T) -> &'a T { .. }
と3箇所で出てくる。
1. <'a> は、関数fooの中で'aというlifetime parameterを使うよ、というコンパイラに対する宣言
2. x: &'a Tは、引数xは、型Tの参照で、この参照の寿命を'aと呼ぶよ、という一種のバインド('a = lifetime(x)みたいな?)
3. -> &'a Tは、関数の戻り値の寿命は2で示したように、xと同じだよ、という誓約。
関数書く側は誓約3を満たすようにコードを書かなきゃいけないし、
関数呼ぶ側は誓約3が守られていることを期待して関数を使う。

562:デフォルトの名無しさん
16/04/18 13:05:34.90 RPQ9NKJO.net
>>560
crates.ioのtimeはwinapiにも依存してるからおそらくクロスプラットホームかと。

563:556
16/04/18 22:09:34.70 poa5Wxih.net
>>559,559
ありがとうございます!
精進します!

564:デフォルトの名無しさん
16/04/18 22:31:43.44 U/aSeuNM.net
全ての&は実は&'a みたいなのを省略しているってのを意識するといいかも

565:デフォルトの名無しさん
16/04/18 23:57:45.45 IKRsVdN1.net
>>560
この間のrust1.8でstd::time::SystemTime::nowがstableになったのでUnix時刻が欲しいだけならこれでも良さそう。カレンダーとかタイムゾーンまでやるならcrateのtimeだろうけど。

566:デフォルトの名無しさん
16/04/19 08:34:44.12 SvHoNoSF.net
>>562
おぉ、ありがとうー。
まだrust始めたばかりで、cratesまで目がいってなかったわ。
>>565
あざっす。
そっちは使ってみたんだけど、期間計測向き(clockに近いか)だよね。
まさにカレンダー値が欲しかった。

567:デフォルトの名無しさん
16/04/19 13:59:14.59 SvHoNoSF.net
>>562
ありがとうー。
time::now()でバッチリだった。

568:デフォルトの名無しさん
16/04/19 15:31:42.42 ZFbfu4SE.net
Rustは標準ライブラリを必要最小限にする方針なので必ずチェックする
こことかが纏まってていいかも
URLリンク(github.com)

569:デフォルトの名無しさん
16/04/20 11:12:41.87 XZ847tuS.net
'あ'.is_alphabetic() => trueなのな。ウィキペディアのアルファベットの項の意味、らしい。
'。'とか'、'といった音にならない文字が非アルファベットで、他の発音する文字は全部アルファベットなのか。
日本じゃアルファベットと言えば[A-Za-z]だけど、他の(非欧米圏の)国では自国の表音文字もアルファベットと呼ぶのが一般的なのか?

570:デフォルトの名無しさん
16/04/20 15:31:46.87 h2QcRVy8.net
alphabetは単に「表音文字」「基本的な構成要素」って意味だからな
[A-Za-z]はラテン字(Latin alphabet)、あるいはローマ字(Roman alphabet)

571:デフォルトの名無しさん
16/04/20 21:12:18.40 pIEmO+zY.net
アルファベットって言葉も多義的だもんな。有限個の文字集合って意味の時もあるし。

572:デフォルトの名無しさん
16/04/22 11:34:13.71 vkMfBoHo.net
逆に[A-Za-z]だけを判定したいときの関数ってビルトインじゃないの?
それ不便じゃない

573:デフォルトの名無しさん
16/04/22 12:52:30.32 UQ/RDeWl.net
is_alphabeticとstd::ascii::AsciiExt::is_asciiで判別可能。
fn is_abc(c: char) -> bool { c.is_alphabetic() && c.is_ascii() }
もっと簡単にmatch c with { 'a' ... 'z' | 'A' ... 'Z' => { } } とすると応用も効いて楽。

574:デフォルトの名無しさん
16/04/25 21:51:50.82 ZO17CzTB.net
b"mysql"
この「b」って関数(?)どうやって定義するんですか?

575:デフォルトの名無しさん
16/04/25 22:21:04.08 J5O1W2lq.net
それリテラルでしょ。
Rust にユーザー定義リテラルは無かったと思うけど。

576:572
16/04/25 22:27:29.58 ZO17CzTB.net
>>575
ありがとうございます!
無いんですね…残念…

577:デフォルトの名無しさん
16/04/25 22:32:56.21 J5O1W2lq.net
ユーザー定義リテラルは C++ の仕事だね。

578:デフォルトの名無しさん
16/04/25 23:07:48.87 1QTyW0zP.net
Rustならマクロでなんとかすべきかな

579:デフォルトの名無しさん
16/04/26 10:53:24.23 W7yJO6It.net
なんでセミコロンが必要なんですか

580:デフォルトの名無しさん
16/04/26 14:06:23.04 XWVUSc0/.net
>>579 ";"を付けて、この式の値は使わない(unit型)だとプログラマが明示してやると色々便利だから。
";"の有無でその式の値を返す(使う)かどうかをreturnを使わずに指定できる。
もしreturn文が必須ということになると、{}で一連の処理をブロック化して書くときにも"return 値"が必須になって、エラーのため大域脱出したいときに困る。
というのが建前。Algol系列で演算子のユーザー定義ができない文法だから、省略してもいいような箇所、例えばlet文の末尾とかあるとは思う。
元々OCamlで開発されてたせいで、MLの香りが随所に残っているという歴史的経緯と、
構文解析しやすいっていう本音と、先々の拡張に今のコードが耐えうる形にしたいのでは、という推測がある。

581:デフォルトの名無しさん
16/04/26 14:16:05.00 gziRJOQu.net
個人的邪推が強いなw
公式サイトとQAにあるから、その通りに解釈しとけば幸せ

582:デフォルトの名無しさん
16/04/26 20:04:42.44 ORQVNS3H.net
if a > b {a} else {b}; // これより
if a > b then a else b end # これがいい
if a > b then a else b (* これがさらにいい *)

583:デフォルトの名無しさん
16/04/26 22:47:31.69 gziRJOQu.net
どの言語のことか分からんが、それなら三項演算子でいいんじゃね
省略を美徳と見るならthenとかelseはウザイわ
rustの;や{}は別の観点を美徳としてると解釈してる
万人が好む美徳とは思ってないけど

584:デフォルトの名無しさん
16/04/26 23:29:34.25 XWVUSc0/.net
1. Rust
2. Ruby
3. OCaml
Rustは型注釈もML系からもっと輸入すべきだったと思う。
fn foo<T, U>(x: T) -> U より、fn foo: 'T -> 'Uとか fn foo:: T, U => T->Uとかの方が見やすい。
lifetime parameterをどう書くかを考慮する必要はあるけど、
型注釈と変数が一緒になってるより良いと思う。

585:デフォルトの名無しさん
16/04/27 00:10:16.86 HJXKmY0b.net
そこまでML文法好きならML言語のコンパイラ強化を推進してはどうか
俺はC++やJavaライクで今の文法の方が分かりやすいぞ

586:デフォルトの名無しさん
16/04/27 00:58:25.51 KaqBk466.net
Rustの名前の由来は錆ではなくサビキン(錆菌)という噂を聞いた

587:デフォルトの名無しさん
16/04/28 21:19:35.52 nQ0T9aCz.net
rust使ってる人って何作ってるの?
ブラウザ以外で。
golangはWebAPIサーバ コマンドラインアプリ
swiftはiosアプリ
kotlinはandroid
ってすみ分けができてるけどrustの得意分野はどこ?
OS?

588:デフォルトの名無しさん
16/04/28 22:13:38.50 oaLnAHx1.net
RustでOS作ってるしエディタも作ってるのを見つけた
Rustは単純にC++の代替でしょ

589:デフォルトの名無しさん
16/04/28 22:16:41.12 Q0S16tI3.net
コアなライブラリ作るのに適してる
UIやスレッド持つレイヤーまで上がるなら他言語の方が取り回し良いと思う

590:デフォルトの名無しさん
16/04/29 00:02:47.40 NuB51tNS.net
今までc/c++で作っていた分野の、特に並列性のあるプログラムの置き換えに適している、と思う。
ゼロコスト原則と、言語レベルでの並列性サポートが強力、と思う。

591:デフォルトの名無しさん
16/04/29 01:42:14.94 Ew5+6UlM.net
crates.io見る限りだと、フレームワークの更に下の部分作ってる人が多いイメージ

592:デフォルトの名無しさん
16/04/29 06:58:13.04 KOzpN5av.net
>>590
並列性は安全ではあるが性能を考慮してるようには見えないがなぁ
goが並列性を強化してるは理解出来るが、rustは並列でも安全だけど性能は従来同等かそれ以下?
ゼロコストを気にする性能を求めるならマルチスレッドプログラミングは他レイヤーに任せた方が良さそう

593:デフォルトの名無しさん
16/04/29 13:41:09.09 7UhRF0XY.net
MacでCargoを使ってLinux用のバイナリを作成したいのですが、どうやればできますか?

594:デフォルトの名無しさん
16/04/29 15:01:33.90 JX6DmXiZ.net
>>593
Linuxバイナリ(elfフォーマット?)を吐くクロスコンパイルのためのgccを用意し、
rustcのコマンドラインオプションでリンカとしてgcc渡せばいけるらしい
適当にググって見つかった記事
解説記事(英語)
URLリンク(github.com)
日本語記事
URLリンク(qiita.com)
ARMバイナリの説明っぽいけど、上の記事から同様にできそう

595:デフォルトの名無しさん
16/04/29 20:53:52.02 NuB51tNS.net
>>592
他のレイヤーって、どんな選択肢があるの?
goとrustの目標は同じようなものじゃないかな、と思う。
現状の結果も似たようなもんに見えるし。
いや、厳密に比較した訳じゃないけどね…

596:デフォルトの名無しさん
16/04/29 21:40:02.52 6d5pj9gK.net
rustはGCもないしgoよりもっと機械より
リアルタイム性が必要なところではrustに分がありそう

597:591
16/04/29 21:57:03.71 7UhRF0XY.net
>>594
ありがとうございます!試してみます!

598:デフォルトの名無しさん
16/04/30 06:49:30.08 RNVquJmq.net
>>592
まあ、注意して書けばC++と同等のパフォーマンスが出る、というのが実際のところでしょう
Rust特有のオーバーヘッドとかは無いですし

599:デフォルトの名無しさん
16/04/30 08:27:27.63 NXU0px5d.net
>>597
rustup使うとクロスコンパイル用のターゲット追加も簡単にできるらしい

600:デフォルトの名無しさん
16/04/30 14:34:10.03 Q97tfhpp.net
>>591
まだ若い言語だし、学習コストも高目だからかねー。

601:595
16/04/30 14:48:55.99 hZlPwcrG.net
>>599
rustup試してみましたが以下のエラーが出てビルドできませんでした。
$ cargo build --target x86_64-unknown-linux-gnu
Compiling philosopher v0.1.0 (file:///Users/hoge/rust/philosopher)
error: linking with `cc` failed: exit code: 1
note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L"...(長すぎて書き込めないので省略)
note: clang: warning: argument unused during compilation: '-pie'
ld: unknown option: --as-needed
clang: error: linker command failed with exit code 1 (use -v to see invocation)
error: aborting due to previous error

602:デフォルトの名無しさん
16/04/30 20:19:13.61 nmBsk/Cs.net
>>601
unknown optionで落ちてるから、clangのバージョンの問題じゃない?
なんとなく

603:599
16/04/30 23:06:42.19 QU2PhAJ9.net
>>602
一応新しいバージョンを使っているはずなのですが…
$ clang --version
Apple LLVM version 7.3.0 (clang-703.0.29)
ちなみにbrewでgccをインストールしてcargoのリンカをそれに設定してもダメでした…

604:デフォルトの名無しさん
16/05/01 00:09:25.06 C8GC+yTl.net
JavaですらC++の二十倍速いのに同等ってことは無いだろう。

605:デフォルトの名無しさん
16/05/01 14:02:22.00 vpP9ivFq.net
VMとネイティブだよ?
C++のライブラリのどっかの出来が悪くて遅いみたいな話かな
「Java 20倍 C++」とかで検索するとJavaがCの10~20倍遅いって記述しか見当たらん

606:デフォルトの名無しさん
16/05/01 14:07:31.13 g2gZsLck.net
多くのJava VMはC++で出来てるんだからC++より速くはならんだろ
と思ったが、スレッドプールを事前に用意&スレッドオブジェクト解放をGCに任せて遅延させるなどで、それらを計測時間に含めないなら速く見えるか
その辺加味してもrustはどうだろうね
ライフサイクルに合わせてスレッドオブジェクト生成、解放してるなら高々同等になりそうなものだが

607:デフォルトの名無しさん
16/05/01 14:17:07.11 vpP9ivFq.net
LLVMでネイティブコンパイルされるんだから、言語よりライブラリの問題だな
それこそRustは低レベルプログラミングが出来る訳だし

608:デフォルトの名無しさん
16/05/01 17:13:53.64 tKi6j9CT.net
匿名通信(Tor、i2p等)ができるファイル共有ソフトBitComet(ビットコメット)みたいな、
BitTorrentがオープンソースで開発されています
言語は何でも大丈夫だそうなので、P2P書きたい!って人居ませんか?
Covenantの作者(Lyrise)がそういう人と話したいそうなので、よろしければツイートお願いします
URLリンク(twitter.com)
ちなみにオイラはCovenantの完成が待ち遠しいプログラミングできないアスペルガーw

The Covenant Project
概要
Covenantは、純粋P2Pのファイル共有ソフトです
目的
インターネットにおける権力による抑圧を排除することが最終的な目標です。 そのためにCovenantでは、中央に依存しない、高効率で検索能力の高いファイル共有の機能をユーザーに提供します
特徴
Covenant = Bittorrent + Abstract Network + DHT + (Search = WoT + PoW)
接続は抽象化されているので、I2P, Tor, TCP, Proxy, その他を利用可能です
DHTにはKademlia + コネクションプールを使用します
UPnPによってポートを解放することができますが、Port0でも利用可能です(接続数は少なくなります)
検索リクエスト、アップロード、ダウンロードなどのすべての通信はDHT的に分散され、特定のサーバーに依存しません
1p

609:デフォルトの名無しさん
16/05/01 19:42:13.84 vpP9ivFq.net
その人を困らせようと思っているのでない限り、>>608の行動は間違っている

610:デフォルトの名無しさん
16/05/01 19:53:36.50 5f/j1Sd0.net
まあ悪意でやってるんだろう。

611:デフォルトの名無しさん
16/05/01 20:15:56.60 jOtWeASF.net
D言語スレにもあったぞこれ

612:デフォルトの名無しさん
16/05/01 21:08:10.75 az/VnHmm.net
Rustはこれからまだ速くなるってブログで言ってたな
正直構文は好きになれないけどそういうのと流行る言語とは別問題だからね
Rustは流行りそうな言語だと思う

613:デフォルトの名無しさん
16/05/01 22:34:37.32 VrD9Va1p.net
goくらい学習コストが低くなってくれればなぁ。
優秀な学習サイトの登場がまたれる

614:デフォルトの名無しさん
16/05/02 01:07:08.17 s3SZ5Nw7.net
>>613
英語サイトなら、Rust By Exampleが有名かと

615:デフォルトの名無しさん
16/05/02 02:01:04.83 l0p8tzKw.net
所有権と参照のlifetimeという概念がある限り学習コストは低くならないと思う
型システムも代数的データ型と型クラスというmlライクなものだし
それを取っ払ったらRustじゃないから難しいところ

616:デフォルトの名無しさん
16/05/02 09:48:33.22 kvSwD3Xt.net
一通りRustの本読んで、何か適当な物を作ってみて、けど未だにコンパイラにmay not live long enoughとか怒られるコードを書いてます。
このエラーを解決するのにunsafeを使うべきか、設計を変えるべきか、判断に悩むこと多数。

617:デフォルトの名無しさん
16/05/02 10:27:45.33 LI15fDaU.net
unsafeでどう解決するんだ

618:デフォルトの名無しさん
16/05/02 10:41:04.80 J8a4Z9kC.net
unsafeは分かってる人だけが使うべき
cloneとかmem::swapとか使ってみたら

619:デフォルトの名無しさん
16/05/02 11:03:12.78 JUQEx8eE.net
unsafeはポインタの参照外しとunsafe関数を呼べるだけだからコンパイル通らないものがコンパイル通ったりするわけじゃないぞ

620:デフォルトの名無しさん
16/05/02 13:22:45.55 bzpdhBbq.net
unsafeでコンパイルは通るけど、不正アクセスで落ちうるプログラムじゃないの?
一応、コンパイルは通るようになりそうだけど安全じゃなさそう
折角コンパイラが指摘してくれてるんだから設計を直すべきだろうよ

621:デフォルトの名無しさん
16/05/02 13:48:16.52 kvSwD3Xt.net
通せるんだよなあ。URLリンク(play.rust-lang.org)
Vecとかコンテナみたいな型を作るときはRaw Pointerじゃないと使い勝手が悪くなることがしばしばあって、
自分の作った型はどうだろうか、unsafe使った方が綺麗に書けるんじゃないかとmay not live long enoughエラーに出くわしたときに考えちゃう。

622:デフォルトの名無しさん
16/05/02 14:00:04.69 xGYQ4Typ.net
unsafe関数呼んどるやん?

623:デフォルトの名無しさん
16/05/02 14:05:04.32 xGYQ4Typ.net
なるべくならRustが提供しているポインタ型を使って解決したほうがいいかと

624:デフォルトの名無しさん
16/05/02 16:06:39.61 kvSwD3Xt.net
>>622 すまん、>>621はコンパイル通らないものもunsafe使えば通るぞ、という>>617>>619へのレスだ。

625:デフォルトの名無しさん
16/05/02 17:37:54.86 J8a4Z9kC.net
unsafeすればborrow checker先生も黙ってくれるからな
borrow checkerが何をしてるか理解してる人だけがunsafe使うべきだとは思うけど

626:デフォルトの名無しさん
16/05/02 18:33:23.74 51E+NX7H.net
unsafe 使うくらいなら c/c++ 使った方がいいと思うの。

627:デフォルトの名無しさん
16/05/02 19:05:17.35 tVjMjJs/.net
ああ、そりゃデータ型書くときはunsafe使わないとな
Borrow checkerを黙らせる為に使うのは間違いで、メモリを手動管理するために使うものだ
>>626
unsafe部分だけちゃんとテストしておけば
それをビルディングブロックに安全なプログラムを書ける

628:デフォルトの名無しさん
16/05/02 20:08:28.03 bzpdhBbq.net
Cの関数と連携する場合はunsafeは使わないとにっちもさっちもいかん時がある
流石にプリミティブ型だけじゃゼロコスト(笑)なデータ取り扱いになるぜよ
それ以外のPure Rustで使わないと組めないケースあるっけ?

629:デフォルトの名無しさん
16/05/03 01:16:03.38 /NLSYk13.net
swap

630:デフォルトの名無しさん
16/05/03 18:25:56.19 IH0qUzZ3.net
rustupとmultirust、どっち使えばいいですか?

631:デフォルトの名無しさん
16/05/03 20:59:04.01 ZIxVRgvx.net
multirustの後継がrustupだし今から使うならrustupで良いと思う
機能面でもクロスコンパイル対応とかあって優位だし

632:デフォルトの名無しさん
16/05/03 21:24:11.15 S8jXYqZo.net
後継っつーか、公式が改めてrustup作ったのか
multirust使ってたけど乗り換えるか、、、

633:628
16/05/03 23:23:53.50 IH0qUzZ3.net
>>631, 630
ありがとうございます!rustup使います!

634:デフォルトの名無しさん
16/05/03 23:46:51.91 IH0qUzZ3.net
URLリンク(github.com)
これって何者ですか?
公式のrustupとは違うみたいですが…

635:デフォルトの名無しさん
16/05/04 03:05:09.99 4aQWfg60.net
cargo install ドメインの名前解決に失敗して死ぬな

636:デフォルトの名無しさん
16/05/04 08:29:40.07 FvummhsT.net
>>634
公式のrustupの後継
シェルスクリプトをRustで書き直したもの

637:632
16/05/04 20:45:56.67 bY+rnU0s.net
>>636
そうなんですね!ありがとうございます!

638:デフォルトの名無しさん
16/05/08 17:53:19.98 NKVAXp+L.net
カニ本だそうで。
URLリンク(shop.oreilly.com)

639:デフォルトの名無しさん
16/05/09 17:24:59.65 fW/7hyIs.net
rubyベストプラクティスもカニじゃなかった?

640:デフォルトの名無しさん
16/05/15 19:58:09.87 K33PvDY8.net
今年中に2.0出るのかな?

641:デフォルトの名無しさん
16/05/16 00:59:11.32 hYcI5Sh2.net
Rust、SemVerに準拠してるし、後方互換性をがっつり崩すような変更がない限り、1.x.yのままなんじゃない?

642:デフォルトの名無しさん
16/05/16 02:54:51.79 TWeJeTmL.net
今日で1周年か

643:デフォルトの名無しさん
16/05/16 13:25:33.90 khc6QXJf.net
Rustってオーバーロードないの?

644:デフォルトの名無しさん
16/05/16 13:40:14.34 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
16/05/16 14:29:24.99 khc6QXJf.net
fn push(a: u8)
fn push(a: u8, u32)
みたいにやりたかったです

646:デフォルトの名無しさん
16/05/16 14:45:17.97 4v1q9uFB.net
関数に関しては無い。型推論が面倒になるからだと思う。
メソッドに関してはある。traitとstruct(とenum)のimplで同名のメソッドを定義したらstruct優先。
2つ以上の異なるtraitが同名のメソッドを定義してて、2つともimplした型の場合はUFCで書かないとエラーになる。

647:デフォルトの名無しさん
16/05/16 15:21:22.82 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:デフォルトの名無しさん
16/05/18 07:21:57.85 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:デフォルトの名無しさん
16/05/18 12:53:24.93 83U9cWax.net
>>648
変態!

650:デフォルトの名無しさん
16/05/18 15:50:42.49 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:デフォルトの名無しさん
16/05/18 16:36:29.40 g+vOVBq1.net
>>648
それオーバーロードでもなんでもなくね?

652:デフォルトの名無しさん
16/05/18 20:51:59.07 pvzqVuHQ.net
>>651
でも同じもの表現してない?

653:デフォルトの名無しさん
16/05/19 01:39:05.88 yE0vr9/W.net
何かこのイカれたブログを思い出した。zero-overheadでheterogeneousなリストを作る話。
URLリンク(nercury.github.io)

654:デフォルトの名無しさん
16/05/30 22:31:42.67 FMy0/Tvb.net
2番め以降の変数の型が違うオーバーロード書けないのね…

655:デフォルトの名無しさん
16/06/01 22:24:24.45 JHsrsE//.net
オーバーロードが追加されることって絶対ないのかな?
めちゃくちゃRust使いたいんだけどこれがないせいで使えない。

656:デフォルトの名無しさん
16/06/01 22:49:23.73 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:デフォルトの名無しさん
16/06/01 23:39:18.93 OaTzWyfO.net
>>656 引数の数が違ったら面倒だけど、この程度だったらtraitを多相にすればいいよ
URLリンク(play.rust-lang.org)
多相と同じ表現力のassociated typeでもいける。
URLリンク(play.rust-lang.org)

658:654
16/06/02 10:39:12.76 LfrYVCEY.net
>>657
ありがとうございます!
これでいけるか試してみます!

659:デフォルトの名無しさん
16/06/13 20:34:44.12 9cIQ9Ton.net
rustのsubredditにゲームの方のRustの投稿がちょくちょく来てたがホッケー選手まで出てくるとは思わなんだ。


最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch