编译时已知枚举参数，如何消除switch-case中的未使用依赖

当编译期已知my_enums的具体取值时，可通过以下方式让编译器/链接器剔除未使用的依赖：

1. 用constexpr函数+编译期分支 #

将myFunction改造为编译期可用的模板函数，结合constexpr分支让编译器直接优化掉未触发的代码路径，再配合链接器死代码消除选项彻底移除未使用的依赖：

#include "foo.h"
#include "bar.h"
#include "baz.h"

enum MyEnum {
  FOO,
  BAR,
  BAZ
};

constexpr int callFunc(MyEnum e) {
  switch (e) {
    case FOO: return foo();
    case BAR: return bar();
    case BAZ: return baz();
    default: return 0;
  }
}

template<MyEnum... Enums>
constexpr int myFunction() {
  return (callFunc(Enums) + ...);
}

// 编译期确定枚举值的调用方式
constexpr int result = myFunction<FOO, BAR>();

这种写法下，编译器只会生成用到的分支代码，未用到的baz()调用会被完全剔除，配合链接器优化就能排除baz的实现。

2. 模板特化绑定枚举与函数 #

把每个枚举对应的函数调用封装进模板特化中，仅当枚举被使用时才包含对应头文件并实例化代码：

enum MyEnum {
  FOO,
  BAR,
  BAZ
};

// 声明模板
template<MyEnum E>
struct EnumToFunc;

// 特化FOO分支
template<>
struct EnumToFunc<FOO> {
  static int invoke() {
    #include "foo.h"
    return foo();
  }
};

// 特化BAR分支
template<>
struct EnumToFunc<BAR> {
  static int invoke() {
    #include "bar.h"
    return bar();
  }
};

// 特化BAZ分支
template<>
struct EnumToFunc<BAZ> {
  static int invoke() {
    #include "baz.h"
    return baz();
  }
};

template<MyEnum... Enums>
int myFunction() {
  return (EnumToFunc<Enums>::invoke() + ...);
}

// 调用示例
int result = myFunction<FOO, BAR>();

这种方式将头文件包含限制在对应特化内部，未被使用的枚举分支不会引入任何相关依赖。

3. 开启链接器优化选项 #

无论采用哪种代码写法，都需要配合链接器的死代码消除选项，确保未引用的符号被剔除：

• GCC/Clang：添加编译参数 -ffunction-sections -Wl,--gc-sections
• MSVC：使用 /OPT:REF 选项

这些选项会让链接器扫描所有符号，移除未被直接或间接引用的函数与代码段，进一步保证未使用的依赖不进入最终二进制。

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