C++ 's drängendsten Parsen wieder

Question

direkt Entnommen http://herbsutter.com/2013/05/09/gotw-1-solution/

Während widget w(); für mich klar ist, habe ich keine Ahnung, wie der folgende Code eine Funktionsdeklaration sein kann?

// same problem (gadget and doodad are types) 
// 
widget w(gadget(), doodad()); // pitfall: not a variable declaration 

Wie ist das möglich?

Answer 1

In einer Funktionsdeklaration, Argumente vom Typ ARRAY Zerfalls in Zeiger auf das erste Element, Argumente der Funktion Zerfallstyp in einen Funktionszeiger, so würde die Signatur sein:

widget w(gadget(*)(), doodad(*)()); 

Das heißt, eine Funktion, die nimmt als erstes Argument einen Zeiger auf eine Funktion keine Argumente nehmen und gadget Rückkehr, die einen Zeiger auf eine Funktion keine Argumente nehmen und Zurückgeben ein doodad und dass die Funktion selbst liefert ein widget

Es gibt noch mehr als zweites Argument interessant oder verwirrt singen Fällen wie:

// assume 'x' is a variable defined somewhere: 
widget w(gadget(x)); 

Wie konnte , die als Funktionsdeklaration interpretiert werden? Ich meine, x ist eine Variable, oder? Wenn Sie eine Variable deklarieren, können Sie zusätzliche Klammern hinzufügen, so dass gadget x; und gadget (x); beide die gleiche Variable x deklarieren. Gleiches gilt Argumente funktionieren so über den Code wie eine Deklaration einer Funktion sieht, der ein erstes Argument x vom Typ namens gadget und gibt ein widget ...

Answer 2

Es ist Funktion, die zwei Funktionen erhält, die gadget und doodad zurück und keiner von ihnen bekommt Argumente.

Beispiel, das gut kompiliert.

#include <iostream> 
class widget{}; 
class gadget{}; 
class doodad{}; 
gadget a(){} 
doodad b() {}; 
widget w(gadget(), doodad()){ 
} 
int main() { 
    w(a,b); 
    return 0; 
} 

http://ideone.com/YjZK9Y