具有默认模板参数的友元函数模板

Question

是否允许在友元声明中为模板参数提供默认值？

class A {
    int value;
public:
    template<class T = int> friend void foo();
};

Visual Studio 2015似乎允许这样做。gcc拒绝了。我在cppreference页面上找不到任何内容。

Answer 1

如果确实要使函数foo（）保持全局，可以尝试以下操作：

class A
{
    int value;
public:
    template<class T> friend void foo();
};

template<class T = int> void foo()
{
    //you can use private member of A
    A foo;
    auto value = foo.value;
}

Answer 2

从C 11开始，该规则在14.1[温度参数]/9中规定

如果朋友函数模板声明指定了默认模板参数，则该声明应是定义，并且应是翻译单元中函数模板的唯一声明。

当然，在C 11之前，14.1/9说“不应在朋友模板声明中指定默认模板参数”。

（以上内容是通过cppreference在默认模板参数下逐字复制的，现在在模板之友中也提到了这一点）

因此，要使程序有效，请在类中定义友元模板，而不仅仅是声明。