I implemented my own Box because I want to store the vtable with the Box but ultimately I cannot call the FnOnce function that I tried to wrap in that Box, because I get this error: cannot move a value of type dyn FnOnce() -> bool: the size of dyn FnOnce() -> false cannot be statically determined. I figured that I have to implement the trait FnOnce for my own Box, but there are no good examples and just trying to look at the library source did not help. Can someone please explain how this all should fit together?
This is not possible on stable rust for two reasons. The first is that the
Fn* family of traits is unstable and as such can't be implemented on stable rust. The second is that
Box is special. The compiler knows that it is possible to move out of it. There is no way to replicate this on nightly. Rustc uses a so called lang item to find
alloc::boxed::Box. Lang items can only be defined once in the whole crate graph. In addition rustc only knows how to move out of
Box because the exact layout of it is baked into the compiler. Attempting to change it will likely cause an ICE. Lastly
Box has a special
Drop implementation. In the source code of liballoc it is empty, but the compiler knows that it first has to call the drop glue for the inner type if it isn't moved out of followed by a call to the
box_free lang item to deallocate the backing storage.
This topic was automatically closed 90 days after the last reply. We invite you to open a new topic if you have further questions or comments.