В качестве примера рассмотрим std::map, реализованный с помощью Splay-дерева. Такая древовидная структура изменчива и меняется каждый раз, когда к карте обращаются для чтения. Когда карта является постоянной, кто должен гарантировать изоляцию одновременных считываний, зависит ли это от пользовательского кода или от реализации карты?