如何对带约束的模板类使用friend声明

Question

template <typename T> concept Constraint = true;

template <Constraint T>
class A { };

struct B {
    template <typename>
    friend class A;
};

这在gcc中编译，但在clang和最新的MSVC预览编译器中都不编译

下一个尝试是使用friend声明中的约束，即。

template <typename T> concept Constraint = true;

template <Constraint T>
class A { };

struct B {
    template <Constraint>
    friend class A;
};

这看起来像是一种自然的方式，因为无论如何只能在满足约束的情况下实例化friend。

template <typename T> concept Constraint = true;

template <Constraint T>
class A { };

struct B {
    template <Constraint U>
    friend class A;
};

Answer 1

我很确定这是正确的版本（即您的第二个或第三个选项）：

template <typename T> concept Constraint = true;

template <Constraint T>
class A { };

struct B {
    template <Constraint> friend class A;
};

这应该有助于A的所有专门化。typename有错误，因为这与A的声明不匹配。我不认为我们对此有具体的措辞，但这似乎是明确的意图。

gcc和clang都接受这个版本（演示），而compiler-explorer上的MSVC版本根本没有实现概念。