Modular inverse: Difference between revisions
m
→Safely avoiding the need for allocator
Line 336:
1969</pre>
===Safely avoiding the need for an allocator===
Here I demonstrate an optional value that requires no runtime overhead at all, but which is safe. If there is no inverse, then the compiler knows that <code>inverse_value</code> is still uninitialized, and will not let you use its value. (Try it and see.)
| |||