如何在编译时检测C++代码是否处于extern "C"代码块中？

我有一个C头文件a.h，规定所有包含它的C头文件（比如a.hpp）必须将其包裹在extern "C"代码块中。目前有一批C/C共用的头文件，我希望C代码统一包含带封装和辅助逻辑的a.hpp，而非直接包含a.h。但开发人员偶尔会误引入a.h，这类问题通常要到链接阶段才会暴露——因为C会修改函数名，最终导致链接失败。

我想在a.h中添加一段代码，让C编译器在编译a.h但未将其置于extern "C"块内时，直接触发编译错误。判断是否为C编译可以用#ifdef __cplusplus，但如何在编译时检测当前是否处于extern "C"代码块中？

核心思路是利用C++中extern "C"块内的函数不会被名称修饰的特性，结合编译期的类型检查或重载冲突来触发错误，把问题提前到编译阶段暴露。

方法一：重载冲突+编译期断言（兼容C++11及以上） #

在a.h中插入以下代码：

#ifdef __cplusplus
    // 定义一个C++风格的同名函数
    inline void enforce_extern_c() {}
    extern "C" {
        // 声明C风格的同名函数
        void enforce_extern_c();
    }
    // 强制调用该函数，若不在extern "C"块内，会因重载歧义触发编译错误
    static_assert(sizeof(enforce_extern_c()), "ERROR: a.h must be included inside an extern \"C\" block in C++ code");
#endif

• 如果C++代码直接包含a.h且未在extern "C"块内，enforce_extern_c()的调用会遇到两个同名但链接类型不同的函数，编译器会抛出重载歧义错误；
• 如果在extern "C"块内，编译器会优先匹配extern "C"版本的函数，不会触发错误。

方法二：类型匹配检查（C++17+简洁版） #

利用extern "C"函数指针与C++函数指针的类型差异：

#include <type_traits>

#ifdef __cplusplus
    using CFuncPtr = void(*)();
    extern "C" {
        void dummy_c_func();
    }
    // 编译期断言：检查dummy_c_func的指针类型是否为C风格
    static_assert(std::is_same_v<decltype(&dummy_c_func), CFuncPtr>, "ERROR: Include a.h within extern \"C\" for C++");
#endif

如果不在extern "C"块内，&dummy_c_func的类型是C++修饰后的函数指针，与CFuncPtr不匹配，编译期断言直接报错。

方法三：模板特化检查（兼容C++03及更早） #

如果需要兼容更老的C++标准，可以用模板特化的方式：

#ifdef __cplusplus
    extern "C" {
        void dummy_c_func();
    }
    // 基础模板，无定义
    template<typename T, T> struct ExternCCheck;
    // 仅当模板参数是C风格函数指针时，提供特化定义
    template<void(*Func)()> struct ExternCCheck<void(*)(), Func> {};
    // 实例化模板，若类型不匹配（不在extern "C"块内），会因找不到特化而报错
    ExternCCheck<void(*)(), &dummy_c_func> check_extern_c;
#endif

当不在extern "C"块内时，&dummy_c_func的类型不是C风格函数指针，模板特化不匹配，编译器会抛出"未定义的模板类型"错误。

内容的提问来源于stack exchange，提问作者John Carter