clang 是否有权抱怨使用概念的模板化构造函数的定义异常？

Question

这是一个带有模板化构造函数的结构，该构造函数被定义为异常：

template <typename T>
struct Foo {
  template <typename F>
  Foo(F f);
};

template <typename T>
template <typename F>
Foo<T>::Foo(F f) {}

Clang对此感到满意-std=c++20 。 如果我向模板化构造函数添加一个requires子句，它仍然很高兴。 但是如果requires子句提到结构，它就不高兴了：

#include <concepts>

template <typename T>
struct Foo {
  template <typename F>
    requires (!std::same_as<Foo<T>, int>)
  Foo(F f);
};

template <typename T>
template <typename F>
  requires (!std::same_as<Foo<T>, int>)
Foo<T>::Foo(F f) {}

<source>:13:9: error: out-of-line definition of 'Foo<T>' does not match any declaration in 'Foo<T>'
Foo<T>::Foo(F f) {}
        ^~~

GCC确实接受了这个。

clang拒绝就对了吗？ 如果是这样，标准的哪一部分是这样说的？

---

如果您对为什么我有一个引用正在构造的类型的requires子句感兴趣，这是为了消除构造函数与移动构造函数的歧义，以便当F与Foo相同时，不会评估更大的requires表达式中的下一个requires子句. 否则它递归地依赖于它自己。 实际代码更复杂，并接受对F的转发引用。

Answer 1

我认为这可能与编译器无法推断出 T 是什么有关。 在结构中使用 requires 子句时，编译器需要能够实例化 class 模板，以便检查 requires 子句中指定的要求。 这意味着 requires 子句中使用的所有模板参数必须在 scope 中，并且编译器必须能够推断出它们的类型。 如果class模板还没有完全定义，编译器将无法实例化它，代码将无法编译。 需要明确的是，我不确定，因为我几乎没有使用过这个功能。

Answer 2

正如我所料，这似乎是一个已知的 clang 错误： https://github.com/llvm/llvm-project/issues/49620