Opciones

El tipo de opción en F# se usa cuando es posible que no exista un valor real para un valor o variable con nombre. Una opción tiene un tipo subyacente y puede contener un valor de ese tipo, o puede que no tenga un valor.

Comentarios

En el código siguiente se muestra una función que genera un tipo de opción.

let keepIfPositive (a : int) = if a > 0 then Some(a) else None

Como puede ver, si la entrada a es mayor que 0, Some(a) se genera . De lo contrario, None se genera .

El valor None se usa cuando una opción no tiene un valor real. De lo contrario, la Some( ... ) expresión proporciona un valor a la opción. Los valores y son útiles en la coincidencia de patrones, como en la siguiente función , que devuelve si la opción tiene un valor Some y si no lo None exists true false hace.

let exists (x : int option) =
    match x with
    | Some(x) -> true
    | None -> false

Usar Opciones

Las opciones se usan normalmente cuando una búsqueda no devuelve un resultado correspondiente, como se muestra en el código siguiente.

let rec tryFindMatch pred list =
    match list with
    | head :: tail -> if pred(head)
                        then Some(head)
                        else tryFindMatch pred tail
    | [] -> None

// result1 is Some 100 and its type is int option.
let result1 = tryFindMatch (fun elem -> elem = 100) [ 200; 100; 50; 25 ]

// result2 is None and its type is int option.
let result2 = tryFindMatch (fun elem -> elem = 26) [ 200; 100; 50; 25 ]

En el código anterior, se busca una lista de forma recursiva. La función tryFindMatch toma una función de predicado que devuelve un valor pred booleano y una lista para buscar. Si se encuentra un elemento que satisface el predicado, la recursividad finaliza y la función devuelve el valor como una opción en la expresión Some(head) . La recursividad finaliza cuando se coincide con la lista vacía. En ese momento no head se ha encontrado el valor y se devuelve None .

Muchas funciones de biblioteca de F# que buscan en una colección un valor que puede existir o no devuelven el option tipo. Por convención, estas funciones comienzan con try el prefijo , por ejemplo, Seq.tryFindIndex .

Las opciones también pueden ser útiles cuando es posible que no exista un valor, por ejemplo, si es posible que se producirá una excepción al intentar construir un valor. En el siguiente ejemplo código se muestra cómo hacerlo.

open System.IO
let openFile filename =
    try
        let file = File.Open (filename, FileMode.Create)
        Some(file)
    with
        | ex -> eprintf "An exception occurred with message %s" ex.Message
                None

La función del ejemplo anterior tiene el tipo porque devuelve un objeto si el archivo se abre correctamente openFile y si se produce una string -> File option File None excepción. En función de la situación, puede que no sea una opción de diseño adecuada detectar una excepción en lugar de permitir que se propague.

Además, todavía es posible pasar o un valor null que sea NULL en el caso de una Some opción. Esto suele evitarse y normalmente se encuentra en la programación rutinaria de F#, pero es posible debido a la naturaleza de los tipos de referencia en .NET.

Propiedades y métodos de la opción

El tipo de opción admite las siguientes propiedades y métodos.

Módulo de opciones

Hay un módulo, Option, que contiene funciones útiles que realizan operaciones en las opciones. Algunas funciones repiten la funcionalidad de las propiedades, pero son útiles en contextos donde se necesita una función. Option.isSome y Option.isNone son funciones de módulo que prueban si una opción contiene un valor. Option.get obtiene el valor, si hay uno. Si no hay ningún valor, inicia System.ArgumentException .

La función Option.bind ejecuta una función en el valor, si hay un valor . La función debe tomar exactamente un argumento y su tipo de parámetro debe ser el tipo de opción. El valor devuelto de la función es otro tipo de opción.

El módulo de opciones también incluye funciones que corresponden a las funciones que están disponibles para listas, matrices, secuencias y otros tipos de colección. Estas funciones incluyen Option.map , , , , , y Option.iter Option.forall Option.exists Option.foldBack Option.fold Option.count . Estas funciones permiten usar opciones como una colección de cero o un elemento. Para obtener más información y ejemplos, vea la explicación de las funciones de colección en Listas.

Conversión a otros tipos

Las opciones se pueden convertir en listas o matrices. Cuando una opción se convierte en cualquiera de estas estructuras de datos, la estructura de datos resultante tiene cero o un elemento. Para convertir una opción en una matriz, use Option.toArray . Para convertir una opción en una lista, use Option.toList .

Vea también

• Referencia del lenguaje F#
• Tipos en F#