Open In App

How a Preprocessor works in C?

Compiling a C program – Behind the Scene

A Preprocessor is a system software (a computer program that is designed to run on computer’s hardware and application programs). It performs preprocessing of the High Level Language(HLL). Preprocessing is the first step of the language processing system. Language processing system translates the high level language to machine level language or absolute machine code(i.e. to the form that can be understood by machine).

  1. Removing comments : It removes all the comments. A comment is written only for the humans to understand the code. So, it is obvious that they are of no use to a machine. So, preprocessor removes all of them as they are not required in the execution and won’t be executed as well.

    This is how to see a file with removed comments in linux) :
    Write a C code (let the file name be prog.c). Preprocess it using the command gcc -E prog.c


    You will see the output with the code having no comments.

    This file is saved with a ‘.i’ extension (prog.i) which will be input to the compiler.

  2. File inclusion : Including all the files from library that our program needs. In HLL we write #include which is a directive for the preprocessor that tells it to include the contents of the library file specified. For example, #include will tell the preprocessor to include all the contents in the library file stdio.h.
    This can also be written using double quotes – #include “stdio.h”
    Note: If the filename is enclosed within angle brackets, the file is searched for in the standard compiler include paths. If the filename is enclosed within double quotes, the search path is expanded to include the current source directory.
  3. Macro expansion : Macros can be called as small functions that are not as overhead to process. If we have to write a function (having a small definition) that needs to be called recursively (again and again), then we should prefer a macro over a function.
    So, defining these macros is done by preprocessor.
    #define SI 1000

    is a simple example of a macro.

    • There are two types of macros: Object-like (do not take parameters) and function-like (Can take parameters)
      // object-like macro
      #define       
      // function-like macro          
      #define () 
    • You can delete a macro definition with #undef:
      // delete the macro
      # undef 
    • We can write multi-line macro same like function, but each statement ends with “\”.
      #include <stdio.h>
         
      #define MACRO(num, str) {\
                  printf("%d", num);\
                  printf(" is");\
                  printf(" %s number", str);\
                  printf("\n");\
                 }
      
      
Article Tags :