blockの投稿 - Crieit

Rustのconst genericsの引数によって型の定義を変える(っぽいこと)

2023-05-11T12:46:43+09:00

若干釣りっぽいタイトルです

やりたいこと

Vectorのような要素型と次元数を受け取るVector型があったとして

// x, yを持つ
let v2 = Vector:: { x: 1.1, y: 2.2 };
// x, y, zを持つ
let v3 = Vector:: {
    x: 1.1,
    y: 2.2,
    z: 3.3,
};
// x, y, z, wを持つ
let v4 = Vector:: {
    x: 1.1,
    y: 2.2,
    z: 3.3,
    w: 3.3,
};
// 要素数5の配列を持つ
let v5 = Vector:: {
    elements: [1.1, 2.2, 3.3, 4.4, 5.5],
};

のようにVector::はx, yを持つ、
Vector::はx, y, zを持つ、
Vector::はx, y, z, wを持つ、
D >= 5となるVector::は配列elements: [T; D]を持つ、
というような実装にしたい。

実装

実装全文。
重要なのはVectorTypeHolderとVectorTypeResolverです。

use std::marker::PhantomData;

pub struct Vector2 {
    pub x: T,
    pub y: T,
}
pub struct Vector3 {
    pub x: T,
    pub y: T,
    pub z: T,
    pub w: T,
}
pub struct Vector4 {
    pub x: T,
    pub y: T,
    pub w: T,
}
pub struct ArrayWrapper {
    elements: [T; D],
}

pub trait VectorTypeHolder {
    type Vector;
}
pub struct VectorTypeResolver {
    _marker: PhantomData [T; D]>,
}

impl VectorTypeHolder for VectorTypeResolver {
    type Vector = Vector2;
}
impl VectorTypeHolder for VectorTypeResolver {
    type Vector = Vector3;
}
impl VectorTypeHolder for VectorTypeResolver {
    type Vector = Vector4;
}
impl VectorTypeHolder for VectorTypeResolver {
    type Vector = ArrayWrapper;
}

pub type Vector =  as VectorTypeHolder>::Vector;

解説

Vector2, Vector3, Vector4と配列をラップしたArrayWrapperはそれぞれ2~4次元の時に使用する型と5次元以上のときに使用する型です。
下記のVectorTypeHolderは要素型と次元数をgenerics引数として受けとりVectorという関連型を持つtraitです。

pub trait VectorTypeHolder {
    type Vector;
}

ここからVectorTypeHolderと型を取り出すためにVectorTypeResolverという型を定義し、VectorTypeResolverに対してVectorTypeHolderを実装します。

pub struct VectorTypeResolver {
    _marker: PhantomData [T; D]>,
}

VectorTypeResolverが持つ_markerはジェネリクス引数を消費するだけのものなので無視して大丈夫です。気になる方はPhantomDataを調べてください。
traitを実装するときconst genericsの値を指定して実装することができるため以下のようにDが2のときのみの実装を行うことができます。

impl VectorTypeHolder for VectorTypeResolver {
    type Vector = Vector2;
}

同様にVectorTypeHolder::VectorがDが3,4のときにVector3, Vector4を、Dが5のときはArrayWrapperとなるように実装します。

impl VectorTypeHolder for VectorTypeResolver {
    type Vector = Vector2;
}
impl VectorTypeHolder for VectorTypeResolver {
    type Vector = Vector3;
}
impl VectorTypeHolder for VectorTypeResolver {
    type Vector = Vector4;
}
impl VectorTypeHolder for VectorTypeResolver {
    type Vector = ArrayWrapper;
}

最後にVectorとして型を取得できるように

pub type Vector =  as VectorTypeHolder>::Vector;

と型エイリアスを定義します。

ここまででで最初のやりたいことが実現できるようになりました。

Dが5より大きい場合

実はこの実装だとD > 5の場合にコンパイルエラーになります。
それを解消するには

impl VectorTypeHolder for VectorTypeResolver {
    type Vector = ArrayWrapper;
}
impl VectorTypeHolder for VectorTypeResolver {
    type Vector = ArrayWrapper;
}
impl VectorTypeHolder for VectorTypeResolver {
    type Vector = ArrayWrapper;
}
//
// 以下D >= 9の実装が続く
//

