> Supongamos que recibimos un rvalue int, por las reglas de deducción de las plantillas, T=int. Luego en este fragmento: > decltype(forward(arg).get()) > 1. Al ser arg un *rvalue* se va llamar al primer función `get()` de `arg`, que nos devuelve `i_type=int`. > 2. `forward`, va devolver `int&&` (referencia rvalue). > 3. `decltype(expr)` va devolver `int&&`. No es un planteamiento correcto. `decltype` **no ejecuta** nada... únicamente **evalúa** (si ejecutase podría modificar valores y eso nunca va a suceder). Así pues, `decltype` va a evaluar la expresión que se le está pasando, `forward(arg).get()` y *copiará* el tipo final de la expresión. Como `decltype` no va a ejecutar código, carece de sentido utilizar `forward`, ya que en este caso nos va a dar igual trabajar con un *R-value* o con un *L-value* (no se va a crear ninguna copia ni a realizar ningún movimiento). Así pues `forward(arg)` es equivalente a `arg`. Ahora la llamada queda más sencilla: `decltype(arg.get())`. ¿Y cual es el tipo de retorno de la llamada `arg.get()`? exacto, `int`, luego `decltype(forward(arg).get())` se convierte en `int`. No olvidemos que `decltype` se procesa en **tiempo de compilación** luego al binario le llega el resultado de dicho procesamiento. Si examinas el ensamblado verás que no hay referencia alguna a `decltype`... `decltype` se usa para dejar que sea el compilador el que determine cual debe ser el tipo... y esta elección se hace en tiempo de compilación.