F3: Generiska typer Flashcards
List< int> numbers = new List< int>();
What is “List< T>” called?
What is “T” called?
“List< T>” is a generic type, specifically a generic class
“T” is a type parameter
Why are generics so important?
Generics allow us to write code that works with any data type while retaining static type safety. This means we can reuse the same code for different data types, and still let the compiler find type errors.
Kan alla typer vara generiska?
Nej! Vissa algoritmer kan inte uttryckas utan kunskap om den underliggande typen.
Kod som gör antaganden om den underliggande typen kan inte vara generisk(utan s.k. constraints)
Exempel på antaganden som ej fungerar:
* +, -, >, ==, !=, .Name, .Start()
När du arbetar med generiska typer i C#, T kan vara antingen en värdetyp eller en referenstyp. Men utan specifika begränsningar (constraints), vet inte kompilatorn om T är en värdetyp eller referenstyp, och därför kan den inte anta att vissa operationer är säkra eller giltiga.
För att hantera dessa begränsningar introducerar C# “constraints” i generiska definitioner, som låter dig specificera mer information om vad T är. Till exempel, om du vet att en viss metod bara är meningsfull för referenstyper, kan du begränsa T till referenstyper med hjälp av where T : class begränsningen. Det finns också motsvarande where T : struct för värdetyper.
What are the main benefits of generics?
- Allows writing of code that can be used with whichever datatype
- Allows you to write flexible, reusable code without sacrificing type safety
- Reduces duplication
- Improves maintainability of our code
- No need to know the datatype prior to implementation
Exempel på en typ som inte stödjer operatorn == i C#?
Struct
Vad är en Typ-inferens och vilken funktion fyller den?
En typinferens innebär att kompilatorn automatiskt kan bestämma den mest lämpliga datatypen för variabeln baserat på det värde som tilldelas den.
i C# är exempelvis “var” en typinferens
ex.
* var number = 10; // number är av typen int
* var text = “Hello”; // text är av typen string
Vad är skillnaden på Dynamisk och statisk typsäkerhet?
Statisk typsäkerhet (Compile-time type safety)
- Denna typ av säkerhet granskas vid kompileringstid.
- Om en operation bryter mot typreglerna i ett statiskt typat språk(ex. C#) kommer kompilatorn att generera ett felmeddelande, och koden kommer inte att kompileras.
- Ex. försök tilldela en sträng till en int-variabel
Dynamisk typsäkerhet (Runtime type safety)
- Denna typ av säkerhet granskas vid körningstid.
- I dynamiskt typade språk(ex Python) avgörs typen av en variabel vid körning, och operationer som inte är tillåtna för den aktuella typen kommer att resultera i körningsfel.
Fördelar med Statisk typsäkerhet
- Många typrelaterade fel upptäcks tidigt i utvecklingsprocessen, vilket minskar antalet buggar i körande program.
*Optimering: Kompilatorn kan producera mer effektiv och optimerad kod eftersom den känner till de exakta datatyperna i förväg. - Tydlighet: Koden kan ofta vara lättare att läsa och förstå eftersom datatyperna explicit anges.
- Refaktorisering: Verktyg kan lättare identifiera och ändra relaterad kod när man refaktorerar tack vare den statiska typningen.
Fördelar med dynamisk typsäkerhet
- Flexibilitet: Kan skriva kod snabbare och kortare kod då du ej behöver förklara varje variabels typ
- Lättare metaprogrammering: Dynamiska språk tillåter ofta mer avancerade metaprogrammeringstekniker, där koden kan ändra sig själv vid körning.
- Generella funktioner: Funktioner kan ofta vara mer generella eftersom de kan fungera med data av vilken typ som helst.
- Behöver inte använda sig av mekanismer som Generics
Vad är skillnaden mellan klasserna?
public class CardPair
{
public Card First { get; init; }
public Card Second { get; init; }
}
public class DiceRollPair
{
public DiceRoll First { get; init; }
public DiceRoll Second { get; init; }
}
Den enda skillnaden mellan de två klasserna CardPair och DiceRollPair är typen av deras egenskaper.
Cardpair är avn typen Card
DiceRollpair är av typen DiceRoll
Hur skiljer sig Overloading och Generics?
Overloading är Olika implementationer för olika typer.
Generics är En implementation för alla typer
Vad är ett typargument?
Ett typargument är en specifik typ som du anger när du använder en generisk definition, som en generisk klass eller metod.
Ex.
var intList = new GenericList<int>();
var stringList = new GenericList<string>();</string></int>
Här är int och string typargument
.
pranked