というように使用する分VectorTypeHolderの実装をする必要があります。
seq_macroクレートのseqマクロを使用すると以下のようにまとめて実装できます。

// use seq_macro::seq;
seq!(N in 5..256 {
    impl VectorTypeHolder for VectorTypeResolver {
        type Vector = ArrayWrapper;
    }
});

黒い画面に文字を出すことがゲーム開発の何に使えるのか(役立つのか)

2021-02-08T15:02:37+09:00

この記事と全く同じ内容を自分のブログにも投稿しています。

前置き

「ゲーム作りたいからプログラミング勉強しよう」という動機でプログラミングを始めたけれど
「ずっと黒い画面に文字出してばっかりでつまらん。これゲーム開発の何の役に立つんだ」ってなってる人向けです。
最初からゲームエンジンを使っている人は対象外。

黒い画面に文字を出すのはHello Worldとかのことです。
C++ならこういうコード。

#include 

int main()
{
  std::cout << "Hello World" << std::endl;
}

上のコードを実行すると黒い画面にHello Worldと出力されます。

まあこんなことができたところでこんなんゲーム関係ないってなりますよね。
それが何に使えて何の役に立つのかって話です。

上のコードだと「黒い画面」に「Hello Worldという文字列を出力する」という処理になるわけですが、
出力先を「黒い画面」から「ファイル」に変更すれば、「ファイル」に「Hello Worldという文字列を出力する」という処理になりますし、
更に出力内容を「ゲームを復元するのに必要なデータ」にすれば「ファイル」に「ゲームを復元するのに必要なデータ出力する」という処理となり、つまりはセーブ処理になります。

デバッグに役立つ

ゲームの開発中に「この処理にちゃんと到達しているのか」「今のプレイヤーのHPはいくつか」などを確認したいことがあります。そのときに文字列を出力する方法を知っていれば知りたい情報を画面に出すことができます。
「プレイヤーのHPくらいゲーム画面に表示すればいいでしょ」ってなるかも知れませんが、ゲーム画面に表示する機能の実装前での確認や、画面に表示しているHPと実際のHPが本当に同じかなどのチェックに使えます。

「printfデバッグ」でググるといろんな情報が出てきます。否定的な意見も多いと思いますが結構馬鹿にできないです。

あとがき

例が少ないとは思いますがこんなことに役立つよって話でした。
自分の経験だけで言えば黒い画面に向かっていた時間はほぼ全部ゲーム開発に活きています。

Visual Studio Code内でUnityEngine.UIなどへの参照ができない(インテリジェンスが働かない)場合の修正方法

2020-07-28T20:55:49+09:00

Unity 2019.3.10f1で確認しています。
2019.4以降では解決しているかもしれません。

発生する現象

Unity2019でプロジェクトを作成するとUnityではエラーが発生していないにも関わらず、Visual Studio Code内でUsing UnityEngine.UIなどへ参照ができない現象が発生します。

↑画像のようにUIの下に赤線が表示される

UnityEngin.UIにあるImageも正常に参照できておらずimage.まで打っても候補が表示されない。

表示されるエラー内容

Using directive is unnecessary. [Assembly-CSharp]csharp(IDE0005)
Unnecessary using directive. [Assembly-CSharp]csharp(CS8019)
The type or namespace name 'UI' does not exist in the namespace 'UnityEngine' (are you missing an assembly reference?) [Assembly-CSharp]csharp(CS0234)

解決方法

Package ManagerからVisual Studio Code Editorのパッケージのバージョンを上げる
メニューのWindowからPackage Managerを開きVisual Studio Code Editorを選択します。

初期は1.1.4になっているはずなので、1.2.0を選び右下のUpdate to 1.2.0ボタンを押して更新します。

更新後はVisual Studio Codeを再起動してください。

再起動後も参照ができないままのときは、少し時間をおいてからVisual Studio Codeを再起動してみてください。

依存先のcrateのfeatureを指定する方法

2019-11-01T20:31:16+09:00

依存先のcrateのfeatureを有効にする方法

結論

cargo build --features="grpcio/openssl"でgrpcioのopensslを有効にできる。

