I am stucked at 04multipleof8bits
, which I do not know how to emit codes based on #size % 8
, because we can't resolve the actual const value from the expression in procmacro,
Anyone has a solution?
I am stucked at 04multipleof8bits
, which I do not know how to emit codes based on #size % 8
, because we can't resolve the actual const value from the expression in procmacro,
Anyone has a solution?
I did this: bitfield 04: pass · zjpCN/procmacroworkshop@c596336 · GitHub
let total_bits = {
let ty = ty.clone();
quote! { #( <#ty as ::bitfield::Specifier>::BITS )+* }
};
const _ : usize = 0  (#total_bits) % 8;
Note: it seems dtolnay uses a trait trick to do it, but I use a naive implementation (not in this part) which I'm unsatisfied with. I wrote that a year ago, noticing I was on a wrong way from this 04test or so, but I insisted on my way.
So take your own risk.
error[E0277]: the trait bound `bitfield::checks::SevenMod8: bitfield::checks::TotalSizeIsMultipleOfEightBits` is not satisfied
+error: any use of this value will cause an error
> tests/04multipleof8bits.rs:53:1

53  #[bitfield]
  ^^^^^^^^^^^ the trait `bitfield::checks::TotalSizeIsMultipleOfEightBits` is not implemented for `bitfield::checks::SevenMod8`
+  ^^^^^^^^^^^ attempt to compute `0_usize  7_usize`, which would overflow
I found simply panicking gives a better info : update(bitfield::04multipleof8bits): userfriendly error report · zjpCN/procmacroworkshop@644637f · GitHub
const _ : usize = 0  (#total_bits) % 8;
+const _ : () = { if (#total_bits) % 8 != 0 { panic!("should be a multiple of 8 bits") } };
53  #[bitfield]
  ^^^^^^^^^^^ attempt to compute `0_usize  7_usize`, which would overflow
+  ^^^^^^^^^^^ the evaluated program panicked at 'should be a multiple of 8 bits', $DIR/tests/04multipleof8bits.rs:53:1
But unfortunately you can't write panic!("{} should be a multiple of 8 bits", ...)
, since
error[E0015]: cannot call nonconst formatting macro in constants
> src/main.rs:6:22

6  panic!("{TOTAL_BITS} should be a multiple of 8 bits");
 ^^^^^^^^^^