[boost] Question about boost::multi_index::random_access splice()