Cargo.tomlが下記のようになっていれば
cargo build --features="openssl"で同じことができる。

[features]
openssl = ["grpcio/openssl"]

[dependencies]
grpcio = "0.4.4"

やりたかったこと

grpcioというcrateでfeatueres = ["openssl"] を指定してやることができる。

cargo buildのようにfeaturesを指定しなかったときはgrpcioのfeaturesを有効にしたくない。
cargo build --features=opensslなどしたときだけgrpcioのopensslを有効にしたい。

ドキュメントに書いてあった

https://doc.rust-lang.org/cargo/reference/manifest.html#the-features-section

以下引用

# Features can be used to reexport features of other packages. The `session`
# feature of package `awesome` will ensure that the `session` feature of the
# package `cookie` is also enabled.
session = ["cookie/session"]

ここに気づかずに数時間無駄にした。

Iris無線化ログ

2019-09-03T14:51:14+09:00

Iris無線化ログ

Irisビルドログ(完成)
↑前回の記事

何をしたのか

前回までに作ったIrisをBLE Micro Proを使用して無線化。

使用したもの

完成済みIris
BLE Micro Pro ×2
CR1632基板キット (2個入りなので1個で良い。結果的に2つ買うことになりましたが)
スプリングピンヘッダ (普通のピンヘッダでもよいが圧倒的にスプリングピンヘッダがおすすめ)
はんだ付けセット
導線的なやつ
絶縁できそうなテープ

制作過程

ファームウェア作成

sekigon-gonnoc/qmk_firmware
こちらにBLE Micro Proに対応したキーボードのファームウェアがいくつかありますが、Irisのものはなかったので自分で作る必要がありました。

sekigon-gonnoc/BLE-Micro-Proに

qmk_firmware/keyboard/ble_micro_testが一体型、qmk_firmware/keyboard/ergo42_ble, helix_bleなどが左右分離型のサンプルとなっています。

とあるのでqmk_firmware/keyboard/ergo42_bleやqmk_firmware/keyboard/helix_bleを参考にIris用のファームウェアを作成しました。
作成したと言っても参考元をすべてコピーしてきて必要そうな箇所(ファイル名とかキーボードの名前とか)を書き換えただけです。

電池基板組み立て

sekigon-gonnoc/BLE-Micro-Pro/CoinCellHolder
こちらの注意点と他の方の組み立てログを見ながら電池基盤を組立てました。
電池基盤の裏面はテープを貼って絶縁しています。

電池基盤をBLE Micro Proに接続する

導線で直接つなげてはんだ付けしました。

ファームウェア書き込み

作成したファームウェアを書き込みます。
リセットスイッチを押しながらUSBを刺さなかったせいで、makeは成功するけど書き込みに失敗するということがありました。

左右のキーボードを接続する

左右分割キーボードの場合はPCとキーボードよりも先に左右のキーボードを接続する必要があります。多分。
何故か全然つながらなくて苦労しました。
両方ともシリアル接続してdel 0してadvしたら接続できたので、おそらく組立前にPCとの接続テストをやっていたせいでid=0にPCが登録されていたのが原因だったのでしょう。

シリアル接続に使用したコマンドメモ
ls -l /dev/tty.*
sudo cu -l /dev/tty.XXXX

PCと接続する

左右のキーボードの接続が終わればようやくPCとの接続です。
restart_advertising_wo_whitelist()を呼び出すキー(AD_WO_Lが割り当てられたキー)を押してPC側から接続するキーボードを選べば接続できるはずです。

完成までにやらかしたこと

最初に買った電池基盤は付属のスイッチがやたらと固くて、力を込めてOFFにしようとしたら折れました。
もう一個買いました。
折るくらいなら先に問い合わせたほうが良かった。
他の電池基盤を組立てている最中に表面実装のダイオードをふっ飛ばしてなくしてしまったので、結果的に2セット買ったのが役に立ちました。

右手のキーボードのBLE Micro Proを裏表逆につけていました。
スプリングピンヘッダを使用していたのではんだ付けをしておらず助かりました。
そうでなければ(精神的に)死んでました。

使用風景

自分の席から離れてるときの作業環境。コードレスになってスッキリ。 pic.twitter.com/A5mWBHJPkI
— block (@block_cube_lib) September 2, 2019

