Yenisini bildirmek için önceki işlev parametresini kullanmak yasal mıdır?

Question

Aşağıdaki kod GCC ile temiz bir şekilde derler:

void func(int arg1, decltype(arg1) arg2) 
{ 
    (void)arg2; 
} 
int main(){} 

ben derlemek için bu komutu kullanılır:

g++ -std=c++14 test.cpp -o test -pedantic-errors -Wall -Wextra 

Ama işlev bildiriminde ortasında bir parametrenin böyle kullanım garip görünüyor. Aslında standart C++ 'da geçerli mi, yoksa GCC uzantısı mı? Biz N3979 bakarsanız

Answer 1

Bu sorun değil. ISO C++11 Standard bile durumunuzu bir örnek olarak verir.

İlk parametre alanı içinde:

3.3.3 Blok kapsamı [ basic.scope.(Lambda-Bildiricisi görünen da dahil olmak üzere) ya da bir fonksiyonu tanım (8.4) bir fonksiyonu yerel önceden belirlenmiş değişken başlar ]

bir işlev parametre adı potansiyel kapsamı yerel onun beyan noktası.

bir örnek

burada bulunabilir:

8.3.5 fonksiyonları [dcl.fct]

[ Not: Bu dönüşümü yapar parametrelerin türlerini etkilemez. Örneğin int (*) (const int p, decltype (p) *) ve int (*) (int, const int *) aynı türlerdir. - uç not ]

Answer 2

[dcl.fct.default] biz

Standart argümanlar fonksiyonu her çağrıldığında değerlendirilir var. Fonksiyon argümanlarının değerlendirme sırası belirtilmemiş. Sonuç olarak, bir fonksiyonun parametreleri, değerlendirilmese bile, bir varsayılan argümanda kullanılmamalıdır. Varsayılan argümandan önce bildirilen bir işlevin parametreleri kapsam dahilindedir ve ad alanı ile sınıf üyesi adları gizlenebilir. [Örnek:

int a; 
int f(int a, int b = a);    // error: parameter a 
             // used as default argument 
typedef int I; 
int g(float I, int b = I(2));   // error: parameter I found 
int h(int a, int b = sizeof(a));  // error, parameter a used 
             // in default argument 

[...]

^{Vurgu mayın örnek a yılında}

yüzden b vardığımızda bilinen ve çağıran kapsamından a gizler edilir . Bu, her bir fonksiyon parametresinin, her bir sonraki parametreden önce bilindiğine inanmamı sağlar. Bu, türünü kullanabilmeniz gerektiği anlamına gelir. Değerini kullanamazsınız - değerlerin değerlendirilme sırası belirtilmemiş - ancak isimler soldan sağa doğru sırayla yapılmalıdır.

Answer 3

Evet, bu yasal. Temel olarak sadece bir kapsam sorunu. [Basic.scope.block] kaynaktan:

bir işlev parametre adı potansiyel kapsamı veya bir fonksiyon tanımındaki bir işlev yerel önceden belirlenmiş bir değişkenin (8.4), (a lambda Bildiricisi görünen de dahil) beyan noktasında başlar.

arg1 kapsamı burada başlar:

void func(int arg1, decltype(arg1) arg2) 
------------------^ 

Dolayısıyla arg1 arg2 beyanında kapsamı içindedir. Bence bu yeterli.

arg1 için arg2 varsaymak izin vermeme kural ayrıdır - Bana arg1 kapsamında ve açıkça izin verilmeyen gerektiğini düşündürür.