drängendsten Parsen Verwirrung

Question

Ich studiere 11 C++ und ich auf einheitlichen initializers stolperte.

ich nicht den folgenden Code verstehen, die die "drängendsten Parse" Mehrdeutigkeit zeigen sollte:

#include<iostream> 


class Timer 
{ 
public: 
    Timer() {} 
}; 

int main() 
{ 

    auto dv = Timer(); // What is Timer() ? And what type is dv? 

    int time_keeper(Timer()); // This is a function right? And why isn't the argument " Timer (*)()" ? 



    return 0; 
} 

Answer 1

hier:

auto dv = Timer(); 

Sie haben ein Objekt vom Typ Timer genannt dv, die ist Copy-initialisiert von einem temporären (der Ausdruck auf der rechten Seite der = Zeichen).

Wenn Sie verwenden, um eine Variable zu deklarieren, ist der Typ dieser Variablen der gleiche wie der Typ des Ausdrucks, der ihn initialisiert - ohne Berücksichtigung von CV-Qualifikationsmerkmalen und Verweisen hier.

In Ihrem Fall, dass der Ausdruck dv initialisiert hat Timer geben, und so hat dvTimer geben.

hier:

int time_keeper(Timer()); 

Sie deklarieren eine Funktion namens time_keeper, die eine int und nimmt als seine Eingabe liefert einen Zeiger auf eine Funktion, die eine Timer zurückgibt und kein Argument.

Und warum ist nicht das Argument Timer (*)()?

Funktionen Verfall Zeiger, wenn als Argument übergeben, so dass die Art der time_keeper ist eigentlich int(Timer(*)()).

überzeugen Sie sich selbst, Sie könnten versuchen, dieses kleine Programm kompiliert:

#include <type_traits> 

struct Timer { }; 
int main() 
{ 
    int time_keeper(Timer()); 
    static_assert(
     std::is_same< 
      decltype(time_keeper), 
      int(Timer(*)()) 
     >::value, 
     "This should not fire!"); 
} 

hier ein live example ist.

Answer 2

alle hier ist gut, du bist nur jedes Mal eine Instanz Timer bekommen.

für sie eine Funktion Erklärung sein, um es von der Form

Timer name(); 

in diesem Fall sein muss, Sie instanziiert nichts, die richtige Syntax in diesem Fall Wesen:

Timer name;