Propagazione argomenti opzionali

Question

Il seguente codice non viene compilato.

type A(?arg) = 
    member __.Arg : string option = arg 

type B(?arg) = 
    inherit A(arg) //ERROR expected type string but has type 'a option 

presumo questo è perché deve essere fornito un esempio del tipo sottostante dell'opzione, e il compilatore maniglie passa Some/None base di sintassi.

Supponendo che la mia ipotesi sia stata correttamente ipotizzata, esiste una soluzione alternativa? È possibile propagare argomenti opzionali?

Answer 1

F # spec 8.13.5 argomenti opzionali per i membri di metodo

chiamanti possono specificare i valori per gli argomenti opzionali utilizzando le seguenti tecniche:

• Per nome , ad esempio arg2 = 1.
• Propagando un valore opzionale esistente per nome, ad esempio? arg2 = None o? arg2 = Some (3) o? arg2 = arg2. Questo può essere utile quando si costruisce un metodo che passa argomenti opzionali a un altro.

• Utilizzando argomenti normali, senza nome, corrispondenti alla posizione.

  type A(?arg) = 
      member __.Arg : string option = arg 
  
  type B(?arg) = 
      inherit A(?arg = arg) 
  
  printfn "1. %A" (B()).Arg // None 
  printfn "2. %A" (B("1")).Arg // Some "1" 
  
  printfn "3. %A" (A()).Arg // None 
  printfn "4. %A" (A("1")).Arg // Some "1" 
  

Answer 2

Scusate abbiamo dovuto testarlo prima: sembra che tu abbia ragione - devi fare il "?" per A te:

type A(arg : string option) = 
    new (a) = new A(Some a) 
    new() = new A(None) 
    member __.Arg : string option = arg 

type B(?arg) = 
    inherit A(arg)