可以针对不完整的类型检查概念吗

Can a concept be checked against incomplete type(可以针对不完整的类型检查概念吗)

问题描述

我偶然发现了这个：

#include <type_traits>
#include <concepts>

template<class T>
concept IsFoo = requires(T a)
{
    {a.a} -> std::same_as<int>;
};

#if 1
// Will not compile, because Foo currently has incomplete type
template<IsFoo AFoo>
struct AcceptsFoo
{};
#else
template<class AFoo>
struct AcceptsFoo
{};
#endif

struct Foo
{
    int a;
    int b;

    AcceptsFoo<Foo> obj;
};

https://gcc.godbolt.org/z/j43s4z

其他变量(Crtp)https://gcc.godbolt.org/z/GoWfhq

我注意到clang也会给出类似的错误：https://gcc.godbolt.org/z/d5bEez

推荐答案

您可以针对不完整的类型检查概念，但如果概念检查实际上需要对需要它完成的类型执行任何操作，则概念检查将失败。

template <typename Derived>
struct B { 
    typename Derived::type x;
};

struct D : B<D> {
    using type = int;
};