Tuyên truyền đối số tùy chọn

Question

Mã sau đây không biên dịch.

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

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

Tôi giả định này là bởi vì một thể hiện của các loại cơ bản của sự lựa chọn phải được cung cấp, và trình biên dịch handle qua Some/None dựa trên cú pháp.

Giả sử giả định của tôi đã được giả định chính xác, có cách giải quyết nào cho vấn đề này không? Có thể truyền bá các đối số tùy chọn không?

Answer 1

F # đặc tả 8.13.5 đối số tùy chọn cho các thành viên phương pháp

Người gọi có thể chỉ định giá trị cho đối số tùy chọn bằng cách sử dụng các kỹ thuật sau:

• Theo tên , chẳng hạn như arg2 = 1.
• Bằng cách truyền giá trị tùy chọn hiện tại theo tên, chẳng hạn như? arg2 = None hoặc? arg2 = Một số (3) hoặc? arg2 = arg2. Điều này có thể hữu ích khi xây dựng một phương thức chuyển đối số tùy chọn sang một đối số khác.

• Bằng cách sử dụng các đối số bình thường, chưa được đặt tên phù hợp theo vị trí.

  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

Xin lỗi đã phải kiểm tra nó trước: có vẻ như bạn đã đúng - bạn phải làm "?" cho A tự hỏi:

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)