C言語初心者です。
書籍にヘッダファイルの2重インクルードは問題なので、インクルードガードを
するべきだと書かれていますが、2重にインクルードしてみてもコンパイルから
エラーは出ません。

個人的に分割コンパイル時に用意するヘッダファイルには、
1.ソースに必要なヘッダファイルのinclude命令
2.参照される型、マクロの定義
3.参照される関数・変数の外部参照宣言
を含めるようにしています。

2重インクルードは何が問題なのでしょうか?
問題も起こっていないのに愚かな質問とは存じますが、
どなたかご教示くだされば幸甚です。

使用したソースは以下の3ファイルです。
Windows Meで、BorlandC++5.5と、LSIC試食版を使ってコンパイルしてもエラー
がでずに正常にコンパイルされました。

/***tst.c***/
#include <stdio.h>
#include "sub.h"

#define MAX 5

int main( void ) {
    char str[ MAX ];

    printf( "数字:" );
    fgets( str, MAX - 1, stdin );
    func( str );
    printf( "入力された数字:%d\n", num );

    return 0;
}

/***sub.c***/
#include <stdlib.h>
#include "sub.h"
#include "sub.h"    //ここでsub.hを2重にインクルード

int num = 0;
void func( char *pc ) {
    num = atoi( pc );
}

/***sub.h***/
extern int num;
void func( char *pc );

/***sub.h***/
#define MAX 5
#define PRINT() printf( "pnt[%d] x:%d y:%d\n", idx, array[ idx ].x, array[ idx ].y )

/***tst.c***/
#include <stdio.h>
#include "sub.h"

typedef struct pnt_t {
	int	x;
	int	y;
} pnt;

void func( pnt *p_ptr );

pnt array[ MAX ];

int main( void ) {
	int idx;

	func( array );
	for ( idx = 0; idx < MAX; idx++ )
		PRINT();

	return 0;
}

/***sub.c***/
#include "sub.h"
#include "sub.h" 
//ここで2重インクルード
typedef struct pnt_t {
	int	x;
	int	y;
} pnt;

void func( pnt *p_ptr );

void func( pnt *p_ptr ) {
	int idx;

	for ( idx = 0; idx < MAX; idx++ ) {
		p_ptr[ idx ].x = idx;
		p_ptr[ idx ].y = idx;
	}
}

#define NULL ((void *)0)

#ifndef FOO_VALUE
#define FOO_VALUE
#define BAR 0
#else
#define BAR 1
#endif

• 2番目の定義がオブジェクト形式マクロの定義である。
• 二つの置換要素並びが同一である。

• 仮引数の個数とつづりが最初の定義と同一な関数形式マクロの定義である。
• 二つの置換要素並びが同一である。

Constraints
3 There shall be no more than one external definition for each identifier declared with internal linkage in a translation unit. Moreover, if an identifier declared with internal linkage is used in an expression (other than as a part of the operand of a sizeof operator whose result is an integer constant), there shall be exactly one external definition for the identifier in the translation unit.
Semantics
5 Anexternal definition is an external declaration that is also a definition of a function (other than an inline definition) or an object. If an identifier declared with external linkage is used in an expression (other than as part of the operand of a sizeof operator whose result is an integer constant), somewhere in the entire program there shall be exactly one external definition for the identifier; otherwise, there shall be no more than one.

• 内部結合の識別子の定義は翻訳単位中に一つだけ
• 外部結合の識別子の定義はすべての翻訳単位中に一つだけ

6.7.2.3 Tags
Constraints
1 A specific type shall have its content defined at most once.