有一个独立的函数（非成员函数）定义为：
template<class T, std::size_t N>
auto foo(T const(&init)[N]) { /* ... */ }
foo（）旨在推导N（数组大小）
此外，在同一个命名空间中，有一个定义为：的类：
class Bar {
friend auto foo( Bar const(&)[/* ??? */] ); /* <-------- The goal to make it right */
private:
Bar( void ) { /* ... */ }
};
我的问题是我还没有成功将foo()声明为Bar类的朋友，以便它可以访问私有成员。
在foo()声明中，有std::size_t N模板参数。但是如何建立所有N个值的友谊？
非常感谢任何愿意提供帮助的人。
马丁
您的第一个声明声明foo是模板的名称。没有名为foo的功能。从名为foo的模板生成的函数将具有类似于foo<T, N>的名称，其中T是类型名称，N是整数。
您的朋友声明声明应该有一个foo，它是一个函数的名称。与模板名称foo不匹配。
如果您要声明Bar将允许以foo形式的foo<Bar, *>模板的任何实例化，以访问其私有...好吧，您不能。您可以声明模板生成的任何内容的朋友：
template<typename T, std::size_t N>
friend auto foo( T const(&)[N] );
您可以声明与特定模板实例的友谊：
friend auto foo<Bar, 20>( Bar const(&)[20] );
但是您不能仅将其声明为模板生成的函数中的[[some的朋友。如果您尝试过类似的操作：
template<std::size_t N>
friend auto foo(Bar const(&init)[N]);
您会发现原来的foo无法访问它。这是指与foo模板不同的模板，因为它采用了不同的参数。