让一个类或结构成为所有模板实例化类的朋友？

Question

#include <iostream>

using namespace std;

struct s1;

template <typename... type>
class Base : public type::inner...
{
    friend struct s1;

};

struct Test;

struct s1
{
    template <typename... type>
    friend class Base;

    friend class Test;

    private:
    struct inner {

    int member1;
    int member2;
    };
};

struct s2
{
    struct inner {

    int member3;
    int member4;
    };
};

struct Test : public s1::inner, public s2::inner
{

};

int main()
{
    Base<s1, s2> base;
    base.member1 = 0;

    Test t;
    t.member3 = 22;

    cout << "Hello world!" << endl;
    return 0;
}

当我尝试编译上述代码时，出现以下错误

在“类 Base”的实例化中： 错误：'struct s1::inner' 是私有的

但是，当尝试通过注释掉基变量来编译此程序时，类 Test 编译成功且没有错误。我想让名为 Base 的模板类成为 struct s1 的朋友。我该怎么做？

Answer 1

这里有一个解决这个奇怪问题的方法...

使用继承内部结构的嵌套结构创建结构：

template <class... Types>
struct BaseInherit {
  struct Inner : public Types::Inner... {};
};

然后，继承 BaseInherit 在 Base 中的嵌套内部：

template <class... Types>
class Base : public BaseInherit <Types...>::Inner {};

这就是我必须为 GCC (6.3.1) 做的事情。

编辑：忘了说你会添加 BaseInherit 作为友元结构，而不是 Base。示例：

class S1 {

  template <class... Types>
  friend struct BaseInherit;

  struct Inner { int member1, member2; };

};

编辑：如何找到解决方法 - 我试图找出编译器在继承时推断可变参数模板的顺序。由于它在直接继承它们时抱怨，我认为它可能在类的范围内工作。当然，我们不能从它自己的嵌套结构中继承，所以我们把它放在另一个结构/公共类的嵌套结构中。