C++: Devuelve NULL en lugar de struct

Question

Tengo una estructura Foo. En pseudocódigo:

def FindFoo: 
    foo = results of search 
    foundFoo = true if a valid foo has been found 

    return foo if foundFoo else someErrorCode 

¿Cómo puedo lograr esto en C++?

Editado para eliminar numerosas imprecisiones.

Answer 1

Los objetos C++ nunca pueden ser nulos o vacíos. Los punteros pueden contener un valor de puntero nulo que indica que apuntan a nada.

La solución típica sería lanzar una excepción. De lo contrario, use un puntero; solo asegúrate de no estar devolviendo la dirección de un temporal.

No recomendaría intentar enseñarte C++ con conocimiento de otros idiomas, te lastimarás. Tome una good beginner-level book, es la mejor manera de aprender.

Answer 2

Eso tampoco funciona en C#. Deberías devolver un puntero a Foo.

Answer 3

No puede hacer esto en C# tampoco; deberá devolver new Foo(), no null para hacer feliz al compilador.

Lo mismo que en el caso de C++: necesita crear una instancia de una estructura si va a devolver por valor. Si no es así, debe regresar con un puntero (en cuyo caso sería new ing o devolver un puntero a uno asignado de otra manera, lo que genera una semántica desordenada de transferencia de propiedad en la ecuación).

EDIT: según su actualización. Parece que desea devolver un valor meta o un valor meta nulo que indique "no encontrado". Esto se puede hacer de varias maneras:

1. throw si no funciona, por lo demás incondicionalmente devolver un valor
2. devolver un puntero - pero esto deja la responsabilidad de delet ing hacia arriba en el aire si no es algo que va a permanecer en la memoria a largo plazo
3. envuélvalo en un objeto envoltorio [plantilla] que maneja la condicionalidad de la misma manera que Nullable<T> .NET (voy a dejar que alguien repique con la derecha ACTUALIZACIÓN: @Mike Seymour dice que es boost::optional<foo>)
4. usa el objeto nulo p attern para devolver un valor apropiado, que hace lo correcto cuando se trata como un resut válido en el lado del cliente

Answer 4

Una forma de hacerlo es a devolver un puntero a una foo:

public Foo* findFoo() 
{ 
    return fooFound ? new fooResult() : NULL; 
} 

Otra posibilidad para definir un NullFoo de algún tipo, posiblemente como struct extendiendo Foo con una implementación vacía. Para obtener más información sobre la última idea, puede leer sobre Null Object Pattern.

Editar: La pregunta modificada es algo diferente, y como otras personas han mencionado, es mejor que haga una excepción en lugar de hacer cualquiera de las anteriores.

Answer 5

No es posible en C++ sin recurrir a punteros o una solución de biblioteca fuera de la biblioteca estándar.(Boost no forma parte de la biblioteca estándar, es una solución de terceros).

En C#, puede usar un Nullable<Foo>.

Contrariamente a los comentarios de Billy, las estructuras son tipos de valor, no hacer referencia a tipos y anulables se puede aplicar a cualquier tipo de valor, no sólo los muebles empotrados. Lo siguiente compila muy bien:

struct Test { 
    int Blah; 
} 
void Main() { 
    System.Nullable<Test> proof; 
} 

Answer 6

Lanza una excepción. Para eso están para.

Answer 7

Puede consultar boost::optional y ver si se ajusta a sus necesidades. Sin embargo:

retorno foo si foundFoo demás someErrorCode

Esto me hace pensar que tal vez sería mejor lanzar una excepción si no encuentra foo.

Answer 8

¿No es encontrar un foo realmente una situación excepcional? Entonces lanza una excepción. Esperar a no encontrar foo? haga que la función devuelva un código de error y pase el foo hacia afuera a través de un parámetro de referencia, donde foo solo es válido si la función no devuelve ningún error.