【Rust】usizeのように条件によって変わるtype aliasを作ることはできますか？

Question

概要

ライブラリで、ある条件によって中身が変わるtype aliasを作りたいと思っています。
例えば usize は、ビルドのアーキテクチャが64bitなら8byteになり、32bitなら4byteになると思います。

このように、

type Myusize = u32;

fn main() {
    if condition == true {
        Myusize = u64;
    } 
}

的なことをやりたいです。
ちなみにこれは

expected value, found type alias `Myusize`
can't use a type alias as a constructor

と言われます。

なにかよい方法はありますか？

Answer 1

質問者が意図していることがよくわからないのですが……、こういう感じが期待していたものでしょうか？

struct Foo<const N: bool> {}

trait Bar {
    type Usize;
}

impl Bar for Foo<false> {
    type Usize = u32;
}

impl Bar for Foo<true> {
    type Usize = u64;
}

fn main() {
    const CONDITION: bool = true; // 条件を true にする
    type Myusize = <Foo<CONDITION> as Bar>::Usize; // ← 条件によって Myusize の型を切り替える
    println!("{}", std::mem::size_of::<Myusize>()); // ← 選択された型の大きさを確認
}

Comments

[KOTTON]

意図がわからないのはすみませんでした。後になって分かったのですが、もしかしたらこれは使わない方向でなんとかできるかもしれません。
ですが、確認したところこのコードが僕が望んでいた通りに動くのは確かです！調べても方法がわからなかったため、これは貴重ですね...ありがとうございます！
ただ、ちょっとコードのレベルが高すぎてよくわからないです...ｗ

struct Foo<const N: bool> こんなことできるんですね
また
<Foo<CONDITION> as Bar>::Usize; こんな構文も始めてみました

[SaitoAtsushi]

ジェネリクスパラメータとして値も渡せるようになったのは割と新しい機能なので入門書だと取り上げていないものも多いかもしれません。 たとえば配列の大きさは配列型の一部なので数値をパラメータに出来ないと不便だったりすることもあるのです。 現時点ではジェネリクスパラメータとして許容されるのは整数と `bool` `char` に限られており、どんな値でも渡せるというわけではありません。 また、当然ながら型はコンパイル時に確定していなければならず、渡せる値もコンパイル時に確定していなければなりません。