Solidity Control Structures. A Beginner’s Guide

Table of Contents

Introduction

Control structures are essential elements in Solidity programming that allow developers to control the flow of execution in a smart contract. Understanding these structures is crucial for building robust and efficient Ethereum-based applications. In this beginner’s guide, we will delve into the concepts and syntax of control structures in Solidity, providing detailed code examples to facilitate comprehension.

What are Control Structures in a Solidity Program?

Control structures in Solidity are programming constructs that allow you to control the flow and execution of statements within your code. They enable you to make decisions, iterate over data, and control loops based on certain conditions. By utilizing control structures, you can create dynamic and responsive smart contracts.

Example: Let’s consider a scenario where you want to build a voting system using Solidity. Control structures help you define conditions, loops, and other logical constructs to implement the desired functionality effectively.

To illustrate this, let’s consider the following Solidity code snippet:

function processPayment(uint256 amount) public {
if (amount > 0) {
// Execute payment logic
} else {
// Handle invalid payment amount
}
}

In this example, the “if-else” control structure evaluates the value of the amount parameter and executes the corresponding block of code based on the condition’s outcome.

How Many Control Structures Are There in Solidity?

As shown below, there are seven types of control structures in the Solidity programming language.

Control Structure	Description
if-else	Executes a block of code if a certain condition is true, and another block of code if the condition is false
while	The block of code is executed repeatedly as long as a specified condition remains true
do-while	Executes a block of code once, and then repeatedly executes the block as long as a specified condition is true
for	Executes a block of code a specified number of times
break	Terminates the execution of a loop or a switch statement
continue	Skips the current iteration of a loop and continues with the next iteration
return	Exits the current function and returns a value to the caller

“if-else” Control Structure in Solidity

The “if-else” control structure in Solidity allows you to execute specific blocks of code based on a given condition. If the condition evaluates to true, the code inside the “if” block is executed; otherwise, the code within the “else” block is executed.

Example: Suppose you want to determine whether a person is eligible to vote based on their age. Using the “if-else” control structure, you can write conditional statements that determine whether to allow or deny voting rights to an individual.

It follows this syntax:

if (condition) {
// Code to execute if the condition is true
} else {
// Code to execute if the condition is false
}

Let’s examine a practical example of the “if-else” control structure in Solidity:

function checkEven(uint256 number) public pure returns (bool) {
if (number % 2 == 0) {
return true;
} else {
return false;
}
}

In this code snippet, the function checkEven determines whether the number parameter is even or not using the “if-else” control structure.

“for” Control Structure in Solidity

The “for” control structure in Solidity enables you to iterate over a fixed range of values or elements within an array. It provides a concise and structured way to repeat a block of code a specific number of times.

Example: Imagine you have an array of candidates, and you want to calculate the total number of votes for each candidate. By utilizing the “for” control structure, you can iterate over the array and increment the vote count for each candidate.

It follows this syntax:

for (initialization; condition; increment/decrement) {
// Code to execute in each iteration
}

Consider the following example of the “for” control structure in Solidity:

function countTo(uint256 limit) public pure returns (uint256) {
uint256 count;
for (uint256 i = 0; i <= limit; i++) {
count += i;
}
return count;
}

In this code snippet, the function countTo calculates the sum of numbers from 0 to the limit parameter using the “for” control structure.

“while” Control Structure in Solidity

The “while” control structure in Solidity allows you to repeatedly execute a block of code as long as a specified condition remains true. It’s particularly useful when the number of iterations is unknown in advance.

Example: Suppose you’re developing a game contract where players need to complete a challenge within a certain time limit. You can utilize the “while” control structure to check if the time limit has not expired and execute the game logic accordingly.

It follows this syntax:

while (condition) {
// Code to execute in each iteration
}

Let’s examine a practical example of the “while” control structure in Solidity:

function powerOfTwo(uint256 exponent) public pure returns (uint256) {
uint256 result = 1;
while (exponent > 0) {
result *= 2;
exponent--;
}
return result;
}

In this code snippet, the function powerOfTwo calculates 2 raised to the power of the exponent parameter using the “while” control structure.

“do-while” Control Structure in Solidity

