C99 extern inline __attribute__((always_inline))的C++等效写法

首先明确核心语义差异：

• C99 中，标记为extern inline的函数会在当前翻译单元生成全局强符号；其他翻译单元中如果存在不带extern的同名inline定义，不会生成对外可链接符号，未被内联的调用会直接链接到前述强符号。
• C++ 原生inline规则下，所有包含函数定义的翻译单元都会导出弱符号，最终由链接器合并，无法手动指定单个翻译单元生成唯一强符号，和C99行为不一致。

根据编译环境可选择以下两种方案，都不需要写冗余的包装函数：

方案1：GCC/Clang 环境（推荐，完全对齐C99行为） #

你已经在代码中使用了GCC/Clang特有的__attribute__((always_inline))属性，直接追加gnu_inline属性即可让编译器按照C99的inline语义处理函数，不需要改动原有代码结构。

具体写法：

1. 公共头文件中放通用内联定义，通过宏控制是否生成外部强符号：

// foo.h
#pragma once
#include <cstdio>

// 定义TEST1_EXPORT的翻译单元会生成全局强符号，其余单元只生成内联代码
#ifdef TEST1_EXPORT
#define TEST1_ATTR extern inline __attribute__((always_inline, gnu_inline))
#else
#define TEST1_ATTR inline __attribute__((always_inline, gnu_inline))
#endif

TEST1_ATTR void test1(int b) {
    if (b) {
        printf("foo");
    }
}

2. 指定生成强符号的实现文件（对应你的foo.cpp）中，定义宏后再包含头文件即可：

// foo.cpp
#define TEST1_EXPORT
#include "foo.h"

void test2() {
    test1(0);
}

3. 其他调用文件（对应你的main.cpp）直接包含头文件即可正常调用，所有调用会优先内联展开，未内联的场景会自动链接到foo.cpp中生成的强符号：

// main.cpp
#include "foo.h"
void test2();

int main() {
    test1(0);
    test2();
}

该方案零额外开销，没有代码冗余，行为和你用-xc -std=c99编译的效果完全一致。

方案2：标准C++兼容方案（无编译器扩展依赖） #

如果需要兼容MSVC等不支持GNU属性的编译器，可以通过宏抽离函数实现，在指定翻译单元生成全局强符号，其余单元使用静态内联版本：

1. 公共头文件中抽离实现逻辑，同时提供内联版本：

// foo.h
#pragma once
#include <cstdio>

// 抽离函数核心实现，避免重复编码
#define TEST1_IMPL(b) do { \
    if ((b)) { \
        printf("foo"); \
    } \
} while(0)

// 所有调用方默认使用静态内联版本，始终内联展开，不导出全局符号
// GCC/Clang用__attribute__((always_inline))，MSVC可替换为__forceinline
__attribute__((always_inline))
static inline void test1(int b) {
    TEST1_IMPL(b);
}

void test2();

2. 在指定生成强符号的foo.cpp中，实现全局版本的函数：

// foo.cpp
#include "foo.h"

// 生成全局强符号，供未内联的调用场景链接，不需要C符号可以去掉extern "C"
extern "C" void test1(int b) {
    TEST1_IMPL(b);
}

void test2() {
    test1(0);
}

3. main.cpp和之前写法一致，不需要改动。开O2及以上优化时，宏和内联函数都会被完全展开，不存在额外运行开销。

补充说明 #

你目前使用的包装函数方案本质和标准兼容方案逻辑一致，只是多了一层极薄的函数封装，开优化下不会有性能损失，只是代码冗余度稍高。如果不需要跨编译器兼容，优先选方案1即可。

内容的提问来源于stack exchange，提问作者Home of the Brave