Pass objeto temporal de función que toma puntero

Question

Probé siguiente código:

#include<iostream> 
#include<string> 
using namespace std; 

string f1(string s) 
{ 
    return s="f1 called"; 
} 

void f2(string *s) 
{ 
    cout<<*s<<endl; 
} 

int main() 
{ 
    string str; 
    f2(&f1(str)); 
} 

Pero este código no compila.
Lo que creo es: f1 regresa por valor, por lo que crea temporal, de lo cual estoy tomando la dirección y pasando a f2.
Ahora, por favor, ¿me explico dónde estoy pensando que está mal?

Answer 1

El unario & toma un valor izquierdo (o un nombre de función). Función f1() no devuelve un valor izquierdo, devuelve un valor de lado derecho (para una función que devuelve algo, a menos que devuelve una referencia, su valor de retorno es un valor p), por lo que el unario & no se puede aplicar a la misma.

Answer 2

Su programa no compilará porque f1 tiene un parámetro y usted no está pasando ninguna.

Además, el valor devuelto por una función es un valor de lado derecho, no se puede tomar su dirección.

Answer 3

Prueba esto:

int main() 
{ 
    string str; 
    string str2 = f1(str); // copy the temporary 
    f2(&str2); 
} 

Answer 4

Es posible crear (y pasar) un puntero a un objeto temporal, asumiendo que usted sabe lo que está haciendo. Sin embargo, debe hacerse de manera diferente.

Una función con valor de retorno de tipo no de referencia devuelve rvalue. En C++, se prohíbe aplicar el operador unario incorporado & a un valor r. Requiere un lvalue

Esto significa, que si se quiere obtener un puntero a su objeto temporal, hay que hacerlo de alguna otra manera. Por ejemplo, como una secuencia de dos líneas

const string &r = f1(str); 
f2(&r); 

que también se puede plegar en una sola línea mediante el uso de un molde

f2(&(const string &) f1(str)); 

En ambos casos anteriores la función f2 debe aceptar un parámetro const string *. Solo un string * como en su caso no funcionará, a menos que elimine la constness del argumento (lo que, por cierto, hará que todo sea aún más feo de lo que ya es). Aunque, si me sirve la memoria, en ambos casos no hay garantía de que la referencia se adjunte al original temporal y no a una copia.

Hemos de tener en cuenta, sin embargo la creación de punteros a objetos temporales es una práctica bastante dudosa ya que si los problemas de toda la vida obvias. Normalmente deberías evitar la necesidad de hacer eso.