#struct #readable #module #fields #modules #macro #attribute #read-only

macro readonly

Struct fields that are made read-only accessible to other modules

7 releases

0.2.0 Oct 7, 2020
0.1.6 Jun 16, 2020
0.1.5 Aug 18, 2019
0.1.4 May 12, 2019
0.1.2 Mar 27, 2019
Download history 300/week @ 2021-01-08 292/week @ 2021-01-15 243/week @ 2021-01-22 205/week @ 2021-01-29 220/week @ 2021-02-05 240/week @ 2021-02-12 214/week @ 2021-02-19 190/week @ 2021-02-26 292/week @ 2021-03-05 289/week @ 2021-03-12 258/week @ 2021-03-19 261/week @ 2021-03-26 181/week @ 2021-04-02 244/week @ 2021-04-09 282/week @ 2021-04-16 177/week @ 2021-04-23

949 downloads per month
Used in 8 crates (6 directly)

MIT/Apache

14KB
155 lines

Readonly

github crates.io docs.rs build status

This crate provides an attribute macro to expose struct fields that are readable and writable from within the same module but readable only outside the module.

[dependencies]
readonly = "0.2"

Syntax

Place #[readonly::make] on a braced struct or tuple struct. This will make all fields of the struct publicly readable according to their individual visibility specifiers, but not writable from other modules.

mod m {
    #[readonly::make]
    pub struct S {
        pub n: i32,
    }

    impl S {
        pub fn demo(&mut self) {
            // Can read and write from inside the same module.
            println!("{}", self.n);
            self.n += 1;
        }
    }
}

fn demo(s: &mut m::S) {
    // From outside the module, can only read.
    println!("{}", s.n);

    // Does not compile:
    //s.n += 1;
}

The error appears as follows.

error[E0594]: cannot assign to data in a dereference of `m::S`
  --> readme.rs:21:5
   |
21 |     s.n += 1;
   |     ^^^^^^^^ cannot assign

Optionally, place #[readonly] on individual struct fields to make just those fields publicly readable, without affecting other fields of the struct.

#[readonly::make]
pub struct S {
    // This field can be read (but not written) by super.
    #[readonly]
    pub(super) readable: i32,

    // This field can be neither read nor written by other modules.
    private: i32,
}

License

Licensed under either of Apache License, Version 2.0 or MIT license at your option.
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in this crate by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.

Dependencies

~350–770KB
~19K SLoC