Распространение необязательных аргументов

Question

Следующий код не компилируется.

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

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

Я принимаю это происходит потому, что должен быть обеспечен экземпляр базового типа опциона, а компилятор обрабатывает прохождение Some/None на основе синтаксиса.

Предполагая, что мое предположение было правильно принято, существует ли обходное решение для этого? Можно ли распространять необязательные аргументы?

Answer 1

F # спецификации 8.13.5 Необязательные аргументы членам метода

Вызывающие может указать значения для необязательных аргументов, используя следующие методы:

• По названию , такие как arg2 = 1.
• Путем распространения существующего необязательного значения по имени, такого как? arg2 = None или? arg2 = Some (3) или? arg2 = arg2. Это может быть полезно при создании одного метода, который передает необязательные аргументы другому.

• Использование обычных, неназванных аргументов, соответствующих положению.

  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

Извините, что пришлось сначала протестировать его: кажется, что вы правы - вам нужно сделать «?» для А сами:

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)