Ist es legal, den vorherigen Funktionsparameter zu verwenden, um einen neuen zu deklarieren?

Question

Der folgende Code kompiliert sauber mit GCC:

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

ich diesen Befehl zu kompilieren:

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

Aber eine solche Verwendung eines Parameters in der Mitte der Funktionsdeklaration seltsam scheint. Ist es tatsächlich in Standard C++ gültig, oder ist es eine GCC-Erweiterung?

Answer 1

Das ist in Ordnung. Die ISO C++11 Standard gibt sogar Ihre Situation als Beispiel.

Zunächst wird der Parameter ist in Umfang:

3.3.3 Block-Rahmen [ basic.scope.lokale ]

Die potentielle Anwendungsbereich eines Funktionsparameternamen (ein darunter in einem Lambda-declarator erscheinenden) oder eine Funktion lokale vordefinierte Variable in einer Funktionsdefinition (8.4) beginnt, an seinem Punkt der Erklärung.

8.3.5 Funktionen [ dcl.fct ]

[ Hinweis:

Ein Beispiel ist hier zu finden Diese Transformation hat nicht die Arten der Parameter beeinflussen. Zum Beispiel sind int (*) (const int p, decltype (p) *) und int (*) (int, const int *) identische Typen. - Endnote ]

Answer 2

Wenn wir in N3979 suchen [dcl.fct.default] wir haben

Standard Argumente jedes Mal ausgewertet werden die Funktion aufgerufen wird. Die Reihenfolge der Auswertung von Funktionsargumenten ist nicht spezifiziert. Folglich dürfen Parameter einer Funktion in einem Standardargument nicht verwendet werden, auch wenn sie nicht ausgewertet werden. Parameter einer Funktion, die vor einem Standardargument deklariert wurde, befinden sich im Gültigkeitsbereich und können Namespace- und Klassenmembernamen ausblenden. [Beispiel:

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 

[...]

^{Emphasis Mine}

So im Beispiel a bekannt ist, wenn wir b bekommen und es versteckt die a von dem anrufenden Rahmen . Dies führt zu der Annahme, dass jeder Funktionsparameter vor jedem nachfolgenden Parameter bekannt ist. Dies bedeutet, dass Sie seinen Typ verwenden können. Sie können seinen Wert nicht verwenden, da die Reihenfolge der Auswertung der Werte nicht angegeben ist. Die Namen sollten jedoch in der Reihenfolge von links nach rechts eingegeben werden.

Answer 3

Ja, es ist legal. Es ist im Grunde nur eine Frage des Umfangs. Aus [basic.scope.block]:

Die potentiellen Anwendungsbereich eines Funktionsparameternamen (einschließlich eines in einem lambda-declarator erscheinenden) oder eine Funktion lokale vordefinierte Variable in einer Funktionsdefinition (8.4) beginnt mit der Deklaration.

Der Umfang der arg1 beginnt hier:

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

Daher arg1 zur Deklaration von arg2 im Gültigkeitsbereich befindet. Ich denke, das reicht.

Die Regel für disallowing arg2-arg1 säumige getrennt ist - was mir schlägt vor, dass arg1 in Umfang und hatte ausdrücklich nicht anerkannt werden.