没有#ifndef 的C 头文件仍然可以工作...为什么？ [复制]

Question

为什么我没有收到错误消息？ 我有三个名为 DataType.h、printInt.h、printStr.h 和一个 myApp.c 的头文件。

数据类型.h

    typedef int Integer;
    typedef char String;

printInt.h

    #include "DataType.h"
    void printInt(Integer);

printInt.c

    #include "printInt.h"
    #include <stdio.h>
    void printInt(Integer number){
        printf("%d\n", number);
    }

printStr.h

    #include "DataType.h"
    void printStr(String*);

printStr.c

   #include "printStr.h"
   #include <stdio.h>
   void printStr(String *str){
       printf("%s\n", str);
   }

myApp.c

    #include "printStr.h"
    #include "printInt.h"
    Integer main(void){
        printInt(20);
        printStr("hello");

        return 0;
    }

显然，我已经包含了两次 DataType.h，并且我没有使用 #ifndef 来避免重新定义 Integer 和 String。请有人告诉我如何获取错误消息以证明指令正常工作。

   #ifndef __DATATYPE_H
   #define __DATATYPE_H
      typedef int Integer;
      typedef char String;
   #endif

不管有没有#ifndef，gcc 编译器（5.4.0 版）都不会产生任何错误信息。怎么了？

Answer 1

typedef 的定义和函数原型可以根据需要多次出现。例如：

typedef int lala;
typedef int lala;

void somePrototype();
void somePrototype();

int main() {
    return 0;
}

会编译得很好：https://ideone.com/4EjfaR

尝试将函数的定义添加到头文件中。然后你会看到你得到一个重新定义错误，并且需要一个标头保护。