内联类定义中C++ Concept不生效的问题咨询

问题现象 #

以下代码在MSVC中编译正常，但在GCC和Clang（截至2024年2月3日最新版本）中，类A内部的static_assert会触发断言失败：

#include <concepts>

template <class T> concept has_Default_Constructor = requires (T t)
{
 { T () } -> std::same_as <T>;
};

class A
{
public:
  class B
  {
  public:
    int x = 0;
  };

  static_assert (has_Default_Constructor <B>); // GCC/Clang中触发断言

  B b;
};

若将static_assert移到类A外部，GCC/Clang则能正常编译通过：

class A
{
public:
  class B
  {
  public:
    int x = 0;
  };

  B b;
};

static_assert (has_Default_Constructor <A::B>); // 断言不触发

核心原因 #

这是编译器对类定义阶段的完整性处理差异导致的：

• 当在类A内部执行static_assert时，嵌套类B的类体虽已完成定义（B本身是完整类型），但外围类A仍处于不完整状态（类定义尚未结束）。
• GCC和Clang在这种上下文下实例化concept时，会严格校验T()表达式的返回类型与T的一致性。由于外围类未完成定义，编译器认为无法完全确认嵌套类B的默认构造返回类型的合法性，因此判定concept不满足。
• 当static_assert移到类A外部时，A已成为完整类型，嵌套类B的所有属性（包括默认构造的返回类型）都能被编译器正确识别，concept检查自然通过。

解决方案 #

方案1：修改自定义Concept的定义 #

去掉requires子句中的参数声明，直接验证默认构造表达式的合法性，避免编译器对参数声明的上下文校验：

#include <concepts>

template <class T> concept has_Default_Constructor = requires { T(); };

class A
{
public:
  class B
  {
  public:
    int x = 0;
  };

  static_assert(has_Default_Constructor<B>); // GCC/Clang/MSVC均通过

  B b;
};

方案2：使用标准Concept #

直接使用C++20提供的std::default_initializable概念，它已经封装了默认构造函数的合法性检查，无需自定义：

#include <concepts>

class A
{
public:
  class B
  {
  public:
    int x = 0;
  };

  static_assert(std::default_initializable<B>); // 三大编译器均兼容

  B b;
};

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