Differences

This shows you the differences between two versions of the page.

--- principles:invariant_avoidance_principle [2021-09-02 12:37] – old revision restored (2021-05-11 21:58) 65.21.179.175
+++ principles:invariant_avoidance_principle [2021-09-02 20:09] – old revision restored (2021-03-27 09:33) 65.21.179.175
@@ Line 10: / Line 10: @@
 ===== Principle Statement =====
+Avoid Invariants and Preconditions.
@@ Line 19: / Line 21: @@
 ===== Strategies =====
+  * If the language supports that, use references which cannot be ''null''
+    * In C++ use references instead of pointers (see [[#example 3: C++ references]])
+    * In Java use primitive types instead of their object wrappers (''int'' instead of ''Integer'' but not ''int'' instead of ''Customer'')
+  * Use [[patterns:value objects]] instead of primitive types (see [[#example 2: string preconditions]])
+  * Avoid duplication of information. If the same information is stored in different places (maybe in different formats), the values may get out of sync (see also [[Don't repeat Yourself|DRY]]). This also applies to caching.
 ===== Caveats =====
-See section [[#contrary principles]].
+Keep in mind that preconditions and invariants are absolutely necessary for every software. So this principle is constantly violated. Introducing preconditions and invariants is often also done deliberately in order to simplify the code (see [[Keep It Simple Stupid|KISS]]). So the purpose of this principle is mainly to point out that there are drawbacks. By no means invariants are problematic themselves or should be entirely avoided. They just also have disadvantages.
+See also section [[#contrary principles]].
 ===== Origin =====
+This principle is newly introduced here.
 ===== Evidence =====
 /* Comment out what is not applicable and explain the rest: */
-/*
   * [[wiki:Proposed]]
+/*
   * [[wiki:Examined]]
   * [[wiki:Accepted]]
@@ Line 62: / Line 76: @@
-===== Example =====
+===== Examples =====
+==== Example 1: Index Preconditions ====
+<code java>
+public void prettyPrintItem(List<Item> items, int index)
+{
+  ...
+}
+</code>
+This method has the following preconditions:
+  * ''items'' may not be ''null''
+  * ''index'' must be greater or equal ''0''
+  * ''index'' must be lesser than ''items.size()''
+Compare the following solution:
+<code java>
+public void prettyPrintItem(Item item)
+{
+  ...
+}
+</code>
+This is better as it just has one precondition: ''item'' may not be ''null''
+==== Example 2: String Preconditions ====
+<code java>
+public void downloadFile(String url)
+{
+  ...
+}
+</code>
+This method has the following preconditions:
+  * ''url'' may not be ''null''
+  * ''url'' must contain a valid URL (which is even a quite complicated precondition)
+Compare the following method:
+<code java>
+public void downloadFile(URL url)
+{
+  ...
+}
+</code>
+This is better since there is only one precondition: ''url'' may not be ''null''
+==== Example 3: C++ References ====
+Sompare the following two methods:
+<code c++>
+void prettyPrint(SomeClass * obj)
+{
+  ...
+}
+</code>
+<code c++>
+void prettyPrint(SomeClass& obj)
+{
+  ...
+}
+</code>
+In the second version ''obj'' cannot be ''NULL'' as it is a reference and not a pointer. So there is one precondition less.
+==== Example 4: DRY ====
+A class for [[wp>complex numbers]] should either store the real and the imaginary part or absolute value and argument but not both. The values which are not stored can be computed in the getter method.