使用可变参数模板指定友元类

Question

我正在尝试使用可变参数模板来指定友元类。我尝试使用以下语法，但它不起作用。

template <class... Args>
struct A {
    friend Args...;
};

我尝试编写一些解决方法，但似乎并不那么简单，因为友谊不是可传递和继承的。所以问题是是否有正确的语法或任何解决方法可以使 Args 中的每个单独的类成为 A 的友元？

Answer 1

也许以下 CRTP 变体足以满足您的使用：

template<typename Arg> class Abase
{
  friend Arg;
  virtual int foo(int) = 0; // this is the private interface you want to access
public:
  virtual ~Abase() {}
};

template<typename... Args> class A:
  public Abase<Args> ...
{
  virtual int foo(int arg) { return frobnicate(arg); }
  // ...
}

然后您传入 Args 的每个类都可以通过相应的

Abase

基类访问该私有接口，例如

class X
{
public:
  // assumes X is in the Args
  template<typename Args ...> int foo(A<Args...>* p)
  {
    Abase<X>* pX = p; // will fail if X is not in Args
    return pX->foo(3); // works because X is friend of Abase<X>
  }
};

Answer 2

好消息：可变参数朋友提案 (https://wg21.link/P2893R3) 已被 C++26 接受。

该提案使用与您使用的相同的直观语法，因此一旦编译器支持它，您的示例就应该按预期进行编译和工作。