Bir işlev parametresi için şablon bağımsız değişken yer tutucu olarak 'otomatik'

C ++ 20 autoişlev parametre türü için kullanılmasına izin verir .

Aynı zamanda kullanılmasına izin mu autobir şablon bağımsız değişken tutucu olarak (benzer, ama ruhunda C ++ 17 şablon <oto> bir şekilde) işlev parametre tipleri için?

Yani aşağıdaki kod, C ++ 20 öncesi:

template<typename First, typename Second>
void printPair(const std::pair<First, Second>& p) {
    std::cout << p.first << ", " << p.second;
}

Şu şekilde yazılabilir:

void printPair(const std::pair<auto, auto>& p) {
    std::cout << p.first << ", " << p.second;
}

Bu derleme yapar ve güzel işler kavramlar için deneysel GCC uygulamasıyla.

C ++ 20 ile meşru bir sözdizimi mi?

Bu sözdizimi C ++ Kavramları Teknik Spesifikasyonu için geçerlidir, ancak C ++ 20 için geçerli değildir. C ++ 20 kavramlarında, autoişlev parametresi türünde yalnızca en üst düzeyde izin verilir. İlgili kural [dcl.spec.auto] paragraf 2'dir :

Bir tutucu-tip belirteci biçimi tip kısıtlaması [opt] autobir şekilde kullanılabilir decl-belirtici arasında decl-belirteci-SEQ a parametre beyanı bir fonksiyon tanımlaması ya da lambda ifadesi bu değilse, ve sondaki dönüş türünü (aşağıya bakın) tanıtan auto tür belirtici , işlev bildirimi veya lambda ifadesinin genel parametre türü yer tutucusudur. [Not: Genel parametre tipi yer tutucusuna sahip olmak, işlevin kısaltılmış bir işlev şablonu (9.3.3.5 [dcl.fct]) veya lambda'nın genel bir lambda (7.5.5 [expr.prim.lambda]) olduğunu gösterir. —End not]

(Yazarken en son çalışma taslağındaki ifadeyi kontrol ederseniz, biraz farklı bir kural bulacaksınız. Yukarıdaki kural, Prag'daki C ++ 20 nihai taslağına oylanan çekirdek sayı 2447 tarafından değiştirildi. komite toplantısı bir hafta önce.)

Decl-belirteci parametre beyan başlangıcında anahtar kelime ve tip isimleri ilk sıra olan parametre işlevi s. Yukarıdaki kural auto, en üst düzeyde izin verir :

void f(auto x);

... ama sadece dekal belirleyici olarak . decl-specifierauto içinde yuvalandığında izin verilmez :

void f(std::vector<auto> x);

... ve parametre türünün başka bir yerine de izin verilmez:

void f(void (*p)(auto));