Add `bits = N` parameter to the #[bitfield] macro about modular-bitfield HOT 2 CLOSED

To simplify the overall design of this crate we should actually replace the current #[bitfield(filled: bool)] parameter with the proposed #[bitfield(bits = N)] parameter.

They way bits = N could replace filled: bool is wherever filled = false has to be used right now we would enforce usage of bits = N with N being the bits that the user wants the bitfield to have. With #[skip] __: BN users can easily define whole areas of a bitfield to leave as undefined which should be used instead of using filled = false and is more powerful than that.

This also unifies design of the #[derive(BitfieldSpecifier)] derive macro for enums.

from modular-bitfield.

I have made some more thoughts about this and came to the conclusion that with the introduction of a bits: int parameter we no longer really want or need the bytes: int parameter with which we (so far) controlled the amount of bytes that a bitfield is going to need. So introducing the bits: int should deprecate or remove the bytes: int parameter which makes the overall design a bit simpler because you no longer need to handle cases like bits = 32, bytes = 3 that are conflicting with each other.

What I wrote above about filled: bool parameter might not be true entirely. There are two stand points:

1. Keeping filled: bool and allowing interactions using both configs.

   • bits = N, filled = true: The bitfield must not have undefined bits and must have a bit width of exactly N.
   • bits = N, filled = false: The bitfield may have undefined bits and defaults to bit width equal to N. It is asserted at compile time that the required bits do not exceed or equal N - aka it is asserted that there are undefined bits.

2. Removing of the filled: bool parameter:

   • How exactly can be differentiate between the 2 above cases with filled = false and filled = true?
     Do we actually really need filled = false? We just introduced #[skip] __: BN for pretty much the same purpose.
     The only advantage of filled = false is that it is a tad less to write and does not require yet another "fill" field.
     This comes more in handy if the bitfield is generally very small, e.g. contains just 1 or 2 bit fields.

from modular-bitfield.