ユニット様構造体.

ユニット様構造体（unit-like struct）は、フィールドを1つも持たない構造体です。struct Marker;のようにフィールドリストごと省略して定義します。保持する値がない点がユニット型()に似ているため、この名前で呼ばれます。

定義すると型と同じ名前の定数が暗黙に作られるため¹、Markerと書くだけでインスタンスが得られます。

struct TaxCalculator; // 税率10%固定。覚えておくべきデータがない

impl TaxCalculator {
    fn total(&self, price: u32) -> u32 {
        price * 110 / 100
    }
}

fn main() {
    let calculator = TaxCalculator; // 型名をそのまま書くとインスタンスになる
    println!("税込み: {}円", calculator.total(1000));
}

使いどころ

フィールドがなくてもimplブロックは書けるので、メソッドや関連関数を持たせられます。上の例のように状態は持たずに処理だけをまとめたい型や、データは持たせずトレイトの実装だけを与えたいマーカー型が主な用途です。

フィールドを持たない3つの書き方

フィールドが0個の構造体は次の3通りに書けます。型としてはどれもフィールドを持ちませんが、同じ名前で値の名前空間に何が定義されるかが異なります。

struct Marker {}のような波括弧での生成はどの形でも書けるため、違いが出るのはMarkerと単体で書いたときです。struct Marker;はstruct Marker {}とconst Marker: Marker = Marker {};を同時に書いたのと等価で¹、単体でインスタンスになるのはこの形だけです。

補足

#[derive(Debug)]
struct Marker;

fn main() {
    println!("{}バイト", size_of::<Marker>()); // 0バイト
    println!("{:?}", Marker);                  // Marker
}