Follow the Rust API Guidelines - Checklist

[madsmtm]

Rust API Guidelines Checklist

• Naming (crate aligns with Rust naming conventions)
  • [x] Casing conforms to RFC 430 (C-CASE)
  • [x] Ad-hoc conversions follow as_, to_, into_ conventions (C-CONV)
  • [x] Getter names follow Rust convention (C-GETTER)
  • [x] Methods on collections that produce iterators follow iter, iter_mut, into_iter (C-ITER)
  • [x] Iterator type names match the methods that produce them (C-ITER-TY)
  • [x] Feature names are free of placeholder words (C-FEATURE)
  • [x] Names use a consistent word order (C-WORD-ORDER)
• Interoperability (crate interacts nicely with other library functionality)
  • [x] Types eagerly implement common traits (C-COMMON-TRAITS)
  • Copy, Clone, Eq, PartialEq, Ord, PartialOrd, Hash, Debug, Display, Default
  • [x] Conversions use the standard traits From, AsRef, AsMut (C-CONV-TRAITS)
  • [x] Collections implement FromIterator and Extend (C-COLLECT)
  • [x] Data structures implement Serde's Serialize, Deserialize (C-SERDE)
  • I'm afraid of getting a circular dependency tree in the future if we do this (e.g. we rely on serde, and at some point, through their own deps, they rely on us)
  • [x] Types are Send and Sync where possible (C-SEND-SYNC)
  • [x] Error types are meaningful and well-behaved (C-GOOD-ERR)
  • [x] Binary number types provide Hex, Octal, Binary formatting (C-NUM-FMT)
  • Doesn't make sense for Bool, just as we don't implement PartialEq for that
  • [x] Generic reader/writer functions take R: Read and W: Write by value (C-RW-VALUE)
• Macros (crate presents well-behaved macros)
  • [x] Input syntax is evocative of the output (C-EVOCATIVE)
  • [x] Macros compose well with attributes (C-MACRO-ATTR)
  • [x] Item macros work anywhere that items are allowed (C-ANYWHERE)
  • [x] Item macros support visibility specifiers (C-MACRO-VIS)
  • [x] Type fragments are flexible (C-MACRO-TY)
• Documentation (crate is abundantly documented)
  • [x] Crate level docs are thorough and include examples (C-CRATE-DOC)
  • Note: Tracked in https://github.com/madsmtm/objc2/issues/32
  • [x] All items have a rustdoc example (C-EXAMPLE)
  • Note: Tracked in https://github.com/madsmtm/objc2/issues/32
  • [x] Examples use ?, not try!, not unwrap (C-QUESTION-MARK)
  • Note: Tracked in https://github.com/madsmtm/objc2/issues/32
  • [x] Function docs include error, panic, and safety considerations (C-FAILURE)
  • Note: Tracked in https://github.com/madsmtm/objc2/issues/32
  • [x] Prose contains hyperlinks to relevant things (C-LINK)
  • [x] Cargo.toml includes all common metadata (C-METADATA)
  • authors, description, license, homepage, documentation, repository, keywords, categories
  • [x] Release notes document all significant changes (C-RELNOTES)
  • [x] Rustdoc does not show unhelpful implementation details (C-HIDDEN)
• Predictability (crate enables legible code that acts how it looks)
  • [x] Smart pointers do not add inherent methods (C-SMART-PTR)
  • [x] Conversions live on the most specific type involved (C-CONV-SPECIFIC)
  • [x] Functions with a clear receiver are methods (C-METHOD)
  • [x] Functions do not take out-parameters (C-NO-OUT)
  • [x] Operator overloads are unsurprising (C-OVERLOAD)
  • [x] Only smart pointers implement Deref and DerefMut (C-DEREF)
  • Note: Intentionally ignored, and documented as such.
  • [x] Constructors are static, inherent methods (C-CTOR)
• Flexibility (crate supports diverse real-world use cases)
  • [x] Functions expose intermediate results to avoid duplicate work (C-INTERMEDIATE)
  • [x] Caller decides where to copy and place data (C-CALLER-CONTROL)
  • [x] Functions minimize assumptions about parameters by using generics (C-GENERIC)
  • Note: The only real place this is relevant would be objc2::runtime, and that would mostly be interesting after it's easier to use &CStr, e.g. after https://github.com/rust-lang/rust/issues/105723 (tracked in https://github.com/madsmtm/objc2/issues/429)
  • [x] Traits are object-safe if they may be useful as a trait object (C-OBJECT)
• Type safety (crate leverages the type system effectively)
  • [x] Newtypes provide static distinctions (C-NEWTYPE)
  • [x] Arguments convey meaning through types, not bool or Option (C-CUSTOM-TYPE)
  • [x] Types for a set of flags are bitflags, not enums (C-BITFLAG)
  • [x] Builders enable construction of complex values (C-BUILDER)
• Dependability (crate is unlikely to do the wrong thing)
  • [x] Functions validate their arguments (C-VALIDATE)
  • [x] Destructors never fail (C-DTOR-FAIL)
  • [x] Destructors that may block have alternatives (C-DTOR-BLOCK)
• Debuggability (crate is conducive to easy debugging)
  • [x] All public types implement Debug (C-DEBUG)
  • [x] Debug representation is never empty (C-DEBUG-NONEMPTY)
• Future proofing (crate is free to improve without breaking users' code)
  • [x] Sealed traits protect against downstream implementations (C-SEALED)
  • [x] Structs have private fields (C-STRUCT-PRIVATE)
  • [x] Newtypes encapsulate implementation details (C-NEWTYPE-HIDE)
  • [x] Data structures do not duplicate derived trait bounds (C-STRUCT-BOUNDS)
• Necessities (to whom they matter, they really matter)
  • [x] Public dependencies of a stable crate are stable (C-STABLE)
  • [x] Crate and its dependencies have a permissive license (C-PERMISSIVE)

[madsmtm]

Also, investigate using ToOwned.

[madsmtm]

I think we want to keep breaking C-SMART-PTR for Id::autorelease because that is a method name that only ever makes sense on Id

[madsmtm]

#![warn(missing_debug_implementations)] can be helpful here

[madsmtm]

We should also check all traits for whether they provide correct blanket impls (impl<T: Trait> Trait for &T, Box<T>, ...)

[madsmtm]

I will consider most of this guideline as not really applicable to icrate, since most of the design questions there are handled by Apple, and not us.

Naming decisions in icrate are explicitly moved to https://github.com/madsmtm/objc2/issues/284

[madsmtm]

I consider this basically done now, remaining parts are tracked in the linked issues