概念检查可以延迟到 C++ 中的类实例化吗？

Question

加速编译的一种常见做法是只声明类而不是给出它们的完整定义，例如

struct A;
template<typename T> struct B;
using C = B<A>;

如果有人喜欢在模板类中使用 C++20 概念，那么代码如下

#include <concepts>
struct A;
template<std::destructible T> struct B;
using C = B<A>;

会导致错误：

error: template constraint failure for 'template<class T>  requires  destructible<T> struct B'
     | using C = B<A>;

是否有可能以某种方式延迟概念检查的时刻，直到 B<A> 真正使用/实例化？如果不是，那么通过强制包含以前隐藏的类定义，概念似乎会显着减慢某些程序的编译速度。

Answer 1

这就是你转发声明的方式。

struct A;
template<class T> struct B;
using C = B<A>;

保留这个。在B.h：

#include <concepts>
template<class T> struct B;
// or
template<class T> struct B
{
  static_assert( std::destructible<T> );
};

template<std::destructible T>
struct B<T> {
};

专业。保留基址 B<T> 未定义。

现在，您得到的错误不会“及早”检查，而是会在稍后发生。因此，将 T 传递给 B<> 不会以 SFINAE 友好的方式进行检查。

但这基本上是你要求不要在你的问题中发生的事情。

请注意，static_assert 可能会在标准的某些读数下使您的程序格式错误，不需要诊断。基本上所有特化（包括基础特化）都必须有一个有效的实例化，而另一个特化的模式匹配使这成为不可能。

但实际上我认为您只会收到一条错误消息。