Safe pointers
Currently Mojo has no checks related to out of bounds for pointers. Is it going to change in the future?
2 Replies
hi gryznar, there are two subproblems here:
1) array bound checking, e.g. when subscripting into an array type. These will definitely need to be checked (at least for the standard types like array), but there will also be more exotic unchecked things.
2) dangling pointers. This is currently a major footgun, and will be fixed by the "lifetimes" feature once complete and pushed through the standard library
I expect significant progress on both fronts by the end of Q1
Thank you Chris for the ansemwer! I really appreciate progress which you are doing!