最後に

無線キーボード最高!!

現在の設定。
BLE_NUS_MIN_INTERVAL = 30
BLE_NUS_MAX_INTERVAL = 50
BLE_HID_MAX_INTERVAL = 30
BLE_HID_SLAVE_LATENCY = 4
まだ偶にキーが連続で入力されてしまうことがあるので設定を変えるかもしれません。

この記事は無線化したIris(Iris BLE)で書かれました。

Irisビルドログ(完成)

2019-07-05T17:07:59+09:00

Irisビルドログその2

前回の続きです
前回はキースイッチをはめてはんだ付けする前まで進みました。

前回は4月23日。
今回は5月29日から。
一ヶ月以上空いているのは会社の部活で組み立てしているからです。

無線化しました → Iris無線化ログ

組み立て過程

5月29日

キースイッチのはんだ付けをして

キースイッチのはんだ付けできた pic.twitter.com/Xoyr1HdYq0
— block (@block_cube_lib) May 29, 2019

Pro Microを取り付ける。
今スルーピンヘッダを買ったのでピンヘッダとPro Microははんだ付けしたけれど、ピンヘッダとPCBははんだ付けしていない。

プロマイクロつけ終わった pic.twitter.com/jkfoiJ4zKu
— block (@block_cube_lib) May 29, 2019

ここまで来て後はキーキャップとケースつけたら終わり！かと思いきやスペーサーを買い忘れてケースを着けられない。

5月30日

スペーサーを買いに行こうとした。
財布忘れた。

とりあえずキーキャップを着けて作った気になる。

今日は財布を忘れてスペーサーを買えませんでしたが、とりあえずキーキャップつけました。赤買ったんだけど思ってたよりピンク寄り pic.twitter.com/LJk5Od4z4E
— block (@block_cube_lib) May 30, 2019

そのまま動作確認をする。
どうやらPキーが効かない。

5月31日

Pキーの他に右シフトも効かなかったのではんだ付けした。
スペーサーも買ったけどネジの経を間違えて買ってしまったため入らなかった。

6月10日

注文したスペーサーとネジが届いたのでケースを取り付けました。

完成！！！！

完成したものがこちらです pic.twitter.com/h0mh9QF42d
— block (@block_cube_lib) June 10, 2019

Pro Microが外れやすいのでティッシュを挟んでいる。

ちなみに、Pro Microとピンヘッダははんだ付けしてあるけどPCBとピンヘッダはしてないのでPro Microがとても外れやすいのでティッシュ挟んで誤魔化してます pic.twitter.com/9475z5h4Pg
— block (@block_cube_lib) June 10, 2019

日を置いたり足りないものがあったりしたせいで、組み立て開始から完成まで50日近くかかりました。
長かった

反省点

必要なものは事前にちゃんと確認して揃えましょう
買う前にそのパーツで良いのかちゃんと確認しましょう

完成してから

しばらくは使いながらキー設定をいじるのを繰り返していました。
キー設定すごい悩みますね。

格子配列に慣れていないせいで使いづらく感じることもありましたがだんだん慣れてきました。
楽しい。

今後

作ったIrisを無線化しようと考えています。

この記事は組み立てたIrisで書きました。

DiscordからSplatoon2の情報を取得できるbotを作った

2019-05-23T17:55:31+09:00

DiscordからSplatoon2の情報を取得できるbotを作った

機能追加(要望があれば)
Python 3.7対応

リンク

botをサーバーに登録するためのリンク

Irisビルドログ(途中)

2019-04-24T13:59:41+09:00

Irisビルドログ

初めての自作キーボードのビルドログ

今日はついに自分の自作キーボードを作り始めるよ！
— block (@block_cube_lib) 2019年4月23日

キーボードケースをベニヤとアクリルの2種類切り出してもらっていたので直前まで悩んでいた。
最終的にはアクリルに決めた。

フレームをベニヤとアクリルで悩んでる pic.twitter.com/NYwDtYWMkY
— block (@block_cube_lib) 2019年4月23日

ダイオードを折り曲げてPCBに挿していく。

ダイオード刺し終わった pic.twitter.com/135vXzbmea
— block (@block_cube_lib) 2019年4月23日

