phpstan strict rules

Reglas extra estrictas y obstinadas para PHPSTAN

Phpstan se enfoca en encontrar errores en su código. Pero en PHP hay mucho margen sobre cómo se pueden escribir cosas. Este repositorio contiene reglas adicionales que giran en torno a un código estrictamente y fuertemente escrito sin un casting suelto para aquellos que desean seguridad adicional en una programación extremadamente defensiva:

• ¡Requiere booleanos en if , elseif , operador ternario, después ! , y en ambos lados de && y || .
• Requieren operandos numéricos o matrices en operandos + y numéricos en - / * / / / ** / % .
• Requiere operando numérico en $var++ , $var-- , ++$var --$var .
• Estas funciones contienen un parámetro $strict para una mejor seguridad de tipo, debe establecerse en true :
  • in_array (3er parámetro)
  • array_search (3er parámetro)
  • array_keys (3er parámetro; solo si se proporciona el segundo parámetro $search_value )
  • base64_decode (2º parámetro)
• Las variables asignadas en la condición de bucle while y for la asignación inicial del bucle no se pueden usar después del bucle.
• Las variables establecidas en foreach que siempre están en bucle gracias a las matrices no vacías no se pueden usar después del bucle.
• Los tipos en la condición switch y el valor case deben coincidir. PHP los compara libremente de forma predeterminada y eso puede conducir a resultados inesperados.
• Verifique que los métodos declarados estáticamente se denominan estáticamente.
• Desactivar empty() - Es una comparación muy floja (ver Manual), se recomienda usar una más estricta.
• Desactivar operador ternario corto ( ?: :) - Implica una comparación débil, se recomienda utilizar operador nulo de Coalesce ( ?? ) o operador ternario con una condición estricta.
• No permitir variables variables ( $$foo , $this->$method() etc.)
• No permitir variables de sobrescritura con variables de clave y valor de Foreach
• Siempre verdadera instanceof , comprobación de tipo is_* y comparaciones estrictas === / !== . Estas verificaciones se pueden desactivar configurando checkAlwaysTrueInstanceof / checkAlwaysTrueCheckTypeFunctionCall / checkAlwaysTrueStrictComparison en falso.
• Caso correcto para los nombres de funciones referenciados y llamados.
• Caso correcto para nombres de métodos heredados e implementados.
• Contravarianza para los tipos de parámetros y covarianza para los tipos de retorno en métodos heredados (también conocido como Principio de sustitución de Liskov - LSP)
• Verifique LSP incluso para obtener métodos estáticos
• Requiere llamar a constructor de padres
• No permitir el uso del operador de retroceso ( $ls = `ls -la` )
• El cierre debe usar $this directamente en lugar de usar $this variable indirectamente

¡Se producen reglas adicionales en lanzamientos posteriores!

Instalación

Para usar esta extensión, requiere en compositor:

 composer require --dev phpstan/phpstan-strict-rules

Si también instala PHPSTAN/Extension-Installer, ¡está listo!

Instalación manual

Si no desea utilizar phpstan/extension-installer , incluya reglas.

 includes:
    - vendor/phpstan/phpstan-strict-rules/rules.neon

Desactivar reglas

Puede deshabilitar las reglas utilizando los parámetros de configuración:

 parameters :
	strictRules :
		disallowedLooseComparison : false
		booleansInConditions : false
		uselessCast : false
		requireParentConstructorCall : false
		disallowedBacktick : false
		disallowedEmpty : false
		disallowedImplicitArrayCreation : false
		disallowedShortTernary : false
		overwriteVariablesWithLoop : false
		closureUsesThis : false
		matchingInheritedMethodNames : false
		numericOperandsInArithmeticOperators : false
		strictFunctionCalls : false
		dynamicCallOnStaticMethod : false
		switchConditionsMatchingType : false
		noVariableVariables : false
		strictArrayFilter : false
		illegalConstructorMethodCall : false

Además de introducir nuevas reglas personalizadas, las reglas PHPSTAN-Strict también cambian los valores predeterminados de algunos parámetros de configuración que están presentes en PHPSTAN. Estos parámetros se documentan en phpstan.org.

Habilitar las reglas uno por uno

Si no desea comenzar a usar todas las reglas estrictas disponibles a la vez, pero solo una o dos, ¡puede!

Puede deshabilitar todas las reglas de las rules.neon incluidas.

 parameters :
	strictRules :
		allRules : false

Luego puede volver a habilitar las reglas individuales con los parámetros de configuración:

 parameters :
	strictRules :
		allRules : false
		booleansInConditions : true

Incluso con strictRules.allRules establecidos en false , parte de este paquete todavía está vigente. Esto se debe a que las reglas PHPSTAN-strict también cambian los valores predeterminados de algunos parámetros de configuración que están presentes en PHPSTAN. Estos parámetros se documentan en phpstan.org.