En programmation informatique, void est un mot-clé que l'on retrouve dans le langage C (qui signifie "vide" ou "nul") et plusieurs autres langages de programmation, comme le C++, le C# ou le Java.
Le mot-clé void peut être utilisé là où se place habituellement le type de retour d'une fonction, comme int pour un entier ou string pour une chaîne de caractères. Lorsque le programmeur écrit void, cela permet d'indiquer que la fonction ne renvoie rien. C'est ce qu'on appelle une procédure dans d'autres langages, comme Pascal et Visual Basic. En algorithmique, elles sont désignées par le terme d'action.
En C et C++, Le mot clé void peut également être utilisé pour déclarer un pointeur universel comme un pointeur de fonction.
Lorsque cette fonction est appelée, elle affiche le message "Coucou !".
void afficher(void)
{
printf("Coucou !\n");
}
Lorsque cette fonction est appelée, elle affiche le message "Coucou !".
private void afficher()
{
Console.WriteLine("Coucou !");
}
Lorsque cette fonction est appelée, elle affiche le message "Coucou !".
void afficher()
{
std::cout < "Coucou !\n";
}
Lorsque cette fonction est appelée, elle affiche le message "Coucou !".
void afficher(){
System.out.println("Coucou !");
}
Php dans sa version 7.1 support également ce type de retour.
Lorsque cette fonction est appelée, elle affiche le message "Coucou !".
function afficher(): void
{
echo "Coucou !";
}
À partir de la version 1.1, void est un opérateur qui évalue l'expression qui lui est donnée et retourne undefined . Sa syntaxe est :
void expression
// ou
void(expression)
L'opérateur void permet d'insérer une expression produisant des effets de bord dans un contexte où la valeur undefined est attendue.
void est aussi utilisé pour obtenir la valeur primitive de undefined (en utilisant void(0) ou "void 0") dans le cas où la variable globale undefined aurait été modifiée.
Enfin dans un navigateur, void peut être utilisé dans un URI avec "javascript:" pour empêcher le changement de page : le navigateur va suivre l'URI retourné sauf si cette valeur est undefined.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
L'objectif de ce cours est d'introduire les étudiants à la pensée algorithmique, de les familiariser avec les fondamentaux de l'Informatique et de développer une première compétence en programmation (
Le type vide est en théorie des types un type qui ne comporte pas de valeurs. On l'abrège communément par bot (de bottom type), le symbole () ou par l'approximation ASCII |. On l'appelle aussi parfois type zéro. Il ne faut pas le confondre avec le type top ou le type unité. Le type top comprend toutes les valeurs d'un système. Le type unité a une seule valeur. On utilise souvent le type vide dans les cas suivants : Pour signifier le faux. Il peut être employé pour définir la négation et exprimer l'axiome ex falso sequitur quodlibet : Pour toute proposition : .
In computer programming, a return statement causes execution to leave the current subroutine and resume at the point in the code immediately after the instruction which called the subroutine, known as its return address. The return address is saved by the calling routine, today usually on the process's call stack or in a register. Return statements in many programming languages allow a function to specify a return value to be passed back to the code that called the function.
Algol 68 est un langage de programmation universel dérivé du langage Algol 60, principalement conçu par des Européens. Au-delà d'Algol 60, l'objectif des concepteurs d'Algol 68 était d'offrir un langage de programmation universel, résolument innovant, dérivant sa puissance d'une conception orthogonale. En Algol 68, le programmeur peut définir de nouveaux types de données, de nouveaux opérateurs, peut surcharger et étendre des opérateurs prédéfinis ; il peut ainsi adapter le langage à un domaine spécifique d'application ; des processus peuvent s'exécuter en parallèle, et se synchroniser à l'aide de sémaphores ; les entrées/sorties exploitent des volumes organisés en livres, pages et lignes.
Modern, statically typed programming languages provide various abstraction facilities at both the term- and type-level. Common abstraction mechanisms for types include parametric polymorphism -- a hallmark of functional languages -- and subtyping -- which ...
Over the past decade, the Scala community has shown great interest in using type-level programming to obtain additional type safety.Unfortunately, the lack of support from the Scala compiler has been a barrier to the adoption of that technique, notably due ...
In this thesis, we explore techniques for the development and verification of programs in a high-level, expressive, and safe programming language. Our programs can express problems over unbounded domains and over recursive and mutable data structures. We p ...