La maggior parte fastidiosa parse confusione

Question

Sto studiando C++ 11 e mi sono imbattuto in inizializzatori uniformi.

Non capisco il seguente codice che dovrebbe mostrare il "più fastidioso parse" ambiguità:

#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

Qui:

auto dv = Timer(); 

Hai un oggetto di tipo Timer chiamato dv che è essendo inizializzato da una copia temporanea (l'espressione sul lato destro del segno =).

Quando si utilizza auto per dichiarare una variabile, il tipo di tale variabile è uguale al tipo dell'espressione che lo inizializza, non considerando i qualificatori e i riferimenti cv qui.

Nel tuo caso, l'espressione che inizializza dv ha tipo Timer e così dv ha tipo Timer.

Qui:

int time_keeper(Timer()); 

si dichiara una funzione chiamata time_keeper che restituisce un int e prende come input un puntatorea una funzione che restituisce un Timer e prende alcun argomento.

E perché non è l'argomento Timer (*)()?

Funzioni decadimento ai puntatori quando passato come argomento, quindi il tipo di time_keeper è effettivamente int(Timer(*)()).

Per convincersi, si potrebbe provare la compilazione di questo piccolo programma:

#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!"); 
} 

Ecco un live example.

Answer 2

tutto qui è buono, stai solo ricevendo un'istanza di Timer ogni volta.

per essere una dichiarazione di funzione deve essere della forma

Timer name(); 

in questo caso, non si crea un'istanza nulla, la sintassi corretta in quel caso essere:

Timer name;