Bonjour,
Dans la description de bit_vector_shift() il est dit que l'opération se fait sur "un vecteur d'une distance quelconque", il est ensuite conseillé d'utiliser bit_vector_extract_zero_ext(). Cependant, pour bit_vector_extract_zero_ext() si la size donnée n'est pas un multiple de 32 il est dit de l'arrondir au multiple supérieur. Donc en utilisant cette méthode le résultat de l'appel à cette méthode sera un vecteur d'une taille multiple de 32 et non pas d'une taille quelconque.
Autrement dit, en utilisant bit_vector_extract_zero_ext() dans bit_vector_shift() il se pourrait que l'on change la taille du vecteur.
Est-il donc important que l'on conserve la taille du vecteur en appelant bit_vector_shift() ?
Merci d'avance pour votre réponse.
