c++11 - 为什么仅声明的友元函数不能有默认参数？

Question

我了解到 C++11 标准不允许友元函数具有默认参数，除非友元声明是定义。所以这是不允许的:

class bar
{
    friend int foo(int seed = 0);
};

inline int foo(int seed) { return seed; }

但这是:

class bar
{
    friend int foo(int seed = 0)
    {
        return seed;
    }
};

(示例礼貌http://clang-developers.42468.n3.nabble.com/Clang-compile-error-td4033809.html)

这个决定背后的理由是什么？具有默认参数的友元函数很有用，例如如果函数太复杂而无法就地声明，为什么现在不允许使用它们？

Answer 1

查看DR 136 ，当友元声明与具有默认参数的命名空间级声明相结合时，看起来会出现问题，这使得语义难以推理(并且可能难以对其进行质量诊断)，尤其是在模板的上下文中。该页面上给出的建议 DR 解决方案是仅当声明是程序中唯一的声明时才允许使用默认参数。由于函数定义也是声明，这意味着在友元声明中指定默认参数的唯一有用方法就是使其成为定义。我猜想 C++11 标准只是选择明确这一实际使用要求。

(从技术上讲，如果“程序”的意思是“翻译单元”，则可以构造一个完整的程序，其中函数是在完全不同的翻译单元中定义的，但由于该函数的定义不会使类定义可见，因此友谊补助金的好处基本上没有用。)

解决这个问题的方法似乎非常简单。在不使用默认参数的情况下声明友元，然后使用所需的任何默认参数在命名空间范围内再次声明它。