C ++ 20 std :: common_reference'nin amacı nedir?

C ++ 20 tanıtır std::common_reference. Amacı nedir? Birisi buna bir örnek verebilir mi?

common_reference STL'nin proxy yineleyicilerini barındıran yineleyicilerin kavramsallaştırılmasıyla ilgili çabalarımdan çıktı.

STL'de, yineleyicilerin ilişkili iki tür özel ilgi alanı vardır: referenceve value_type. Eski yineleyici en dönüş türü olan operator*ve value_typedizinin elemanları (const olmayan, referans olmayan) türüdür.

Genel algoritmaların genellikle böyle şeyler yapma ihtiyacı vardır:

value_type tmp = *it;

... biz olması gerektiğini biliyorum bazı Bu iki tip arasındaki ilişki. Proxy olmayan yineleyiciler için ilişki basittir: referenceher zaman value_type, isteğe bağlı olarak const ve başvuru nitelikli. Kavramın tanımlanmasına yönelik erken girişimlerInputIterator , ifadenin *itdönüştürülebilir olmasını const value_type &ve çoğu ilginç yineleyici için yeterli olmasını gerektiriyordu.

C ++ 20'deki yineleyicilerin bundan daha güçlü olmasını istedim. Örneğin, zip_iteratorkilit adımında iki diziyi yineleyen a'nın ihtiyaçlarını düşünün . A'dan vazgeçtiğinizde , iki yineleyicinin türünden zip_iteratorbir geçici alırsınız . Yani, a ve a şu ilişkili türlere sahip olacaktır:pairreferencezipvector<int>vector<double>

zipyineleyicinin reference: pair<int &, double &>
zipyineleyicinin value_type:pair<int, double>

Gördüğünüz gibi, bu iki tür sadece üst düzey cv- ve ref yeterlilikleri ekleyerek birbirleriyle ilişkili değildir. Ve yine de iki türün keyfi olarak farklı olmasına izin vermek yanlış geliyor. Açıkçası burada bir ilişki var. Fakat ilişki nedir ve yineleyiciler üzerinde çalışan genel algoritmalar iki tür hakkında güvenli bir şekilde ne kabul edebilir?

C ++ 20'de cevabı için olmasıdır herhangi vekil veya olmasın geçerli yineleyici tip, tür reference &&ve value_type &bir paylaşma ortak referansı . Başka bir deyişle, bazı Yineleyici için itbazı tip var CRiyi biçimli aşağıdakileri yapar:

void foo(CR) // CR is the common reference for iterator I
{}

void algo( I it, iter_value_t<I> val )
{
  foo(val); // OK, lvalue to value_type convertible to CR
  foo(*it); // OK, reference convertible to CR
}

CRortak referanstır. Tüm algoritmalar bu türün varlığına güvenebilir ve bunu std::common_referencehesaplamak için kullanabilir .

Yani, common_referenceC ++ 20'de STL'de oynayan rol budur . Genel olarak, genel algoritmalar veya proxy yineleyicileri yazmıyorsanız, güvenle yok sayabilirsiniz. Yineleyicilerin sözleşmeden doğan yükümlülüklerini yerine getirmelerini sağlayan kapakların altındadır.

EDIT: OP de bir örnek istedi. Bu yapmacık biraz, ama onun C ++ 20 hayal ve rastgele erişimli aralığı verilir rÇeşidi RBir şey bilmiyormuş hangi ve istediğiniz sortaralıkta.

Ayrıca, bazı nedenlerden dolayı, monomorfik bir karşılaştırma fonksiyonu kullanmak istediğinizi düşünün std::less<T>. (Belki ettik aralığı tip silinir ve ayrıca karşılaştırma işlevi yazın-silmek ve bir içinden geçmeleri gerekiyor virtual? Yine, bir streç.) Ne olmalıdır Tolmak std::less<T>? Bunun için common_reference, ya da iter_common_reference_tonun açısından uygulanan yardımcıyı kullanırdınız .

using CR = std::iter_common_reference_t<std::ranges::iterator_t<R>>;
std::ranges::sort(r, std::less<CR>{});

Aralıkta rproxy yineleyicileri olsa bile, bunun çalışması garanti edilir .