具有特定模板类的朋友：“template<ANY...> 朋友类 A;”

Question

有没有办法以通配符的方式用模板类声明朋友？

示例

我总是这样声明朋友：-

//B.h
template<class T1,class T2>class B{}; 
//C.h
class C{                              
    template<class,class> friend class B;
};

但是，如果 B 模板参数发生更改，我将不得不更新 C，这通常是一个相距甚远的标题。

//B.h
template<int T3,class T1,class T2>class B{}; 
//C.h
class C{                              
    template<int,class,class> friend class B;  //<-- manually update here too
};

它会导致轻微的可维护性问题。 （对我来说，每周一次。）

问题

我可以这样做吗？

class C{                              
    template<ANY...> friend class B; 
};

这是不可能的吗？

我隐隐觉得这个问题可能是重复的，因为这可能是一个常见的问题。
但是，我找不到。

Answer 1

这是一种方法：

// declare the concept of a variadic B
template<class...Ts> struct B;


struct C
{
    private:

    // any B with any number of Types is a friend
    template<class...Ts> friend struct B;

    void privateThing() {};
};


// now specialise B <T1, T2>
template<class T1, class T2> struct B<T1, T2> {

    void foo(C& c) {
        c.privateThing();
    }

};

int main()
{
    C c;
    B<int, double> b;
    b.foo(c);
}