Czy można użyć poprzedniego parametru funkcji do zadeklarowania nowego?

Question

Poniższy kod kompiluje czysto GCC:

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

użyłem tego polecenia do kompilacji:

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

Ale takie użycie parametru w środku deklaracji funkcji wydaje się dziwne. Czy rzeczywiście jest prawidłowe w standardowym C++, czy jest to rozszerzenie GCC?

Answer 1

To jest w porządku. ISO C++11 Standard podaje nawet Twoją sytuację jako przykład.

Pierwszy parametr jest w zakresie:

3.3.3 bloku zakres [ basic.scope.miejscowy ]

potencjalny zakres nazwą parametrów funkcji (łącznie z jednym znajdującym się w lambda-declarator) lub funkcję lokalnego predefiniowany zmienna w definicji funkcji (8.4) rozpoczyna się jego punkt deklaracji.

Przykład można znaleźć tutaj:

8.3.5 Funkcje [ dcl.fct ]

[ Uwaga: Ta przemiana robi nie wpływa na typy parametrów. Na przykład int (*) (const int p, decltype (p) *) i int (*) (int, const int *) są identycznymi typami. - koniec uwaga ]

Answer 2

Jeśli spojrzymy w N3979 [dcl.fct.default] mamy

argumenty domyślne są oceniane przy każdym wywołaniu funkcji. Kolejność oceny argumentów funkcji jest nieokreślona. W związku z tym parametry funkcji nie będą używane w domyślnym argumencie, nawet jeśli nie zostaną ocenione. Parametry funkcji zadeklarowanej przed domyślnym argumentem są w zakresie i mogą ukrywać przestrzeń nazw i nazwy członków klasy. [Przykład:

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 

[...]

^{Nacisk kopalnia}

Więc na przykład a wiadomo, kiedy mamy do b i ukrywa a z zakresu wywołującego . To prowadzi mnie do przekonania, że ​​każdy parametr funkcji jest znany przed każdym kolejnym parametrem. Oznacza to, że powinieneś być w stanie używać jego typu. Nie można użyć jego wartości - ponieważ kolejność oceny wartości jest nieokreślona - ale nazwy należy wprowadzać w kolejności od lewej do prawej.

Answer 3

Tak, jest to zgodne z prawem. Zasadniczo to tylko kwestia zakresu. W [basic.scope.block]

potencjalny zakres nazwa funkcji parametrów (w tym jeden występujący w lambda declarator) lub przez funkcję lokalnego zdefiniowanej zmiennej w definicji funkcji (8,4) rozpoczyna się w momencie złożenia deklaracji.

Zakres arg1 zaczyna się tutaj:

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

Stąd arg1 w zakres deklaracji arg2. Myślę, że to wystarczające.

Reguła odrzucania domyślnej arg2 do arg1 jest osobna - co do mnie sugeruje, że arg1 był w zakresie i musiał być wyraźnie zabroniony.