Scope of #define preprocessor in C

Question

The scope of #define is till the end of the file. But where does it start from. Basically I tried the following code.

 #include
          


        

Answer 1

The C preprocessor runs through the file top-to-bottom and treats #define statements like a glorified copy-and-paste operation. Once it encounters the line #define pi 3.14, it starts replacing every instance of the word pi with 3.14. The pre-processor does not process (or even notice) C-language scoping mechanisms like parenthesis and curly braces. Once it sees a #define, that definition is in effect until either the end of the file is reached, the macro is un-defined with #undef, or (as in this case) the macro is re-defined with another #define statement.

If you are wanting constants that obey the C scoping rules, I suggest using something more on the lines of const float pi = 3.14;.

Answer 2

As far as I know, the preprocessor uses #define statements in the order that it encounters them. In that case, your first printf statement correctly prints 3.14 and the second 3.141516 (is there a typo in the output from your program?).

Answer 3

The scope of a #define is from the occurrence, to the end of the file (or a corresponding #undef), regardless of any intervening C scopes.

Answer 4

Here is what roughly looks like after the preprocessor done with your file:

 void fun();
 int main()
 {
    printf("%f \n",3.14);
   
    fun();
    return 0;
 }
 void fun(){
 printf("%f \n",3.141516);}

These are the lines that go to the compiler for compilation(I discarded many of the codes for the sake of clarity, only kept what you coded). As the preprocessor replaces the #define directive with the text/value you provided thus you don't see the #define directives anymore after preprocessing. So it is clear what is going to be printed on the console/terminal.

Answer 5

When you have preprocessor question:

gcc -E foo.c > foo.i; vim foo.i

Answer 6

Preprocessor has no concept of "scope" -- it manipulates the text of the program, without any idea of what the text is

Symbol is defined from its definition until the end of the compilation unit (a source file and and files it includes)