株式会社はてなに入社しました
Option<Self> を返す trait を実装したかったがRustコンパイラ君が賢すぎただけの日記
trait OptionalConstructor { fn optional_new() -> Option<Self>; // ^^^^^^^^^^^^ doesn't have a size known at compile-time // Option<Self> where Self: Sized; }
Compiling playground v0.0.1 (/playground)
error[E0277]: the size for values of type `Self` cannot be known at compilation time
--> src/main.rs:2:26
|
2 | fn optional_new() -> Option<Self>;
| ^^^^^^^^^^^^ doesn't have a size known at compile-time
|
help: consider further restricting `Self`
|
2 | fn optional_new() -> Option<Self> where Self: Sized;
| ^^^^^^^^^^^^^^^^^
記事にしようと思ったけどコンパイラ君が丁寧に書いてくれたので特に書くことなかった...、Self が lifetime parameterを取る場合もこのように書ける
trait OptionalConstructor { fn optional_new() -> Option<Self> where Self: Sized ; } struct S<'a> { s: &'a str } impl<'a> OptionalConstructor for S<'a>{ fn optional_new() -> Option<Self> { None } } fn main() {}
ちなみに自分でOptionもどきを実装しても同じような事を言われる、Rustコンパイラ君賢すぎる...
Rust: Fully Qualified Syntax について簡単なメモ
2021/3/31 更新
高度なトレイト - The Rust Programming Language 日本語版
を知らなかった、これを読んでください
経緯
数時間前に「僕はチンパンジーだからでパーサコンビネータ使うの難しいな〜、LR(1)パーサを手書きするのが一番早いですよ〜」と同僚と会話をしていた
id:Krouton です。フルスクラッチでやる縛りを設けてないので今回実装するパーサはパーサジェネレータを使おうかなと考えていました。チンパンジーだから分からん、と逃げていても一生進まないので nom の使い方を調べていたら友人のエントリにヒットして読んでたらFully Qualified Syntaxという知らない概念に出会いました。
該当エントリ内に書いてあるとおり公式を読めば*1終わりっちゃ終わりなのですが、ググって日本語の記事がないのも寂しいのでパーサのモチベが無くならない程度に書きます。
何が嬉しいのか
impl した trait のメソッド名が他の impl と被った時にどの trait のメソッドを呼び出すのか一意に定める事ができます。
続きを読むまた serde-rs/json にPR投げてmergeされたので Value::pointer / Iterator::try_fold のおすすめメソッド2選についてメモ
また？
前回のです serde-rs/json にPR投げてmergeされた - KRAZY感情STYLE
今回のPR
Value::pointer とは
pointer を使わずに obj[x][y] を取ってくる例を考えてみます
use serde_json::{Value, json}; let obj = json!({"x": {"y": 1}}); let value = if let Value::Object(obj) = obj { let x = obj.get("x"); if let Some(Value::Object(child_obj)) = x { child_obj.get("y") } else { None } } else { None }; assert_eq!(value, Some(json!(1)));
こんな感じにわざわざ enum のvariantを剥がす処理を何度も書きます、地獄ですね。Value::pointer を使うと
use serde_json::{Value, json}; let obj = json!({"x": {"y": 1}}); assert_eq!(obj.pointer("/x/y"), Some(json!(1)));
このようにネストしたオブジェクトでもシュッと取ってこれます。前回PRを投げるきっかけになったRFC*1で記述されているpathと同じ記法*2で取ってくることができます。便利。 このメソッドに気づかずに自作しようと思ったのですが、上手く実装できなかったので同様のRFCを実装しているリポジトリ*3 を見たらこのValue::pointerを使っていました、偉い。
Value::pointer の実装を読んだ
自作できなかったのは心に来たので実装を読みました。最初実装に失敗した時は Iterator::fold を使おうとして失敗してたのですがforループで実装されていたので「ア〜〜〜〜」となりました。でもfold でもできそうな気がしたのでやったらできました、高階関数？関数型？に圧倒的感謝！ しかし、fold だと /a/b/c/d/e/f/g/h/i みたいなケースで /a がなくても /b/c などを見に行きます、これが1万個のネストしたキーとかだったら辛いですね。 そこでIterator::try_fold を使うといい感じにearly-returnしてくれるっぽいです。
総括
ドキュメントにこんな乱文よりいい感じの説明があるので読みましょう
serde-rs/json にPR投げてmergeされた
serde-rs/jsonって何
Rustで言うJSONを扱うライブラリの中で一番勢いあるやつ
実際のPR
一発mergeされて嬉しかった github.com
経緯
- RFC 6902 - JavaScript Object Notation (JSON) Patch を読んで実装したくなる
- 中のMapがEntryをサポートしてることに気づく
- 標準ライブラリでは
Entry::and_modifyがサポートされてるがserde-rs/jsonでは無い事に気づく - いきなりPR投げてmergeされる
- RFC6902の実装がめんどくなる <- ｲﾏｺｺ!!
所感
OSSにPR投げる時ってギョームで「こういうutil関数あったら便利じゃん！」って言って気軽に投げるノリで投げて良さそう、てかギョームじゃん
VSCode commit欄 日本語入力できない 解決方法 2021年2月 【今すぐアプデ】
追記: 2021/2/5 15:20
今朝アップデートが来て、version 1.53.0 にてこのバグが修正されました。下に示した部分からアップデートを行うと良さそうです。
どんな症状？
このようにCJK Characters*1を打つと固まる
このIssueからGIFを拝借してきました
解決方法
Insiders 向けの Download Visual Studio Code Insiders VSCodeでは治ってるっぽいのでそれを使う。
It will become available in VS Code Stable at the beginning of February.
と書かれているので2月頭まで待ちましょう。
https://github.com/microsoft/vscode/issues/112621#issuecomment-759538081
*1: In internationalization, CJK characters is a collective term for the Chinese, Japanese, and Korean languages, all of which include Chinese characters and derivatives in their writing systems, sometimes paired with other scripts. らしいです知らなかった