Это - просто побочный эффект реализации (красно-черное дерево), или порядок гарантируется стандартом C++?