通过概念启用的成员函数的外部类别定义

Question

以下这个问题，我试图定义成员函数由班级定义之外的概念启用：

template<typename T>
concept MyConcept = std::is_integral<T>::value; //could be anything...

template<typename T>
class F {
public:
    void foo() requires MyConcept<F>;
};

template<typename T>
void F<T>::foo() requires MyConcept<F<T>>
{
    //long implementation...
}

此代码在GCC上正常工作，但在MSVC和Clang上失败。

请注意，我需要在 f＆lt; t＆gt; 上满足该概念，而不仅仅是 t （我的实际代码更为复杂，并且使用variadic模板）。

demo

clang clang说：

error: out-of-line definition of 'foo' does not match any declaration in 'F<T>'
void F<T>::foo() requires MyConcept<F<T>>
           ^~~

note: member declaration nearly matches
void foo() requires MyConcept<F>;
     ^

如果我在班级中移动定义，在clang上可以正常工作：

template<typename T>
class F {
public:
    void foo() requires MyConcept<F> 
    {
        //long implementation...
    }
};

无论如何，我想避免在班级定义中进行长时间的实现。

我在做什么错？ 如何正确定义启用班级概念的成员函数？

Answer 1

这是一个编译器错误。

• 它已在Clang版本16上解决；
• 它仍然无法解决Apple Clang。
• 它似乎已在MSVC版本19.36.32532.0上解决，尽管它仍在“考虑” 在这里。

请注意，对于MSVC 19.36.32532.0，在函数定义中，需要子句在声明中必须是相同的（ myConcept＆lt; f＆gt; and and myconcept＆concept ; t＆gt;＆gt; ）：

template<typename T>
void F<T>::foo() requires MyConcept<F>
{
    //long implementation...
}