C++20能否基于concept在模板实例化前校验模板体合法性？

C++20引入了concept特性，允许开发者在模板声明阶段明确指定模板参数必须具备的能力。若使用不满足约束的类型实例化模板，编译会在实例化环节直接失败，而非在编译模板体、完成类型替换后才发现非法表达式。

该特性具备显著价值，但也引出一个技术问题：是否有方案可让编译器在实例化前（即仅审视模板定义本身、而非针对特定实例化版本时）检查模板体，确保所有涉及模板参数的表达式均被对应约束保证合法？

基础示例代码如下：

template<typename T>
concept Fooer = requires(T t)
{
  { t.foo() };
};

template<Fooer F>
void callFoo(F&& fooer)
{
  fooer.foo();
}

上述concept可阻止开发者使用不支持模板体内表达式的类型实例化callFoo函数，但若将函数修改为如下形式：

template<Fooer F>
void callFoo(F&& fooer)
{
  fooer.foo();
  fooer.bar();
}

此时若使用定义了foo（因此满足Fooer约束）但未定义bar的类型实例化callFoo，编译就会失败。从原理层面看，concept应当支持编译器在实例化前就判定该模板非法：模板内包含的fooer.bar()表达式，并未被约束保证存在。

我推测该能力的落地可能存在向后兼容性问题，但若该校验仅针对受concept约束的参数（而非普通typename/class等声明的无约束参数），则仅会影响新编写的代码。

该校验能力具备很高的实用价值：对应的报错信息可指导约束设计——开发者编写完模板实现后，无需编写实例化代码即可编译，每出现一处报错就向约束中补充对应的能力要求；反之也可在报错时调整模板实现，仅使用约束覆盖范围内的能力。

待确认问题 #

• 目前是否有编译器提供选项开启该类校验？
• 是否有相关特性的落地规划？
• 当前或未来版本的C++标准中，concept规范是否包含该校验要求？

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