使用if constexpr与concept条件访问成员变量时的编译错误问题

问题原因 #

你遇到的问题核心在于if constexpr的生效规则：它只有在模板上下文中，才会完全跳过false分支的实例化检查。而你的foo是普通非模板函数，X是函数内部定义的非模板结构体，此时if constexpr的false分支代码仍然会被编译器做名称查找和语法校验——因为X确实没有a成员，所以直接触发编译错误，哪怕条件为false也无法跳过检查。

解决方案 #

方法一：将foo改为模板函数，进入模板上下文

template <typename T>
concept hasA = requires(T t) {
                 { t.a };
               };

// 把foo改成模板函数，参数类型作为模板参数
template <typename T>
void foo(T x) {
  if constexpr (hasA<T>) {
    x.a = 1234;
  }
}

int main() {
  struct X { int b; };
  X x;
  foo(x); // 编译通过，false分支不会被实例化
}

方法二：在原函数内用C++20模板lambda创造模板上下文

template <typename T>
concept hasA = requires(T t) {
                 { t.a };
               };

void foo(){
  struct X {
    int b; // X does not have a
  };

  X x;
  // 用模板lambda包裹逻辑，进入模板上下文
  [&]<typename U = X>() {
    if constexpr (hasA<U>) {
      x.a = 1234;
    }
  }(); // 调用lambda
}

修改后，if constexpr的false分支会被编译器当作“丢弃语句”，不会执行成员查找等实例化操作，自然就不会报错了。

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