C++模板类编译期分支选择、static关键字作用及替代方案咨询

template <typename Stru_>
class templateClasse{
public:
  using stru = Stru_;

  static void method_0(int sk, int sl){
    printf("class templateClass method_0 sk: %d sl: %d\n", sk, sl);
  }

  static void method_1(int a){
    if (stru::isvec){
      method_0(0, a);
    } else{
      method_0(a, 0);
    }
  }
};

问题1：现有代码是否能在编译期完成method_0的调用选择？ #

如果使用C17及以上版本、开启O1及以上编译器优化，现代编译器（GCC/Clang/MSVC）都会识别出stru::isvec是编译期常量，直接消除无效分支，生成的汇编代码不会包含运行时判断逻辑，等价于编译期就确定了method_0的入参。
但严格来说，普通if不是标准规定的编译期分支语法，只有C17引入的if constexpr才是语法层面的编译期分支，不开优化也会自动裁剪无效分支。如果使用C++14及更早版本，只能依赖编译器优化实现类似效果。

问题2：static关键字在此场景下的作用是什么？能不能粗略理解为辅助编译期计算的关键字？ #

这里的static修饰的是类成员函数，和修饰静态变量的static是完全独立的两个语法含义，绝对不能理解为辅助编译期计算的关键字。
类成员函数加static的作用是：该方法不依赖类的实例对象，不需要隐式传入this指针，可以直接通过类名调用。你去掉static后编译失败的原因是：普通成员函数调用必须绑定类的实例，你在method_1里直接调用method_0时没有对应的类实例，自然无法编译通过，和编译期计算没有任何关系。

问题3：该场景还有其他实现方案吗？ #

有三类常用方案，适用不同的C++版本和业务场景：

• C++17及以上最简方案：if constexpr
  仅需要修改一行代码，语法层面保证编译期分支裁剪，不需要依赖编译器优化：

  static void method_1(int a){
    if constexpr (stru::isvec){ // 替换原来的普通if
      method_0(0, a);
    } else{
      method_0(a, 0);
    }
  }
  

• C++11/14兼容方案：标签分发
  通过重载函数匹配编译期常量状态，不需要依赖优化就能实现编译期分支：

  public:
  static void method_1(int a) {
    // 把isvec的值包装成类型标签，调用对应重载
    method_1_impl(a, std::integral_constant<bool, stru::isvec>{});
  }
  private:
  static void method_1_impl(int a, std::true_type /* isvec为true的标签 */) {
    method_0(0, a);
  }
  static void method_1_impl(int a, std::false_type /* isvec为false的标签 */) {
    method_0(a, 0);
  }
  

• 逻辑差异较大场景：模板偏特化
  如果isvec为true和false时的类逻辑差异很大，可以直接对模板参数做偏特化，适合复杂业务场景，当前简单场景下属于过度设计。

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