¿Cuál es el motivo técnico para "la aseveración de búsqueda DEBE ser de longitud fija" en expresiones regulares?

Question

Por ejemplo, la expresión regular a continuación hará que la presentación de informes error de aserción de búsqueda hacia atrás no es fijo longitud:

#(?<!(?:(?:src)|(?:href))=["\']?)((?:https?|ftp)://[^\s\'"<>()]+)#S 

Tal tipo de restricción no existe para lookahead.

Answer 1

Lookahead y búsqueda hacia atrás no son casi tan similar como sus nombres lo indican. La expresión de búsqueda anticipada funciona exactamente igual que si fuera una expresión regular independiente, excepto que está anclada en la posición de coincidencia actual y no consume lo que coincide.

de búsqueda hacia atrás es una historia completamente diferente. Comenzando en la posición de coincidencia actual, retrocede el texto un carácter a la vez, intentando emparejar su expresión en cada posición. En los casos en que no es posible la coincidencia, el lookbehind tiene que recorrer todo el camino hasta el comienzo del texto (un personaje a la vez, recuerda) antes de que se rinda. Compare eso con la expresión de anticipación, que se aplica exactamente una vez.

Ésta es una simplificación excesiva, por supuesto, y no todos los sabores funciona de esa manera, pero se entiende la idea. La forma se aplican lookbehinds es fundamentalmente diferente de (y mucho, mucho menos eficiente que) la forma en que se aplican los símbolos de anticipación. Solo tiene sentido establecer un límite sobre cuánto debe mirar el aspecto detrás.

Answer 2

En primer lugar, esto no es cierto para todas las bibliotecas de expresiones regulares (como .NET).

Para PCRE, la razón parece ser:

La aplicación de búsqueda hacia atrás afirmaciones es decir, para cada alternativa, para mover temporalmente la posición actual hacia atrás por el ancho fijo y luego tratar de igualar .

(al menos, según http://www.autoitscript.com/autoit3/pcrepattern.html).

Answer 3

que tenían el mismo problema y se fija mediante el uso de (?: subexpression)

Define un grupo que no captura. como Write(?:Line)? "WriteLine" en "Console.WriteLine()" "Escribir" en "Console.Write (valor)"

que tenía que cambiar la expresión regular por debajo del cual se supone que debe tomar antes de ,o algo en el inicio de la cadena que me daba aseveración lookbehind no es de longitud fija.

(?<=,|^) 

con esto,

(?:(?<=,)|^) 

Answer 4

PCRE no soporta flotante de búsqueda hacia atrás, ya que puede causar graves problemas de rendimiento. Esto se debe a la falta de capacidad de coincidencia de derecha a izquierda: PCRE puede iniciar una bifurcación solo a partir de una izquierda fija, pero a la izquierda de una bifurcación de longitud variable no puede corregirse.

En general, si es posible, intente dividir su parte posterior en patrones de longitud fija. Por ejemplo, en lugar de:

(?<=(src|href)=")etc. 

(1) uso esto:

(?:(?<=src=")|(?<=href="))etc. 

(2) O con \K:

(src|href)="\Ketc. 

Tenga en cuenta que \K no es un verdadero mirar hacia atrás, porque siempre comienza la búsqueda al final del partido anterior (sin posible retroceso en el matc anterior h).

(3) En algunos casos complejos de solo mirar puede buscar con una expresión de búsqueda anticipada "invertida" en una secuencia invertida. No demasiado elegante, pero funciona:

.cte(?="=(ferh|crs)) 

Answer 5

grep -P '(?<=((three)|(one)))two' <<< "one two three three two one" 
grep: lookbehind assertion is not fixed length 

grep -P '((?<=(three))|(?<=(one)))two' <<< "one two three three two one" 
one two three three two one