org.sonar.l10n.java.rules.java.S3776.html Maven / Gradle / Ivy
This rule raises an issue when the code cognitive complexity of a function is above a certain threshold.
Why is this an issue?
Cognitive Complexity is a measure of how hard it is to understand the control flow of a unit of code. Code with high cognitive complexity is hard
to read, understand, test, and modify.
As a rule of thumb, high cognitive complexity is a sign that the code should be refactored into smaller, easier-to-manage pieces.
Which syntax in code does impact cognitive complexity score?
Here are the core concepts:
- Cognitive complexity is incremented each time the code breaks the normal linear reading flow.
This concerns, for example,
loop structures, conditionals, catches, switches, jumps to labels, and conditions mixing multiple operators.
- Each nesting level increases complexity.
During code reading, the deeper you go through nested layers, the harder it
becomes to keep the context in mind.
- Method calls are free
A well-picked method name is a summary of multiple lines of code. A reader can first explore a
high-level view of what the code is performing then go deeper and deeper by looking at called functions content.
Note: This does not
apply to recursive calls, those will increment cognitive score.
The method of computation is fully detailed in the pdf linked in the resources.
Exceptions
equals and hashCode methods are ignored because they might be automatically generated and might end up being difficult to
understand, especially in the presence of many fields.
How to fix it
Reducing cognitive complexity can be challenging.
Here are a few suggestions:
- Extract complex conditions in a new function.
Mixed operators in condition will increase complexity. Extracting the
condition in a new function with an appropriate name will reduce cognitive load.
- Break down large functions.
Large functions can be hard to understand and maintain. If a function is doing too many
things, consider breaking it down into smaller, more manageable functions. Each function should have a single responsibility.
- Avoid deep nesting by returning early.
To avoid the nesting of conditions, process exceptional cases first and return
early.
Code examples
Extraction of a complex condition in a new function.
Noncompliant code example
The code is using a complex condition and has a cognitive cost of 3.
double calculateFinalPrice(User user, Cart cart) {
double total = calculateTotal(cart);
if (user.hasMembership() // +1 (if)
&& user.ordersCount() > 10 // +1 (more than one condition)
&& user.isAccountActive()
&& !user.hasDiscount()
|| user.ordersCount() == 1) { // +1 (change of operator in condition)
total = applyDiscount(user, total);
}
return total;
}
Compliant solution
Even if the cognitive complexity of the whole program did not change, it is easier for a reader to understand the code of the
calculateFinalPrice function, which now only has a cognitive cost of 1.
double calculateFinalPrice(User user, Cart cart) {
double total = calculateTotal(cart);
if (isEligibleForDiscount(user)) { // +1 (if)
total = applyDiscount(user, total);
}
return total;
}
boolean isEligibleForDiscount(User user) {
return user.hasMembership()
&& user.ordersCount() > 10 // +1 (more than one condition)
&& user.isAccountActive()
&& !user.hasDiscount()
|| user.ordersCount() == 1; // +1 (change of operator in condition)
}
Break down large functions.
Noncompliant code example
For example, consider a function that calculates the total price of a shopping cart, including sales tax and shipping.
Note: The code
is simplified here, to illustrate the purpose. Please imagine there is more happening in the for loops.
double calculateTotal(Cart cart) {
double total = 0;
for (Item item : cart.items()) { // +1 (for)
total += item.price;
}
// calculateSalesTax
for (Item item : cart.items()) { // +1 (for)
total += 0.2 * item.price;
}
//calculateShipping
total += 5 * cart.items().size();
return total;
}
This function could be refactored into smaller functions: The complexity is spread over multiple functions and the complex
calculateTotal has now a complexity score of zero.
Compliant solution
double calculateTotal(Cart cart) {
double total = 0;
total = calculateSubtotal(cart, total);
total += calculateSalesTax(cart, total);
total += calculateShipping(cart, total);
return total;
}
double calculateShipping(Cart cart, double total) {
total += 5 * cart.items().size();
return total;
}
double calculateSalesTax(Cart cart, double total) {
for (Item item : cart.items()) { // +1 (for)
total += 0.2 * item.price;
}
return total;
}
double calculateSubtotal(Cart cart, double total) {
for (Item item : cart.items()) { // +1 (for)
total += item.price;
}
return total;
}
Avoid deep nesting by returning early.
Noncompliant code example
The below code has a cognitive complexity of 6.
double calculateDiscount(double price, User user) {
if (isEligibleForDiscount(user)) { // +1 ( if )
if (user.hasMembership()) { // +2 ( nested if )
return price * 0.9;
} else if (user.ordersCount() == 1) { // +1 ( else )
return price * 0.95;
} else { // +1 ( else )
return price;
}
} else { // +1 ( else )
return price;
}
}
Compliant solution
Checking for the edge case first flattens the if statements and reduces the cognitive complexity to 3.
double calculateDiscount(double price, User user) {
if (!isEligibleForDiscount(user)) { // +1 ( if )
return price;
}
if (user.hasMembership()) { // +1
return price * 0.9;
}
if (user.ordersCount() == 1) { // +1 ( if )
return price * 0.95;
}
return price;
}
Pitfalls
As this code is complex, ensure that you have unit tests that cover the code before refactoring.
Resources
Documentation
- Sonar - Cognitive Complexity
Articles & blog posts
- Sonar Blog - 5 Clean Code Tips for Reducing
Cognitive Complexity