为下标运算符和函数调用运算符提供默认参数

Question

在下面的代码中，我为数组下标运算符提供了默认参数。

struct st 
{
    int operator[](int x = 0)
    {
        // code here
    }
};

但是，编译器生成了一个错误：

error: 'int st::operator[](int)' cannot have default arguments
     int operator[](int x = 0)

但是，如果我为函数调用操作符提供默认参数。

struct st 
{
    int operator()(int x = 0)
    {
        // code here
    }
};

很好用。

所以，我有一个问题：

• 为什么不允许数组下标运算符的默认参数

Answer 1

我想你真的在问为什么标准允许一个而不允许另一个。原因主要与人们的预期有关，而不是某种技术逻辑排除了一种情况下的违约，而不是另一种情况下的违约：

这是人们期望[]操作符是什么意思的问题。通常它的意思是“在[…]获取元素”我们使用int或其他类型对集合的成员进行特定查询。我们总是有兴趣询问某个特定成员的情况，我们心里总是有一个特定的问题。

现在考虑一下默认参数的含义。通常它的意思是“你可以指定这个，但如果没有，我就假设这个默认值”。这对某些功能非常有效，人们已经习惯了。

改变这一点可能会让很多人在看到int x=vec[]时挠头

Answer 2

• 为什么不允许数组下标运算符的默认参数

主要是因为C语法这么说。根据A.4[gram.expr]：

postfix-expression --> postfix-expression [ expr-or-braced-init-list ] 
                   --> postfix-expression ( expression-list opt ) 
                   --> simple-type-specifier (expression-list opt) 
                   --> typename-specifier ( expression-list opt )

大括号的参数是可选的，大括号的参数不是可选的。正如评论中所建议的那样，请注意，括号必须只包含一个参数，而大括号可以包含任意数量的参数。

也可以考虑宋元耀对标准中明确声明的回答。

Answer 3

该标准非常清楚地说明了这一点。

在订阅运算符的运算符重载中不允许使用默认参数。

运算符函数不能有默认参数，除非下面明确说明。运算符函数的参数不能大于或小于相应运算符所需的数量，如本款其余部分所述。

和

操作符[]应该是一个非静态成员函数，只有一个参数。

而对于函数调用操作符

operator（）应为具有任意数量参数的非静态成员函数。它可以有默认参数。

重载运算符试图遵循内置运算符的相同行为；对于内置的下标运算符，总是需要（只有一个）索引，它没有默认参数。那么重载运算符也不允许有默认参数。另一方面，函数总是可以接受任意数量的参数并具有默认参数。