c++ - Más molesto análisis

most-vexing-parse

Question

Obtuve el código de here .

class Timer {
public:
Timer();
};
class TimeKeeper {
public:
TimeKeeper(const Timer& t);
int get_time()
{
return 1;
}
};
int main() {
TimeKeeper time_keeper(Timer());
return time_keeper.get_time();
}

Por lo que parece, debería obtener un error de compilación debido a la línea:

TimeKeeper time_keeper(Timer());

Pero solo ocurre si return time_keeper.get_time(); está presente.

¿Por qué importaría esta línea, el compilador detectaría ambigüedad en la time_keeper(Timer() ) de time_keeper(Timer() ) .

Answer 1

Esto se debe al hecho de que TimeKeeper time_keeper(Timer()); se interpreta como una declaración de función y no como una definición de variable. Esto, en sí mismo, no es un error, pero cuando intenta acceder al miembro get_time() de time_keeper (que es una función, no una instancia de TimeKeeper), su compilador falla.

Así es como su compilador ve el código:

int main() {
// time_keeper gets interpreted as a function declaration with a function argument.
// This is definitely *not* what we expect, but from the compiler POV it''s okay.
TimeKeeper time_keeper(Timer (*unnamed_fn_arg)());
// Compiler complains: time_keeper is function, how on earth do you expect me to call
// one of its members? It doesn''t have member functions!
return time_keeper.get_time();
}