QuickHashIntSet::loadFromFile
(PECL quickhash >= Unknown)
QuickHashIntSet::loadFromFile — Créer un ensemble depuis un fichier
Description
$filename
[, int $size
[, int $options
]] ) : QuickHashIntSetCette méthode de fabrique crée un nouveau hash depuis un fichier. Chaque élément correspond à deux entiers signés, le premier est la clé, le second la valeur.
Liste de paramètres
-
filename
-
Le fichier depuis lequel lire l'ensemble.
-
size
-
Le nombre de paquets à configurer. Le nombre passé ici sera automatiquement arrondi à la puissance de deux supérieure. Il est également automatiquement limité à l'intervalle 4 à 4194304.
-
options
-
Les mêmes options que le constructeur de la classe accepte, sauf l'option de taille, qui sera ignorée. La taille est calculée automatiquement pour correspondre au nombre d'entrées dans le hash, arrondie à la puissance de deux supérieure (limite maximale de 4194304).
Exemples
Exemple #1 Exemple QuickHashIntSet::loadFromFile()
<?php
$file = dirname( __FILE__ ) . "/simple.set";
$set = QuickHashIntSet::loadFromFile(
$file,
QuickHashIntSet::DO_NOT_USE_ZEND_ALLOC
);
foreach( range( 0, 0x0f ) as $key )
{
printf( "Key %3d (%2x) is %s\n",
$key, $key,
$set->exists( $key ) ? 'set' : 'unset'
);
}
?>
L'exemple ci-dessus va afficher quelque chose de similaire à :
Key 0 ( 0) is unset Key 1 ( 1) is set Key 2 ( 2) is set Key 3 ( 3) is set Key 4 ( 4) is unset Key 5 ( 5) is set Key 6 ( 6) is unset Key 7 ( 7) is set Key 8 ( 8) is unset Key 9 ( 9) is unset Key 10 ( a) is unset Key 11 ( b) is set Key 12 ( c) is unset Key 13 ( d) is set Key 14 ( e) is unset Key 15 ( f) is unset
Document créé le 30/01/2003, dernière modification le 26/10/2018
Source du document imprimé : https://www.gaudry.be/php-rf-quickhashintset.loadfromfile.html
L'infobrol est un site personnel dont le contenu n'engage que moi. Le texte est mis à disposition sous licence CreativeCommons(BY-NC-SA). Plus d'info sur les conditions d'utilisation et sur l'auteur.
Références
Ces références et liens indiquent des documents consultés lors de la rédaction de cette page, ou qui peuvent apporter un complément d'information, mais les auteurs de ces sources ne peuvent être tenus responsables du contenu de cette page.
L'auteur de ce site est seul responsable de la manière dont sont présentés ici les différents concepts, et des libertés qui sont prises avec les ouvrages de référence. N'oubliez pas que vous devez croiser les informations de sources multiples afin de diminuer les risques d'erreurs.