Help us understand the problem. What is going on with this article?

Non-exhaustive enum/struct

More than 1 year has passed since last update.

Rust RFC 2008で規定されている#[non_exhaustive]属性について簡単に解説します

この内容は安定化されておらずnightlyでしか使えません

Motivation

ライブラリを設計するとき、実装が進むにつれて新たにエラーを定義する必要が出てきます。Rustではエラーを扱うのに主にenumを使いますが、この要素は将来増える可能性があります。例えばstd::io::ErrorKindを見てみましょう

pub enum ErrorKind {
    NotFound,
    PermissionDenied,
    ConnectionRefused,
    ConnectionReset,
    ConnectionAborted,
    NotConnected,
    AddrInUse,
    AddrNotAvailable,
    BrokenPipe,
    AlreadyExists,
    WouldBlock,
    InvalidInput,
    InvalidData,
    TimedOut,
    WriteZero,
    Interrupted,
    Other,
    UnexpectedEof,
    // some variants omitted
}

このエラーをハンドリングするために次のようなmatch文を書いたとします

use std::io::ErrorKind::*;

match error_kind {
    NotFound => ...,
    PermissionDenied => ...,
    ConnectionRefused => ...,
    ConnectionReset => ...,
    ConnectionAborted => ...,
    NotConnected => ...,
    AddrInUse => ...,
    AddrNotAvailable => ...,
    BrokenPipe => ...,
    AlreadyExists => ...,
    WouldBlock => ...,
    InvalidInput => ...,
    InvalidData => ...,
    TimedOut => ...,
    WriteZero => ...,
    Interrupted => ...,
    Other => ...,
    UnexpectedEof => ...,
}

これは実装した段階では動きますが、将来ErrorKindに新たなエラーが追加されたときに正しくハンドリングできなくなります。しかし

match error_kind {
    // ...
    _ => ...,
}

のように_ブランチが用意されていれば将来にわたって正しく動作することが期待できます。

non_exhaustive attribute

現在ではこの問題に対処するために、例えばdiesel::error::Errorはライブラリレベルで次のような方法をとっています:

pub enum Error {
    InvalidCString(NulError),
    DatabaseError(String),
    NotFound,
    QueryBuilderError(Box<StdError+Send+Sync>),
    DeserializationError(Box<StdError+Send+Sync>),
    #[doc(hidden)]
    __Nonexhaustive,
}

このように隠された要素を追加することによって、__Nonexhaustiveが見える範囲では網羅的なマッチが可能で、それより外では網羅的なマッチを禁止しています。

これを簡単に実現するのがnon_exhaustive属性です

#[non_exhaustive]
pub enum Error {
    Message(String),
    Other,
}

のように定義することで、このenumが定義されたcrate内では網羅的なマッチが可能となり、外からは

use mycrate::Error;

match error {
    Message(ref s) => ...,
    Other => ...,
    _ => ...,
}

のようにアクセスする必要があります。

特に述べませんが、structのマッチにおいても同様の問題が発生するため、non_exhaustive属性はstructに対しても適用できます。

ricos
FEMによる構造解析、機械学習の専門家集団。計算資源のクラウド提供もしています。
https://www.ricos.co.jp/
Why not register and get more from Qiita?
  1. We will deliver articles that match you
    By following users and tags, you can catch up information on technical fields that you are interested in as a whole
  2. you can read useful information later efficiently
    By "stocking" the articles you like, you can search right away
Comments
No comments
Sign up for free and join this conversation.
If you already have a Qiita account
Why do not you register as a user and use Qiita more conveniently?
You need to log in to use this function. Qiita can be used more conveniently after logging in.
You seem to be reading articles frequently this month. Qiita can be used more conveniently after logging in.
  1. We will deliver articles that match you
    By following users and tags, you can catch up information on technical fields that you are interested in as a whole
  2. you can read useful information later efficiently
    By "stocking" the articles you like, you can search right away
ユーザーは見つかりませんでした