I am studying patterns and anti-patterns. I have a clear idea about patterns, but I am not getting anti-Patterns. Web Definitions and Wikipedia are confusing me a lot. Can anybody explain to me in simple words that what an anti-pattern is? What is the purpose? What do they do? Is it a bad thing or good thing?
Anti-patterns are certain patterns in software development that is considered a bad programming practice.
As opposed to design patterns which are common approaches to common problems which have been formalized, and are generally considered a good development practice, anti-patterns are the opposite and are undesirable.
For example, in object-oriented programming, the idea is to separate the software into small pieces called objects. An anti-pattern in object-oriented programming is a God object which performs a lot of functions which would be better separated into different objects.
The example above has an object that does everything. In object-oriented programming, it would be preferable to have well-defined responsibilities for different objects to keep the code less coupled and ultimately more maintainable:
Bottom line is, there are good ways to develop software, and commonly used patterns (design patterns) but there are also ways software is developed and implemented which can lead to problems. Patterns that are considered bad software development practices are anti-patterns.
A pattern is an idea of how to solve a problem of some class. An anti-pattern is an idea of how not to solve it because implementing that idea would result in bad design.
An example: a "pattern" would be to use a function for code reuse, an "anti-pattern" would be to use copy-paste for the same. Both solve the same problem, but using a function usually leads to more readable and maintainable code than copy-paste.
As sharptooth put it, an anti-pattern is a way of not solving a problem. But there is more to it: it is also a way that can frequently be seen in attempts to solve the problem.
A common way to make a mess. Like the god/kitchensink class (does everything), for example.
If you really wish to study AntiPatterns, get the book AntiPatterns (ISBN-13: 978-0471197133).
In it, they define "An AntiPattern is a literary form that describes a commonly occurring solution to a problem that generates decidedly negative consequences."
So, if it's a bad programming practice but not a common one—limited to one application, one company or one programmer, it does not meet the "Pattern" part of the AntiPattern definition.
Just like with "design pattern" anti pattern is also a template and repeatable ways of solving problems but in a non-optimal and ineffective ways.
Whenever I hear about Anti-patterns, I recollect another term viz. Design smell.
"Design smells are certain structures in the design that indicate violation of fundamental design principles and negatively impact design quality”. (From "Refactoring for Software Design Smells: Managing technical debt")
There are many design smells classified based on violating design principles:
Missing Abstraction: This smell arises when clumps of data or encoded strings are used instead of creating a class or an interface.
Imperative Abstraction: This smell arises when an operation is turned into a class.
Incomplete Abstraction: This smell arises when an abstraction does not support complementary or interrelated methods completely.
Multifaceted Abstraction: This smell arises when an abstraction has more than one responsibility assigned to it.
Unnecessary Abstraction: This smell occurs when an abstraction that is actually not needed (and thus could have been avoided) gets introduced in a software design.
Unutilized Abstraction: This smell arises when an abstraction is left unused (either not directly used or not reachable).
Duplicate Abstraction: This smell arises when two or more abstractions have identical names or identical implementation or both.
Deficient Encapsulation: This smell occurs when the declared accessibility of one or more members of an abstraction is more permissive than actually required.
Leaky Encapsulation: This smell arises when an abstraction “exposes” or “leaks” implementation details through its public interface.
Missing Encapsulation: This smell occurs when implementation variations are not encapsulated within an abstraction or hierarchy.
Unexploited Encapsulation: This smell arises when client code uses explicit type checks (using chained if-else or switch statements that check for the type of the object) instead of exploiting the variation in types already encapsulated within a hierarchy.
Broken Modularization: This smell arises when data and/or methods that ideally should have been localized into a single abstraction are separated and spread across multiple abstractions.
Insufficient Modularization: This smell arises when an abstraction exists that has not been completely decomposed, and a further decomposition could reduce its size, implementation complexity, or both.
Cyclically-Dependent Modularization: This smell arises when two or more abstractions depend on each other directly or indirectly (creating a tight coupling between the abstractions).
Hub-Like Modularization: This smell arises when an abstraction has dependencies (both incoming and outgoing) with a large number of other abstractions.
Missing Hierarchy: This smell arises when a code segment uses conditional logic (typically in conjunction with “tagged types”) to explicitly manage variation in behavior where a hierarchy could have been created and used to encapsulate those variations.
Unnecessary Hierarchy: This smell arises when the whole inheritance hierarchy is unnecessary, indicating that inheritance has been applied needlessly for the particular design context.
Unfactored Hierarchy: This smell arises when there is unnecessary duplication among types in a hierarchy.
Wide Hierarchy: This smell arises when an inheritance hierarchy is “too” wide indicating that intermediate types may be missing.
Speculative Hierarchy: This smell arises when one or more types in a hierarchy are provided speculatively (i.e., based on imagined needs rather than real requirements).
Deep Hierarchy: This smell arises when an inheritance hierarchy is “excessively” deep.
Rebellious Hierarchy: This smell arises when a subtype rejects the methods provided by its supertype(s).
Broken Hierarchy: This smell arises when a supertype and its subtype conceptually do not share an “IS- A” relationship resulting in broken substitutability.
Multipath Hierarchy: This smell arises when a subtype inherits both directly as well as indirectly from a supertype leading to unnecessary inheritance paths in the hierarchy.
Cyclic Hierarchy: This smell arises when a supertype in a hierarchy depends on any of its subtypes.
The above definition and classification is described in "Refactoring for software design smells: Managing technical debt". Some more relevant resources could be found here.
Interestingly a given way of solving a problem can be both a pattern and an anti-pattern. Singleton is the prime example of this. It will appear in both sets of literature.
Anti-patterns are common ways people tend to program the wrong way, or at least the not so good way.
As a non-native English speaker, the first time I saw "Anti-Pattern", I thought it was something against design pattern, explaining why the design pattern is inappropriate in certain circumstances
But surprisingly, anti-pattern is complement of design-pattern, by telling you do NOT use solution A in Situation A
Today, software engineering researchers and practitioners often use the terms “anti-pattern” and “smell” interchangeably. However, they are conceptually not the same. The Wikipedia entry of anti-pattern states that an anti-pattern is different from a bad practice or a bad idea by at least two factors. An anti-pattern is
It clearly indicates that an anti-pattern is chosen in the belief that it is a good solution (as a pattern) to the presented problem; however, it brings more liabilities than benefits. On the other hand, a smell is simply a bad practice that negatively affects the quality of a software system. For example, Singleton is an anti-pattern and God class (or Insufficient Modularization) is a design smell.