cast
De Wiktionnaire, le dictionnaire libre
De Wiktionnaire, le dictionnaire libre
Étymologie manquante ou incomplète. Si vous la connaissez, vous pouvez l’ajouter en cliquant ici.
cast \kast\ masculin
Pour obtenir la valeur de la copie boxed, vous devez utiliser ce que l'on appelle un cast. Il s'agit d'une opération qui vérifie s'il n'y a pas de risque à convertir un type en un autre avant d'effectuer la conversion.— (John Sharp, Dominique Maniez, Visual C# 2010 étape par étape, 2010)
Dès qu'il y a risque de perte en précision (float en int, long en byte, par exemple), il vous faut programmer un cast explicite.— (Emmanuel Puybaret, Bien programmer en Java 7 Avec plus de 50 études de cas et des comparaisons avec C++ et C#, 2012)
cast \ˈkɑːst\ (Royaume-Uni) ou \ˈkæst\ (États-Unis)
Informatique :
Cinéma, télévision, théâtre
Cinéma, télévision, théâtre :
Temps | Forme |
---|---|
Infinitif | to cast \ˈkɑːst\ ou \ˈkæst\ |
Présent simple, 3e pers. sing. |
casts \ˈkɑːsts\ ou \ˈkæsts\ |
Prétérit | cast \ˈkɑːst\ ou \ˈkæst\ |
Participe passé | cast \ˈkɑːst\ ou \ˈkæst\ |
Participe présent | casting \ˈkɑːs.tɪŋ\ ou \ˈkæs.tɪŋ\ |
voir conjugaison anglaise |
cast intransitif \ˈkɑːst\ (Royaume-Uni) ou \ˈkæst\ (États-Unis) irrégulier
cast transitif
Informatique :
Marine :
Cette entrée est considérée comme une ébauche à compléter en ancien occitan. Si vous possédez quelques connaissances sur le sujet, vous pouvez les partager en modifiant dès à présent cette page (en cliquant sur le lien « modifier le wikicode »). |
cast masculin
cast [Prononciation ?]
Cette entrée est considérée comme une ébauche à compléter en occitan. Si vous possédez quelques connaissances sur le sujet, vous pouvez les partager en modifiant dès à présent cette page (en cliquant sur le lien « modifier le wikicode »). |
cast \ˈkast\ (graphie normalisée) masculin
cast \ˈkast\ (graphie normalisée)
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.