Using OnceCell with Regex (for reading only)
I've been using lazy_static until now but was trying to migrate to OnceCell. It seems I can't have a OnceCell even though I'm never calling mutable methods on the regex. I'm not even using multiple threads.
The error I'm getting is:
Any way to solve this or do I have to use OnceLock / continue using lazy_static? I don't want to add the overhead of using OnceLock if not necessary.
So, the error you're getting here is that the
staticitself needs synchronization, multiple threads can try to initialize theOnceCellat once because this is a static (only one initialization function gets called, the rest have to block).consider an example like this:
lazy_staticuses a lock under the hood. Specifically, whenstdis available (when std isn't available I think it uses a spinlock but I didn't actually check) it uses https://doc.rust-lang.org/std/sync/struct.Once.html (not to be confused withOnceCell/OnceLock), which explicitly states it locks. As in the excerpt below:The short answer is, yes, you have to use
OnceLockif you want this in a static, andOnceLockdoes roughly whatlazy_staticdoes anyway.First of all, thank you for this very elaborate answer. So that means OnceCell can never be used in a static but only as local variable / member variable? I see, that makes sense and also reduces its use cases by a lot of what I initially thought. But your example makes sense and the name/package also suggest it's not thread-safe in itself, I had just wrongly assumed OnceCell was meant to be used in static contexts.
Thanks!
Yeah, it doesn't help that in the
once_cellcrate, the thread-safe version was also calledOnceCell; you had to choose betweenonce_cell::sync::OnceCellandonce_cell::unsync::OnceCell. But when it was added to the standard library,once_cell::sync::OnceCellwas renamed toOnceLockto make them easier distinguishable. So