Skip to main content

It is a constant

In good old days, C programmers would use preprocessor directive to define constants.

e.g.

#define s 10

But we know now that, as compiler never gets to see these, preprocessor statements are error prone.

Hence we have const s. A constant - defined with keyword const promises that this entity is never going to change. And if we accidentally modify a const, compiler throws an error.

Let us look at an example.

#include<iostream>
using namespace std; 
int main()
{
    int a = 10;
    const int b=12;
    a++;
    b = 18;
} 

When we compile this program, compiler tells us that

default.cpp: In function ‘int main()’:
default.cpp:8:7: error: assignment of read-only variable ‘b’
     b = 18;

So it is catching the error that we are trying to modify a const.

Whenever a local variable or parameter need not be modified, declare it as a const. 

Yes, we can make even parameters as constant. We can make objects constant or even member functions constant.

constant parameters to functions

A function need not have constant parameters. Because, any way the parameters are not modified in the caller. Right?

But what if the parameter is a reference parameter? If a function has a const reference parameter, then this parameter can not be modified by the function. Such constant reference parameters are useful and should be used when we want to send large objects to functions without copying them.

Let us look at an example program which has a function with constant reference parameter.


#include<iostream>
using namespace std;
int swap(int &a,int &b)
{
   int temp = a;
   a = b;
   b = temp;
}
int swap(const int &a,const int &b)
{
   int temp = a;
   a = b;
   b = temp;
}
int main()
{
   int m=10,n=12;
   swap(m,n);
   cout<<"Now m and n are "<<m<<" "<<n<<endl;
   swap(m,n);
   cout<<"Now m and n are "<<m<<" "<<n<<endl;
}
When we compile this program we get an error because we are trying to modify constant parameters a and b in second swap  function.

constref.cpp: In function ‘int swap(const int&, const int&)’:
constref.cpp:12:6: error: assignment of read-only reference ‘a’
    a = b;
      ^
constref.cpp:13:6: error: assignment of read-only reference ‘b’
    b = temp;

So the compiler detects this error and warns us.

We can even have constant data members in classes and constant member functions. We will see them when we discuss about classes.


You can get these notes and also programs, quiz on C++ by downloading the app Simplified C++ by Hegdeapps  

Comments

Popular posts from this blog

Ten questions in C/C++

Let us see some questions in C and C++ Write printf statement in C to print - I got 98% in Maths Can you execute a function before main() in C? If yes, how is it done? Can you write a program to find if a number is even without using modulo operator? How do you define a data member which is common to all objects of a class in C++? Can we have a single constructor for a class, but still create objects from the class passing zero/one and two parameters? What problems might occur if a class has no default constructor? Is the following statement correct? fprintf(stdout,"Hello world");   Why do we use the following statement in C++ program? using namespace std;  Can you write a single statement to check if the number is a power of 2?  What does the following statement mean in C/C++?4 if(a) b++;    So we have 10 questions. How many of these can you answer?   Do you need more questions in C and C++?    You can find t...

Abstract class

 If we can not create any objects of a class, then it is called an abstract class. A class is made abstract by adding at least one pure virtual function to it. Pure virtual function A function is said to be a pure virtual function , if it has no definition but has only declaration. Pure virtual function is defined with the keyword virtual and followed by return type, function name and "=0". class Shape { public: virtual void printarea() =0 ; }; int main () { Shape obj1; //error } Here printarea() function of Shape class is a pure virtual function as it has no body. To make a function as pure virtual function, you should use =0 at the end of virtual function declaration Abstract class When a class has at least one pure virtual function, it is incomplete and no objects can be created from that class. Such a class is called an abstract class . In the earlier example class Shape is an abstract class, and objects can not be created from t...