$30 off During Our Annual Pro Sale. View Details »

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

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.

Alexandre Balmes

June 24, 2020
Tweet

More Decks by Alexandre Balmes

Other Decks in Programming

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