Talk:Locks-and-keys

"When a variable is deallocated, the key of its pointer is modified to hold a value different from the variable's cell."

Isn’t that a typo, either in the article or in the source (which I don’t plan to buy)? It doesn’t seem to be any different from storing NULL in the pointer: if you have multiple pointers, you may still have some with the old key value. But changing the lock instead would be different, in that all pointers would be effectively marked as invalid, without actual modification. GoldDragon256 (talk) 10:40, 2 August 2019 (UTC)