The “do-while” control structure in Solidity is similar to the “while” control structure, but it guarantees that the block of code is executed at least once, even if the condition is initially false.

Example: Let’s say you’re building a user registration system where you want to prompt users to enter their details at least once. With the “do-while” control structure, you can ensure that the registration form is displayed until the user provides the required information.

It follows this syntax:

do {
// Code to execute in each iteration
} while (condition);

Consider the following example of the “do-while” control structure in Solidity:

function countdown(uint256 start) public pure returns (uint256) {
uint256 count = start;
do {
count--;
} while (count > 0);
return count;
}

“break” Control Structure in Solidity

The “break” control structure in Solidity allows you to exit a loop prematurely when a specific condition is met. It provides an efficient way to terminate a loop and move to the next section of code.

Example: Consider a scenario where you’re searching for a specific value within an array. Using the “break” control structure, you can exit the loop as soon as the desired value is found, avoiding unnecessary iterations.

It follows this syntax:

while (condition) {
// code block
if (condition) {
break;
}
// code block
}

Let’s examine a practical example of the “break” control structure in Solidity:

pragma solidity ^0.8.0;

contract BreakExample {
uint[] data;

function loop() public returns (uint[] memory) {
uint8 j = 0;
while (j < 5) {
j++;
if (j == 3) {
break;
}
data.push(j);
}
return data;
}
}

In this example, the contract BreakExample defines a dynamic array data and a function loop(). The loop() function demonstrates the usage of the “break” statement in a while loop. It iterates from 1 to 5, but when j becomes equal to 3, the “break” statement is encountered, terminating the loop. As a result, the array data will contain elements [1, 2].

“continue” Control Structure in Solidity

The “continue” control structure in Solidity is used to skip the current iteration of a loop and move to the next iteration. It allows you to bypass certain code blocks within a loop based on specific conditions.

Example: Suppose you have an array of numbers, and you want to calculate the sum of all even numbers. By utilizing the “continue” control structure, you can skip the odd numbers and only add the even numbers to the sum.

It follows this syntax:

while (condition) {
// code block
if (condition) {
continue;
}
// code block
}

Let’s examine a practical example of the “continue” control structure in Solidity:

pragma solidity ^0.8.0;

contract ContinueExample {
uint[] data;

function loop() public returns (uint[] memory) {
uint8 j = 0;
while (j < 5) {
j++;
if (j == 3) {
continue;
}
data.push(j);
}
return data;
}
}

In this example, the contract ContinueExample defines a dynamic array data and a function loop(). The loop() function showcases the usage of the “continue” statement in a while loop. It iterates from 1 to 5, but when j becomes equal to 3, the “continue” statement is encountered. As a result, the remaining code block inside the loop is skipped for that iteration and the loop proceeds to the next iteration. The array data will contain elements [1, 2, 4, 5].

“return” Control Structure in Solidity

The Solidity programming language uses the “return” control structure to exit a function and provide a return value. It allows you to terminate the execution of a function and provide a result back to the caller.

Example: Imagine you have a function that performs a mathematical calculation and returns the result. By using the “return” control structure, you can exit the function and provide the calculated value as the output.

It follows this syntax:

function functionName(parameters) visibility modifiers returns (returnType) {
// Function body
return returnValue;
}

Let’s examine a practical example of the “return” control structure in Solidity:

pragma solidity ^0.8.0;

contract ReturnExample {
function getValue() public pure returns (uint) {
return 42;
}
}

Solidity Control Structures: An Example

An Example To demonstrate the combined usage of control structures, let’s consider a scenario where a smart contract handles an auction. The contract may include control structures to verify bid amounts, manage time restrictions, and determine the winning bidder.

pragma solidity ^0.8.7;

