QuickHashIntSet::loadFromFile

(PECL quickhash >= Unknown)

QuickHashIntSet::loadFromFileThis factory method creates a set from a file

Beschreibung

public static QuickHashIntSet::loadFromFile(string $filename, int $size = ?, int $options = ?): QuickHashIntSet

This factory method creates a new set from a definition file on disk. The file format consists of 32 bit signed integers packed together in the Endianness that the system that the code runs on uses.

Parameter-Liste

filename

The filename of the file to read the set from.

size

The amount of bucket lists to configure. The number you pass in will be automatically rounded up to the next power of two. It is also automatically limited from 4 to 4194304.

options

The same options that the class' constructor takes; except that the size option is ignored. It is automatically calculated to be the same as the number of entries in the set, rounded up to the nearest power of two with a maximum limit of 4194304.

Rückgabewerte

Returns a new QuickHashIntSet.

Beispiele

Beispiel #1 QuickHashIntSet::loadFromFile() example

<?php
$file 
dirname__FILE__ ) . "/simple.set";
$set QuickHashIntSet::loadFromFile(
    
$file,
    
QuickHashIntSet::DO_NOT_USE_ZEND_ALLOC
);
foreach( 
range00x0f ) as $key )
{
    
printf"Key %3d (%2x) is %s\n",
        
$key$key,
        
$set->exists$key ) ? 'set' 'unset'
    
);
}
?>

Das oben gezeigte Beispiel erzeugt eine ähnliche Ausgabe wie:

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

Hier Kannst Du einen Kommentar verfassen


Bitte gib mindestens 10 Zeichen ein.
Wird geladen... Bitte warte.
* Pflichtangabe
Es sind noch keine Kommentare vorhanden.

Was genau bedeutet "Vibe Coding"? Ein tiefgehender Blick für Entwickler

In der Welt der Softwareentwicklung gibt es unzählige Wege, wie man an ein Projekt herangeht. Manche schwören auf strikte Planung, andere auf bewährte Algorithmen und wieder andere lassen sich von etwas ganz anderem leiten: ihrem Gefühl. ...

admin

Autor : admin
Kategorie: Software & Web-Development

PHP cURL-Tutorial: Verwendung von cURL zum Durchführen von HTTP-Anfragen

cURL ist eine leistungsstarke PHP-Erweiterung, die es Ihnen ermöglicht, mit verschiedenen Servern über verschiedene Protokolle wie HTTP, HTTPS, FTP und mehr zu kommunizieren. ...

TheMax

Autor : TheMax
Kategorie: PHP-Tutorials

Midjourney Tutorial - Anleitung für Anfänger

Über Midjourney, dem Tool zur Erstellung digitaler Bilder mithilfe von künstlicher Intelligenz, gibt es ein informatives Video mit dem Titel "Midjourney Tutorial auf Deutsch - Anleitung für Anfänger" ...

Mike94

Autor : Mike94
Kategorie: KI Tutorials

Tutorial veröffentlichen

Tutorial veröffentlichen

Teile Dein Wissen mit anderen Entwicklern weltweit

Du bist Profi in deinem Bereich und möchtest dein Wissen teilen, dann melde dich jetzt an und teile es mit unserer PHP-Community

mehr erfahren

Tutorial veröffentlichen

Löschen nach einen gewissen Datum in einer TXT-Datenbank

Sieh dir diese Zeile mal genau an: if (substr($line, 0, 62) == "" AND substr(trim($line), 62) > $num) Wie können die ersten 62 Zeichen nichts se ...

Geschrieben von scatello am 13.11.2025 13:32:14
Forum: Off-Topic Diskussionen
Was würdet ihr euch von einem Web-Framework wünschen?

Hallo! Ich bin selbst kein PHP-Spezialist, sondern entwickle Dev-Tools (Open Source). Ich bin gerade dabei, ein Web-Framework der nächsten Gener ...

Geschrieben von Mondegreen am 13.11.2025 09:13:47
Forum: PHP Developer Forum
Löschen nach einen gewissen Datum in einer TXT-Datenbank

Sorry, das muss so sein: $datenbank = "anzeigen.php"; Die Datei kann auch mit Endung "db" oder "inc" enden. $num ist der Datensatz, neuer Datensa ...

Geschrieben von maiky am 13.11.2025 08:29:19
Forum: Off-Topic Diskussionen
Datumausgabe *HEUL*

Um das Datum in deinem Gästebuch von yyyy-mm-dd in das Format dd.mm.yyyy zu ändern, kannst du die DateTime-Klasse verwenden, um das Datum entspr ...

Geschrieben von thomast am 13.11.2025 04:32:06
Forum: SQL / Datenbanken