Laravel Live Japan

rewinddir

(PHP 4, PHP 5, PHP 7, PHP 8)

rewinddirRetourne à la première entrée du dossier

Description

rewinddir(?resource $dir_handle = null): void

Réinitialise le flux de dossier indiqué par dir_handle au début du dossier. Resets the directory stream indicated by dir_handle to the beginning of the directory.

Liste de paramètres

dir_handle
Un gestionnaire de dossier resource précédemment ouvert avec opendir(). Si dir_handle est null le dernier gestionnaire ouvert avec opendir() sera utilisé.

Valeurs de retour

Aucune valeur n'est retournée.

Historique

Version Description
8.5.0 Utiliser null pour dir_handle est maintenant dépréciée. A la place, le dernier gestionnaire de dossier ouvert doit être fourni explicitement.
8.0.0 context is now nullable.

Exemples

Pour un exemple complet, référez-vous à la documentation de opendir().

Voir aussi

  • opendir() - Ouvre un dossier, et récupère un pointeur dessus
  • readdir() - Lit une entrée du dossier
  • closedir() - Ferme le pointeur sur le dossier
  • dir() - Retourne une instance de la classe Directory
  • is_dir() - Indique si le fichier est un dossier
  • glob() - Recherche des chemins qui vérifient un masque
  • scandir() - Liste les fichiers et dossiers dans un dossier
add a note

User Contributed Notes 2 notes

up
6
ASchmidt at Anamera dot net
7 years ago
It is crucial to note that rewinddir() does not simply start over at the beginning of the SAME directory list. Instead, this function first re-reads the directory - thus any file that were deleted (or inserted) since the original opendir() will be reflected after "rewinding".

In that respect, rewinddir() is equivalent to a closedir(), opendir() sequence, but without obtaining a new handle.
up
6
osamahussain897 at gmail dot com
7 years ago
/* Source Code */

<?php
$dir = "/images/";

// Open a directory, and read its contents
if (is_dir($dir)){
  if ($dh = opendir($dir)){
    // List files in images directory
    while (($file = readdir($dh)) !== false){
      echo "filename:" . $file . "<br>";
    }
    rewinddir();
    // List once again files in images directory
    while (($file = readdir($dh)) !== false){
      echo "filename:" . $file . "<br>";
    }
    closedir($dh);
  }
}
?>

/* Result */

filename: cat.gif
filename: dog.gif
filename: horse.gif
filename: cat.gif
filename: dog.gif
filename: horse.gif
To Top