PCBにダイオードをはんだ付けする。

ダイオードのはんだ付け終わり！汚いww pic.twitter.com/CbgvzI9JE9
— block (@block_cube_lib) 2019年4月23日

リセットスイッチとTRRSケーブル挿す部分を取り付ける。

ケーブルつなぐやつ(名前忘れた)とリセットスイッチの取り付け完了！ pic.twitter.com/COFCx7q3Ot
— block (@block_cube_lib) 2019年4月23日

LEDをつけるなら必要になる抵抗をはんだ付けする。
実はまだLEDをつけるかどうかを決めていない。

オプションの抵抗 pic.twitter.com/xTPwL0WWTN
— block (@block_cube_lib) 2019年4月23日

ダイオードの余った線をニッパーで切っていく。

ダイオードの余った部分切った pic.twitter.com/72GdtiUacu
— block (@block_cube_lib) 2019年4月23日

ケースとスイッチを取り付ける。裏側はまだ取り付けていない。
軸は静音赤軸(ピンク軸)。

ケースとスイッチつけた！ pic.twitter.com/eVBIRC9bJC
— block (@block_cube_lib) 2019年4月23日

初日の作業はここまで

ここまでの感想とか

はんだ付け慣れると楽しい
はんだごての温度は高めの方がやりやすい
PCBの余った部分をニッパーで切るのは楽しくない
Twitterで進捗を上げると色んな人が反応してくれて楽しい
換気はちゃんとしないと喉とか鼻とかしんどい
質問できる人が近くにいるととても助かる

T: Fromのときimpl From> for Wrapperができない

2019-03-28T16:09:17+09:00

T: Fromのときimpl From> for Wrapperができない

これができない。

struct Wrapper(T);

impl From> for Wrapper
where
    T: From,
{
    fn from(p: Wrapper) -> Wrapper {
        Wrapper(p.0.into())
    }
}

fn main() {
    let a = Wrapper::(42);
    let _: Wrapper = a.into();
}

エラー内容

   Compiling playground v0.0.1 (/playground)
error[E0119]: conflicting implementations of trait `std::convert::From>` for type `Wrapper<_>`:
  --> src/main.rs:3:1
   |
3  | / impl From> for Wrapper
4  | | where
5  | |     T: From,
6  | | {
...  |
9  | |     }
10 | | }
   | |_^
   |
   = note: conflicting implementation in crate `core`:
           - impl std::convert::From for T;

error: aborting due to previous error

For more information about this error, try `rustc --explain E0119`.
error: Could not compile `playground`.

To learn more, run the command again with --verbose.

実行できるコード

おそらく同じ型同士のFrom(impl From for T)と衝突している。

ユーザー定義型 * Tは実装できるがT * ユーザー定義型は実装できない

2018-12-27T18:27:22+09:00

ユーザー定義型 * Tは実装できるがT * ユーザー定義型は実装できない

例

任意の型の要素を持つVector1を定義してT * Tが可能であればVector1 * TとT * Vector1ができるようにしたいとします。

struct Vector1 {
    x: T
}
// T * Tが可能であれば
// Vector1 * Tと
// T * Vector1を可能にしたい

しかしVector1 * Tは実装できるのですがT * Vector1は実装できません。

とりあえず実装してみる

use std::ops;

struct Vector1 {
    x: T,
}

impl ops::Mul for Vector1
where
    T: ops::Mul,
{
    type Output = Vector1;

    fn mul(self, rhs: T) -> Vector1 {
        Vector1 { x: self.x * rhs }
    }
}

impl ops::Mul> for T
where
    T: ops::Mul,
{
    type Output = Vector1;

    fn mul(self, rhs: Vector1) -> Vector1 {
        Vector1 { x: self * rhs.x }
    }
}

fn main() {}

エラーが出ました。

   |
18 | / impl ops::Mul> for T
19 | | where
20 | |     T: ops::Mul,
21 | | {
...  |
26 | |     }
27 | | }
   | |_^ type parameter `T` must be used as the type parameter for some local type
   |
   = note: only traits defined in the current crate can be implemented for a type parameter

Rust Playgroundでエラーを確認できます。
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=7d83e5369d7c227e28e27f408d7d45b7