Les produits de production substituables incluraient: le pétrole et le gaz naturel (utilisés pour le chauffage ou l`électricité). La formulation citée par wikipedia est mieux puisque la propriété dépend du contexte et ne comprend pas nécessairement l`ensemble du comportement du programme. Mais il n`est pas possible en C# (je suis un développeur c#) donc je ne me soucie pas d`eux. La façon la plus efficace que j`ai vu pour illustrer ce point a été en tête OOA&D premier. oncle Bob dans un podcast j`ai entendu récemment) était de savoir comment parfois quelque chose qui sonne bien dans le langage naturel ne fonctionne pas tout à fait dans le code. La classe enfant ne doit pas violer ses caractéristiques de classe de base. Cela fait un comportement étrange. Le sous-typage est approprié lorsque les invariants peuvent être énumérés. Lorsqu`il appelle en fait la méthode correspondante de S, chaque argument d`entrée TI est assigné à un paramètre d`entrée si, et la sortie so est assignée au type to. Le livre continue à changer les exigences de dire que le travail de trame de jeu doit également soutenir les planches de jeu 3D pour accueillir les jeux qui ont le vol.

Ce qui signifierait que le LSP est soit assuré, soit non par la langue elle-même. Les langages et les théorèmes de théorème typés de manière dépendante formalisent les modèles de dactylographie d`ordre supérieur. En bref, ce que cela signifie pour le code client de «savoir» que l`objet derrière le pointeur est d`un type dérivé plutôt que le type de pointeur n`est pas limité à la sécurité de type. C`est la force entropique. Règle de signature: il devrait y avoir une implémentation valide de chaque opération du supertype dans le sous-type syntaxiquement. Les marchandises de substitution sont des marchandises qui, à la suite de conditions modifiées, peuvent se remplacer mutuellement en cours d`utilisation (ou de consommation). Alternativement, les invariants peuvent être appliqués en convertissant des assertions en types. Un additif: je me demande pourquoi personne n`a écrit sur l`invariant, les conditions préalables et post de la classe de base qui doivent être respectées par les classes dérivées. Voulez-vous répondre à l`une de ces questions sans réponse à la place? La mesure dans laquelle un bien a un substitut parfait dépend de la façon dont spécifiquement le bien est défini. Toutes les méthodes prennent des coordonnées X et Y comme paramètres pour localiser la position de la vignette dans le tableau à deux dimensions de Tiles. Cette violation subtile impose souvent à un client la possibilité de faire la différence entre les objets concrets employés.