Здравствуйте, rg45, Вы писали:

R>Вот и я пытаюсь представить сценарий, в котором два вектора были бы выигрышнее вектора пар.

Да запросто если идет большая серия проверок на наличие ключа в map-е.
Например, у нас flat_map<int, std::array<std::byte, 64>>. И нам нужно пробежаться по 100500 значениям ключей, чтобы проверить, какие из них уже есть в словаре.
Когда ключи лежат в отдельном векторе, то для кэша процессора такая пробежка будет более щадящей, чем когда и ключ, и значение, лежат парами в одном общем векторе.