Extraire un entier

bonjour
je voulais savoir comment extraire un entier d'une chaine de caractére avec le php
par exemple si j'ai
$a=ABCDE 123456;
comment extraire 123456
merci

3 réponses

  1. Contributeur
    Salut,

    T'as les Regex qui peuvent te faire ça http://ch2.php.net/manual/fr/book.regex.php

    Bonne journée.
    0
    1. <?php
      $chaine = 'ABCDE 123456';
      preg_match_all('#([0-9]+)#','',$resultats);
      echo $resultats[1][0];
      ?>
      Je n'ai pas testé mais avec un peu de chance ...
      0
      1. Contributeur
        preg_match_all('@([0-9]+)@',$chaine,$resultats);

        A ta place, je n'utiliserai pas trop le #, puisque c'est un caractère utilisé dans les regex (début de chaine je crois ...).
        Perso, je préfère le @, qui n'est pas souvent utilisé ...
        0
      2. Je n'ai jamais croisé "#" dans une regex ...
        Pour indiquer le début d'une chaine, c'est l'accent circonflexe, et pour la fin, le dollar.
        0
      3. Contributeur
        A ouais, juste :D
        Il me semblait quand même que j'en ai croisé quelque part ... mais je peux me tromper ^^
        0
    2. merci a tous j'ai résolue mon probleme par

      list($var1, $var2) = explode(" ", $chaine);
      avec var1 est le caractére et var2 et l'entier
      0