Kādi vispārējās programmēšanas līdzekļi pastāv?

Golang ir ir šie bendrojo programavimo (generikų) priemonės:

1. Parametrizētie tipi: Ļauj izveidot struktūras, interfeisus un funkcijas, kas var darboties ar dažādiem datu tipiem bez to stingras norādīšanas kompilācijas laikā. Datu tipi tiek norādīti kvadrātiekavās pēc tipa vai funkcijas nosaukuma.

   // Piemērs ar parametrizētu tipu
   type Stack[T any] struct {
   	elements []T
   }
   
   // Piemērs ar parametrizētām funkcijām
   func Map[T, U any](collection []T, f func(T) U) []U {
   	result := make([]U, len(collection))
   	for i, item := range collection {
   		result[i] = f(item)
   	}
   	return result
   }
   

2. Tipu ierobežojumi (Type Constraints): Nosaka tipu kopumu, kas var tikt izmantots kā ģeneriku parametri. Tie ļauj ierobežot tipu universālumu un nodrošināt operāciju drošību.

   • Interfeisi: Jebkurš interfeiss pats par sevi ir tipu ierobežojums.
   • Apvienotie interfeisi: Ļauj apvienot vairākus tipus vai interfeisus ar operatoru |.

   // Piemērs ar tipu ierobežojumu, izmantojot apvienotu interfeisu
   type Number interface {
   	int | int8 | int16 | int32 | int64 |
   	uint | uint8 | uint16 | uint32 | uint64 | uintptr |
   	float32 | float64 |
   	complex64 | complex128
   }
   
   // Funkcija, kas izmanto tipu ierobežojumu
   func Add[T Number](a, b T) T {
   	return a + b
   }
   

Šīs līdzekļi tika pievienoti Go 1.18 versijā. Pirms tam, lai īstenotu līdzīgu ģeneriku funkcionalitāti, tika izmantotas interfeisi (interface{}) un refleksija, kas samazināja tipu drošību un veiktspēju.