F # - przeciążanie operatora

Możesz ponownie zdefiniować lub przeciążać większość wbudowanych operatorów dostępnych w języku F #. W ten sposób programista może również używać operatorów z typami zdefiniowanymi przez użytkownika.

Operatory to funkcje o specjalnych nazwach, umieszczonych w nawiasach. Muszą być zdefiniowane jako statyczne elementy klasy. Jak każda inna funkcja, przeciążony operator ma typ zwracany i listę parametrów.

Poniższy przykład przedstawia operator + na liczbach zespolonych -

//overloading + operator
static member (+) (a : Complex, b: Complex) =
Complex(a.x + b.x, a.y + b.y)

Powyższa funkcja implementuje operator dodawania (+) dla klasy Complex zdefiniowanej przez użytkownika. Dodaje atrybuty dwóch obiektów i zwraca wynikowy obiekt Complex.

Implementacja przeciążania operatorów

Poniższy program przedstawia pełną realizację -

//implementing a complex class with +, and - operators
//overloaded
type Complex(x: float, y : float) =
   member this.x = x
   member this.y = y
   //overloading + operator
   static member (+) (a : Complex, b: Complex) =
      Complex(a.x + b.x, a.y + b.y)

   //overloading - operator
   static member (-) (a : Complex, b: Complex) =
      Complex(a.x - b.x, a.y - b.y)

   // overriding the ToString method
   override this.ToString() =
      this.x.ToString() + " " + this.y.ToString()

//Creating two complex numbers
let c1 = Complex(7.0, 5.0)
let c2 = Complex(4.2, 3.1)

// addition and subtraction using the
//overloaded operators
let c3 = c1 + c2
let c4 = c1 - c2

//printing the complex numbers
printfn "%s" (c1.ToString())
printfn "%s" (c2.ToString())
printfn "%s" (c3.ToString())
printfn "%s" (c4.ToString())

Kiedy kompilujesz i wykonujesz program, daje to następujące dane wyjściowe -

7 5
4.2 3.1
11.2 8.1
2.8 1.9