Generare gli UUID

Gli UUID sono identificatori univoci universali utilizzati principalmente nei linguaggi derivati da XML e nel formato EPUB per contrassegnare in modo unico una risorsa. Come possiamo generare un UUID?

Possiamo ad esempio utilizzare la seguente funzione PHP:

function uuid ( $prefix = '' ) {
    $chars = md5( uniqid( mt_rand(), true ) );
    $uuid  = substr( $chars, 0 ,8 ) . '-';
    $uuid .= substr( $chars, 8, 4 ) . '-';
    $uuid .= substr( $chars, 12, 4 ) . '-';
    $uuid .= substr( $chars, 16, 4 ) . '-';
    $uuid .= substr( $chars, 20, 12 );
    return $prefix . $uuid;
}

Il prefisso è facoltativo ma fortemente consigliato nei documenti web.