Τι είναι το άθροισμα τύπων και πώς το υλοποιούμε σε…

Το άθροισμα τύπων (ή ενωμένη με ετικέτα, διαζευκτική ένωση) είναι ένας τύπος δεδομένων που μπορεί να πάρει την τιμή μιας από πολλές προκαθορισμένες επιλογές. Σε αντίθεση με το προϊόν τύπων (δομές), όπου η τιμή περιέχει όλα τα πεδία ταυτόχρονα, το άθροισμα τύπων περιέχει μόνο μία από τις δυνατές τιμές.

Στη Go, δεν υπάρχει άμεση υποστήριξη για το άθροισμα τύπων όπως σε γλώσσες όπως Haskell ή Rust (enum). Το άθροισμα τύπων μπορεί να προσομοιωθεί με διάφορους τρόπους:

Διασυνδέσεις και δήλωση τύπου (Type Assertion):

Δημιουργήστε μια διασύνδεση που θα υλοποιούν όλες οι πιθανές επιλογές. Η τιμή του άθροισματος τύπων θα αντιπροσωπεύει αυτή τη διασύνδεση, και για τον καθορισμό της συγκεκριμένης επιλογής χρησιμοποιείται δήλωση τύπου ή type switch.

package main

import "fmt"

// Shape - διασύνδεση που αντιπροσωπεύει το άθροισμα τύπων
type Shape interface {
	Area() float64
}

// Circle - μια από τις επιλογές
type Circle struct {
	Radius float64
}

func (c Circle) Area() float64 {
	return 3.14 * c.Radius * c.Radius
}

// Rectangle - άλλη επιλογή
type Rectangle struct {
	Width, Height float64
}

func (r Rectangle) Area() float64 {
	return r.Width * r.Height
}

func main() {
	shapes := []Shape{Circle{Radius: 5}, Rectangle{Width: 3, Height: 4}}

	for _, s := range shapes {
		// Χρήση switch τύπου για τον καθορισμό της επιλογής
		switch v := s.(type) {
		case Circle:
			fmt.Printf("Κύκλος με ακτίνα %.2f, επιφάνεια: %.2f\n", v.Radius, v.Area())
		case Rectangle:
			fmt.Printf("Ορθογώνιο με διαστάσεις %.2f x %.2f, επιφάνεια: %.2f\n", v.Width, v.Height, v.Area())
		default:
			fmt.Println("Άγνωμο σχήμα")
		}
	}
}

Δομές με boolean σημαίες (σπάνια χρησιμοποιείται):

Η δομή περιέχει πεδία για όλες τις πιθανές επιλογές και boolean σημαίες για να υποδείξει ποια επιλογή είναι ενεργή. Είναι ανασφαλές και δύσκολο στη συντήρηση.

package main

import "fmt"

type Result struct {
	Value int  // Πεδίο για επιτυχημένο αποτέλεσμα
	Err   error // Πεδίο για σφάλμα

	IsValue bool // Σημαία που δείχνει αν το Value είναι ενεργό
	IsErr   bool // Σημαία που δείχνει αν το Err είναι ενεργό
}

func Process(input int) Result {
	if input > 0 {
		return Result{Value: input * 2, IsValue: true}
	}
	return Result{Err: fmt.Errorf("αρνητικός αριθμός: %d", input), IsErr: true}
}

func main() {
	res1 := Process(10)
	if res1.IsValue {
		fmt.Printf("Αποτέλεσμα: %d\n", res1.Value)
	} else if res1.IsErr {
		fmt.Printf("Σφάλμα: %v\n", res1.Err)
	}

	res2 := Process(-5)
	if res2.IsValue {
		fmt.Printf("Αποτέλεσμα: %d\n", res2.Value)
	} else if res2.IsErr {
		fmt.Printf("Σφάλμα: %v\n", res2.Err)
	}
}

Δομές με μηδενική τιμή για ανενεργά πεδία (συχνά χρησιμοποιείται για Optional/Result):

Η δομή περιέχει πεδία για όλες τις πιθανές επιλογές, αλλά μόνο ένα από αυτά θα είναι μηδενικό. Λειτουργεί καλά για δείκτες ή τύπους με σαφές "μηδενικό" αξία.

package main

import "fmt"

// Option - εξομοίωση του Some/None από τον προαιρετικό τύπο
type Option struct {
	Value *int // Μη μηδενικό αν υπάρχει τιμή
}

// None δημιουργεί μια μηδενική τιμή Option
func None() Option {
	return Option{}
}

// Some δημιουργεί ένα Option με τιμή
func Some(val int) Option {
	return Option{Value: &val}
}

func main() {
	opt1 := Some(10)
	if opt1.Value != nil {
		fmt.Printf("Τιμή: %d\n", *opt1.Value)
	} else {
		fmt.Println("Χωρίς τιμή")
	}

	opt2 := None()
	if opt2.Value != nil {
		fmt.Printf("Τιμή: %d\n", *opt2.Value)
	} else {
		fmt.Println("Χωρίς τιμή")
	}
}

Ο πιο ιδιωματικός και ασφαλής τρόπος προσομοίωσης του άθροισματος τύπων στη Go είναι η χρήση διασυνδέσεων και type switch. Αυτό διασφαλίζει ότι μόνο μία από τις επιλογές υπάρχει και παρέχει ασφάλεια τύπων κατά την εργασία με αυτήν.

Τι είναι το άθροισμα τύπων και πώς το υλοποιούμε σε Go;