macro no-std readonly

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

19 releases

0.2.12 Jan 2, 2024
0.2.11 Jul 21, 2023
0.2.8 Apr 13, 2023
0.2.7 Mar 18, 2023
0.1.2 Mar 27, 2019

#1805 in Rust patterns

Download history 12490/week @ 2024-06-25 9155/week @ 2024-07-02 11394/week @ 2024-07-09 11565/week @ 2024-07-16 10956/week @ 2024-07-23 9489/week @ 2024-07-30 9422/week @ 2024-08-06 10528/week @ 2024-08-13 10145/week @ 2024-08-20 10410/week @ 2024-08-27 11702/week @ 2024-09-03 12913/week @ 2024-09-10 9858/week @ 2024-09-17 11740/week @ 2024-09-24 12705/week @ 2024-10-01 14406/week @ 2024-10-08

51,179 downloads per month
Used in 70 crates (30 directly)

MIT/Apache

13KB
166 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

~245–690KB
~16K SLoC