Std :: map üzerinden yineleme sırası biliniyor mu (standart tarafından garanti ediliyor)?

Demek istediğim - std::mapöğelerinin anahtarlara göre sıralandığını biliyoruz . Diyelim ki anahtarlar tamsayı. I yinelerler Eğer std::map::begin()için std::map::end()bir kullanma for, ben tuşlarıyla elemanları aracılığıyla dolayısıyla yineleme edeceğiz standart garanti yapar, artan düzende sıralanır?

Misal:

std::map<int, int> map_;
map_[1] = 2;
map_[2] = 3;
map_[3] = 4;
for( std::map<int, int>::iterator iter = map_.begin();
     iter != map_.end();
     ++iter )
{
    std::cout << iter->second;
}

Bunun yazdırılması garanti ediliyor 234mu yoksa uygulama tanımlanmış mı?

Gerçek hayat nedeni: Anahtarları olan bir a std::mapvar int. Çok nadir durumlarda, somut bir intdeğerden daha büyük, tüm unsurları tekrarlamak isterim . Evet, std::vectordaha iyi bir seçim gibi görünüyor , ama "çok nadir durumlar" a dikkat edin.

DÜZENLEME : Biliyorum, öğeleri std::mapsıralanmıştır .. işaret etmek gerek (burada cevapların çoğu için). Hatta soruma yazdım bile.
Bir konteynerden yinelediğimde yineleyiciler ve düzen hakkında soruyordum. Cevap için @Kerrek SB'e teşekkürler.

Evet, bu garantili. Ayrıca, karşılaştırma işleci tarafından belirlenen *begin()en küçük ve *rbegin()en büyük öğeyi verir ave bifadenin !compare(a,b) && !compare(b,a)doğru olduğu iki anahtar değer eşit kabul edilir. Varsayılan karşılaştırma işlevi std::less<K>.

Sıralama şanslı bir bonus özellik değildir, ancak sipariş iki anahtarın ne zaman aynı olduğunu (yukarıdaki kural ile) belirlemek ve etkili bir arama (aslında bir ikili) gerçekleştirmek için kullanıldığı için veri yapısının temel bir yönüdür. eleman sayısında logaritmik karmaşıklığa sahip arama).

Bu, C ++ standardındaki İlişkisel kapsayıcı gereksinimleri tarafından garanti edilir. Örneğin C ++ 11'de 23.2.4 / 10'a bakınız:

İlişkilendirilebilir kapların yineleyicilerinin temel özelliği,
kaplar boyunca azalan anahtar sırasına göre yineleyin.
iniş yapmama, onları inşa etmek için kullanılan karşılaştırma ile tanımlanır.
Herhangi bir iki silinebilir olmayan yineleyici için, i ve j arasındaki mesafe
pozitif,
  value_comp (* j, * i) == yanlış

ve 23.2.4 / 11

Benzersiz anahtarlara sahip ilişkilendirilebilir kaplar için daha güçlü koşul,
  value_comp (* i, * j)! = yanlış.

Veri yapılarında bir karışıklık olduğunu düşünüyorum.

Çoğu dilde, a mapsadece bir AssociativeContainer'dır: bir anahtarı bir değere eşler. "Daha yeni" dillerde, bu genellikle bir karma harita kullanılarak gerçekleştirilir, bu nedenle herhangi bir düzen garanti edilmez.

Ancak C ++ 'da bu böyle değildir:

• std::mapa, kriteri birleştirici konteyner
• std::unordered_map C ++ 11'de tanıtılan karma tablo tabanlı bir ilişkisel kapsayıcıdır

Yani, sipariş üzerine garantileri netleştirmek için.

C ++ 03'te:

• std::set, std::multiset, std::mapVe std::multimaptuşlara göre sipariş edilmesi garanti (ve ölçüt birlikte) vardır
• içinde std::multisetve std::multimap, standart eşdeğer elemanlar ile ilgili herhangi bir sırada garanti empoze etmez (örneğin, eşit karşılaştırma olanlar)

C ++ 11'de:

• std::set, std::multiset, std::mapVe std::multimaptuşlara göre sipariş edilmesi garanti (ve ölçüt birlikte) vardır
• içinde std::multisetve std::multimap, standart getirir bu eşdeğer elemanları (göre eş olanlar) kendi yerleştirme düzenine göre sıralanır (ilk önce eklenmiştir)
• std::unordered_*kaplar, adından da anlaşılacağı gibi sipariş edilmemiştir. En önemlisi, öğelerin sırası olabilir kap (ekleme / silinmesi üzerine) modifiye zaman değişir.

Standart, öğelerin bir şekilde sipariş edildiğini söylediğinde, şu anlama gelir:

• yinelendiğinde, öğeleri tanımlanan sırayla görürsünüz
• tersine yinelendiğinde, öğeleri ters sırada görürsünüz

Umarım bu karışıklığı giderir.

Bunun 234 yazdırılması garanti ediliyor mu yoksa uygulaması tanımlanmış mı?

Evet, verilen ile birlikte std::mapsıralanmış bir kaptır . Böylece garanti edilir.KeyComparator

Somut bir int değerinden daha büyük, tüm unsurları tekrarlamak istiyorum.

Bu kesinlikle mümkün.

Evet ... std::mapbir öğedeki öğelerin katı bir zayıf sıralaması vardır, yani öğelerin bir kümeden oluşacağı (yani, "eşit" olan anahtarların tekrarı olmayacaktır) ve eşitlik, herhangi bir A ve B tuşları, A tuşu B tuşundan az değilse ve B A'dan az değilse, A tuşu B tuşuna eşittir.

Bununla birlikte, bu tür için std::mapzayıf sıralama belirsizse , öğelerini düzgün bir şekilde sıralayamazsınız (sizin durumunuzda, tamsayıları anahtar türü olarak kullandığınız yerde, bu bir sorun değildir). Bilgisayarınızdaki anahtarlar için kullandığınız türde toplam bir sipariş tanımlayan bir işlem tanımlayabilmeniz gerekir std::map, aksi takdirde öğeleriniz için yalnızca kısmi bir siparişiniz veya A'nın karşılaştırılamayacağı bir özelliğe sahip olan posetiniz olur. B. Bu senaryoda tipik olarak ne olacağı anahtar / değer çiftlerini ekleyebilmenizdir, ancak tüm haritayı tekrarlarsanız ve / veya "eksik" olduğunu tespit ederseniz yinelenen anahtar / değer çiftleriyle karşılaşabilirsiniz std::map::find()Haritada belirli bir anahtar / değer çiftini gerçekleştirmeye çalıştığınızda anahtar / değer çiftleri.

begin () en küçük elemanı verebilir. Ancak uygulamaya bağlıdır. C ++ standardında belirtilmiş mi? Değilse, bu varsayımı yapmak tehlikelidir.