La programmation défensive (ou l’art de ne pas (se) faire confiance)

Douze années d'expérience dans les métiers du développement PHP : beaucoup de ressenti, des succès, des échecs. Des projets internes, pour des tiers, des audits, de la formation, seul, (dans|au dessus|a coté) d'une équipe. Bref, un lot d'aventures qui forgent le caractère.

Tout cela a profondément marqué ma façon d'écrire des lignes de code, ajusté mon critère "qualité" et plus généralement, ma façon de concevoir des applications PHP. Comment est-ce que j'en suis arrivé à ne plus faire confiances aux autres (moi compris) et pourquoi ? Qu'est-ce que je cherche à garantir au travers de cette approche du développement ?

Nous verrons ensemble comment utiliser les règles de la programmation défensive et comment "protéger son code" dans le but d'en assurer la pérénnité tout en garantissant les objectifs suivants : un niveau de qualité sur le long terme, la possibilité de faire des évolutions simplement et un code sur lequel on aime intervenir.

Transcript

1. La programmation défensive
   ou l’art de ne pas (se) faire confiance
   

   View Slide

2. View Slide

3. View Slide

4. View Slide

5. View Slide

6. View Slide

7. View Slide

8. View Slide

9. View Slide

10. View Slide

11. View Slide

12. View Slide

13. View Slide

14. View Slide

15. View Slide

16. View Slide

17. View Slide

18. View Slide

19. View Slide

20. View Slide

21. View Slide

22. View Slide

23. View Slide

24. View Slide

25. View Slide

26. View Slide

27. View Slide

28. View Slide

29. View Slide

30. View Slide

31. View Slide

32. View Slide

33. View Slide

34. View Slide

35. View Slide

36. View Slide

37. View Slide

38. View Slide

39. View Slide

40. class PragmaticController extends AbstractController
    {
    public function indexAction()
    {
    $foobar = $this->get('foobar');
    }
    }
    

    View Slide

41. View Slide

42. View Slide

43. View Slide

44. View Slide

45. View Slide

46. View Slide

47. View Slide

48. View Slide

49. View Slide

50. GOOOOOOOO !
    

    View Slide

51. View Slide

52. View Slide

53. use Webmozart\Assert\Assert;
    class Employee
    {
    public function __construct($id)
    {
    Assert::integer($id, 'The employee ID must be an integer. Got: %s');
    Assert::greaterThan($id, 0, 'The employee ID must be a positive
    integer. Got: %s');
    }
    }
    

    View Slide

54. new Employee('foobar');
    // => InvalidArgumentException:
    // The employee ID must be an integer. Got: string
    new Employee(-10);
    // => InvalidArgumentException:
    // The employee ID must be a positive integer. Got: -10
    

    View Slide

55. View Slide

56. View Slide

57. View Slide

58. View Slide

59. View Slide

60. View Slide

61. View Slide

62. View Slide

63. View Slide

64. View Slide

65. View Slide

66. View Slide

67. View Slide

68. View Slide

69. View Slide

70. View Slide

71. View Slide

72. View Slide

73. View Slide

74. View Slide

75. View Slide

76. View Slide

77. View Slide

78. View Slide

79. View Slide

80. View Slide

81. use function Safe\file_get_contents;
    use function Safe\json_decode;
    // This code is both safe and simple!
    $content = file_get_contents('foobar.json');
    $foobar = json_decode($content);
    

    View Slide

82. View Slide

83. PHP-CS-Fixer
    

    View Slide

84. phpstan.org
    

    View Slide

85. rector
    

    View Slide

86. View Slide

87. View Slide

88. // SPDX-License-Identifier: GPL-3.0
    pragma solidity >=0.5.0 <0.7.0;
    contract C {
    function f(uint a, uint b) public pure returns
    (uint) {
    return a * (b + 42);
    }
    }
    

    View Slide

89. /** @psalm-external-mutation-free */
    class Counter {
    private int $count = 0;
    public function increment() : void {
    $this->count++;
    }
    public function getCount() : int {
    return $this->count;
    }
    }
    

    View Slide

90. /** @psalm-pure */
    function makeCounter() : Counter {
    $a = new Counter();
    $a->increment(); // this is fine
    return $a;
    }
    

    View Slide

91. /** @psalm-pure */
    function takeCounter(Counter $a) : Counter {
    $a->increment(); // Counter already exists, this is a
    mutation
    return new Counter();
    }
    

    View Slide

92. View Slide

93. View Slide

94. View Slide

95. View Slide

96. View Slide

97. View Slide

98. View Slide

99. View Slide