C语言生成函数的泛型宏声明与调用应放.h还是.c文件？

泛型宏的存放规则按开发场景分为两类： #

场景1：常规多编译单元库开发（最佳实践） #

这种场景下需要拆分宏的声明、实现逻辑，避免重复定义问题：

• .h 头文件中仅放置泛型函数声明宏、公共调用接口宏，以及你需要对外暴露的函数类型声明：

  #ifndef LIB_H
  #define LIB_H
  
  // 泛型函数声明宏，用来生成对应类型的函数前置声明
  #define dec_func(type) \
  type func_##type(type x);
  
  // 可选：封装类型自动匹配的通用调用宏，外部不用感知函数后缀
  #define func(x) _Generic((x), \
      int: func_int, \
      float: func_float \
  )(x)
  
  // 对外声明已实现的类型版本
  dec_func(int);
  dec_func(float);
  
  #endif
  

• .c 实现文件中放置泛型函数实现宏，以及对应类型的实例化调用：

  #include "lib.h"
  
  // 泛型函数实现宏，仅在当前编译单元可见
  #define def_func(type) \
  type func_##type(type x) { \
      // 函数逻辑实现
      return x + 1;
  }
  
  // 实例化需要的类型版本
  def_func(int);
  def_func(float);
  

这种写法完全满足其他函数调用宏生成函数的需求，同时不会出现重复定义问题，修改函数实现时仅需重编译对应.c文件，编译效率更高。

场景2：单头文件库开发 #

如果要做仅需引入头文件即可使用的轻量库，可将泛型实现宏全部放在头文件中，但要满足两个要求：

• 生成的函数加static修饰，限制作用域为当前编译单元
• 不要在头文件全局范围内直接调用宏实例化函数，把实例化权限交给使用方
  头文件示例：

#ifndef LIB_H
#define LIB_H

#define def_func(type) \
static type func_##type(type x) { \
    // 函数逻辑实现
    return x + 1;
}

#endif

使用方在自己的.c文件中按需实例化即可：

#include "lib.h"
// 仅在当前文件生成int版本的函数
def_func(int)

int main(void) {
    int res = func_int(3);
    return 0;
}

原有写法的问题 #

你示例中定义完def_func宏后写的func(int)属于笔误，正确应为def_func(int)。原有直接在头文件中调用实例化宏且不加static修饰的写法，只要有两个及以上的.c文件引入该头文件，链接阶段就会报函数重复定义的错误。

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