contract Auction {
address public manager;
address payable[] public bidders;
mapping(address => uint256) public bidAmountsToBidders;
uint256 public minPriceToEnter;
address public highestBidder;
uint256 public highestBid;
bool public auctionEnded;

constructor() {
manager = msg.sender;
minPriceToEnter = 0.01 ether;
}

modifier onlyManager() {
require(msg.sender == manager, "Only the manager can perform this action.");
_;
}

function enter() public payable {
require(msg.value >= minPriceToEnter, "You haven't contributed enough Ether.");
bidders.push(payable(msg.sender));
bidAmountsToBidders[msg.sender] = msg.value;
}

function pickWinner() public onlyManager {
require(bidders.length > 0, "No bidders entered.");

uint256 currentHighestBid = 0;
address payable currentHighestBidder;

for (uint256 i = 0; i < bidders.length; i++) {
if (bidAmountsToBidders[bidders[i]] > currentHighestBid) {
currentHighestBid = bidAmountsToBidders[bidders[i]];
currentHighestBidder = bidders[i];
}
}

highestBidder = currentHighestBidder;
highestBid = currentHighestBid;

auctionEnded = true;

distributeFunds();
}

function distributeFunds() private {
for (uint256 i = 0; i < bidders.length; i++) {
if (bidders[i] != highestBidder) {
bidAmountsToBidders[bidders[i]] = 0;
bidders[i].transfer(bidAmountsToBidders[bidders[i]]);
}
}
}
}

This Solidity code defines an Auction contract where bidders can enter the auction by submitting their bids as Ether. The manager of the auction, specified during contract deployment, can call the pickWinner function to determine the highest bidder and distribute the funds accordingly. The enter function allows bidders to participate in the auction by submitting their bids.

Please note that this is a simplified example, and in a real-world scenario, you would need to consider additional factors. These factors may include bid validation, time restrictions, handling edge cases, etc.

Conclusion

Solidity control structures play a vital role in smart contract development, enabling developers to implement conditional logic, loops, and iterative operations. In this beginner’s guide, we explored the concepts and syntax of control structures in Solidity, providing detailed code examples for better understanding.

References

Solidity Documentation: Control Structures

Understanding Smart Contracts and Solidity Programming

Cookie	Duration	Description
_GRECAPTCHA	5 months 27 days	This cookie is set by the Google recaptcha service to identify bots to protect the website against malicious spam attacks.
cookielawinfo-checkbox-advertisement	1 year	Set by the GDPR Cookie Consent plugin, this cookie is used to record the user consent for the cookies in the "Advertisement" category .
cookielawinfo-checkbox-analytics	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Analytics".
cookielawinfo-checkbox-functional	11 months	The cookie is set by GDPR cookie consent to record the user consent for the cookies in the category "Functional".
cookielawinfo-checkbox-necessary	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookies is used to store the user consent for the cookies in the category "Necessary".
cookielawinfo-checkbox-others	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Other.
cookielawinfo-checkbox-performance	11 months	This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Performance".
CookieLawInfoConsent	1 year	Records the default button state of the corresponding category & the status of CCPA. It works only in coordination with the primary cookie.
viewed_cookie_policy	11 months	The cookie is set by the GDPR Cookie Consent plugin and is used to store whether or not user has consented to the use of cookies. It does not store any personal data.

Cookie	Duration	Description
__gads	1 year 24 days	The __gads cookie, set by Google, is stored under DoubleClick domain and tracks the number of times users see an advert, measures the success of the campaign and calculates its revenue. This cookie can only be read from the domain they are set on and will not track any data while browsing through other sites.
_ga	2 years	The _ga cookie, installed by Google Analytics, calculates visitor, session and campaign data and also keeps track of site usage for the site's analytics report. The cookie stores information anonymously and assigns a randomly generated number to recognize unique visitors.
_ga_FQRS3JQFP4	2 years	This cookie is installed by Google Analytics.
_ga_QVTFPD7BZW	2 years	This cookie is installed by Google Analytics.
_gat_gtag_UA_230718543_1	1 minute	Set by Google to distinguish users.
_gid	1 day	Installed by Google Analytics, _gid cookie stores information on how visitors use a website, while also creating an analytics report of the website's performance. Some of the data that are collected include the number of visitors, their source, and the pages they visit anonymously.

Cookie	Duration	Description
GoogleAdServingTest	session	No description
wp_api	past	No description
wp_api_sec	past	No description

Solidity String and Bytes. A Beginner’s Guide

Solidity Data Locations. A Beginner’s Guide