为下标运算符提供默认的 arguments 和 function 调用运算符

Question

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

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

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

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

但是，如果我为function 呼叫运营商提供默认 arguments。

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

它工作正常。

所以，我有一个问题：

• 为什么数组下标运算符不允许默认值 arguments？
• 为什么 function 呼叫运营商允许默认 arguments？

Answer 1

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

主要是因为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 2

该标准非常明确地说明了这一点

下标运算符的运算 符重载中不允许使用默认参数。

除非下面明确说明，否则运算符函数不能具有默认参数。 运算符函数的参数不能超过相应运算符所需的数量，如本子条款的其余部分所述。

和

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

而对于函数调用运算符

operator()应该是一个具有任意数量参数的非静态成员函数。 它可以有默认参数。

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

Answer 3

我想你真的在问为什么标准允许一个而不是另一个。 原因主要是与人们的期望有关 ，而不是在一个案例中排除违约的一些技术逻辑而不是另一个案例中的违约：

这是人们期望[]运算符意味着什么的问题。 通常它意味着“获取[...]元素”，我们使用int或其他类型来对集合成员进行特定查询。 我们总是对询问特定成员感兴趣，并始终考虑到特定的查询。

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

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

Answer 4

运算符（包括用户定义类型和内置类型的重载）旨在让人们使用从数学，逻辑和一般用法中熟悉的符号（尽管<<和>>已将双重服务视为流媒体运营商，并且符号表示妥协考虑到计算机附近普遍可用的有限字符，必须进行制作。 转向并允许直观的，熟悉的符号（如隐含的参数）的变化似乎适得其反。

operator()是不同的，因为它在那里抽象出“调用”（通过）一个对象和调用一个硬编码函数之间的差异 - 它需要支持默认参数来正确地做到这一点。

Answer 5

自 C++23 ( https://eel.is/c++draft/over.sub ) 以来，您可以拥有数组订阅运算符的默认参数

用户定义类的重载下标运算符现在将具有与定义调用运算符相同的语义。 因此，您可以有 0、1、2 或多个参数。

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

和

st obj { /* ... */ };
obj[]

现在有效。

不幸的是，没有编译器支持此功能，因为这是批准的最新功能。