多重インクルードエラーの例

Question

前提・実現したいこと

ｃ言語の勉強をしています。#ifndef, #endifの役割を調べたところ「多重インクルードによるエラーを防ぐ」とのことでした。理解を深めるために，「多重インクルードによるエラー」を発生させようと試みています．
（エラー発生➡#ifndef, #endifを用いエラーを解決, という道筋を考えています。）

試したこと

/* main.c */
#include"pi.h"
#include"pi.h"

int main(){
	return 0;
}

/* pi.h */
#define PI 3

発生している問題

上記のコードではエラーが出ることなく，コンパイルできてしまいます．

質問内容

1. 上記のコードでは2重にpi.hがインクルードされていると思うですが，なぜエラーが出ないのしょうか？
2. 「多重インクルードによるエラー」を確認できる例はありますでしょうか？

見当違いの質問をしているかもしれませんが，どなたかご教授いただければ幸いです。

Answer 1

循環参照

ようは無限ループ

// A.h
#include "B.h"

// B.h
#include "A.h"

---

多重定義

2度定義してはいけないもの

// A.h
struct tagFoo{int x;};
static inline int hoge(int x){return x * 2;}

Answer 2

上記のコードでは2重にpi.hがインクルードされていると思うですが，なぜエラーが出ないのしょうか？

C言語規格書のドラフトであるN1570に次のような記述がありました。

An identifier currently defined as an object-like macro shall not be redefined by another #define preprocessing directive unless the second definition is an object-like macro definition and the two replacement lists are identical.

引用元: N1570 6.10.3 Macro replacement 太字は引用者

マクロに依る置き換えが全く同一なら問題ない、というふうにも読み取れそうです。
試しに次のようなコードを書くと、gccはエラーを吐きます。

#define HALF 0.5
#define HALF  .5

一方、次のコードは問題なくコンパイルが通ります。

#define HALF 0.5
#define HALF 0.5

---

「多重インクルードによるエラー」を確認できる例はありますでしょうか？

pi.hをこのように書いてみます。

double pi = 3.14;

コンパイル結果 Wandbox

In file included from prog.c:3:
pi.h:1:8: error: redefinition of 'pi'
 double pi = 3.14;
        ^~
In file included from prog.c:2:
pi.h:1:8: note: previous definition of 'pi' was here
 double pi = 3.14;
        ^~

Comments

[bunkyu]

ご回答ありがとうございました。
納得できました．