实例化类模板是否需要仅使用指针或对它们的引用？ [复制]

当仅使用std::variant<T...>从T...T 的某些仅向前声明的位置定义的指针/引用时 - 我遇到这个问题，我什至不能使用对此的指针或引用std::variant- 因为它的基类想要实例化 - 并且它们需要std::is_default_constructible和其他特征。

参见示例代码：

#include <variant>

struct A;
struct B;
using AB = std::variant<A,B>;
AB* ab();

template <typename T>
void usePointer(T*){}


int main() {
    // fails to compile because std::variant gets instantiated here!
    usePointer(ab());
}

为了简化示例 - 这就是我所看到的情况：

struct A;
struct B;

template <typename T>
void usePointer(T*){}


template <bool> class SomeBase {};

template <typename T>
struct Some : SomeBase<std::is_default_constructible_v<T>>
{};

Some<A>* someA(); 

int main() {
    // this will not compile - because  this
    // SomeBase<std::is_default_constructible_v<T>>
    // does not compile - because A is unknown
    usePointer(someA());
}

/opt/compiler-explorer/gcc-14.1.0/include/c++/14.1.0/type_traits: In instantiation of 'constexpr const bool std::is_default_constructible_v<A>':
<source>:12:29:   required from 'struct Some<A>'
   12 | struct Some : SomeBase<std::is_default_constructible_v<T>>
      |                        ~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~
<source>:21:23:   required from here
   21 |     usePointer(someA());
      |                       ^
/opt/compiler-explorer/gcc-14.1.0/include/c++/14.1.0/type_traits:3385:54: error: invalid use of incomplete type 'struct A'
 3385 |   inline constexpr bool is_default_constructible_v = __is_constructible(_Tp);
      |                                                      ^~~~~~~~~~~~~~~~~~~~~~~
<source>:3:8: note: forward declaration of 'struct A'
    3 | struct A;
      |        ^
Compiler returned: 1

所有 3 个编译器（gcc、clang、msvc）的行为/拒绝方式相同 - 请参阅：https://godbolt.org/z/5cjf1Pv4d

问题：这是正确的吗？对我来说，这确实是一个错误 - 无论是在编译器实现中还是在标准中 - 但是我在标准中找不到任何强制执行此行为的内容。

“有趣”的是，当类模板也被向前声明时 - 一切正常。我的意思是 - 所有编译器都接受此代码：

struct A;

template <typename T>
void usePointer(T*){}

template <typename T> struct Some;

Some<A>* someA(); 

int main() {
    usePointer(someA());
}