多次使用 [x, y, z, ...]-clause 语法，不应该允许 operator[] 接受多个参数吗？

Question

从 C++11 开始，我们可以编写 lambda 表达式，例如：

auto foo = [a, b]() { return a+b; };

带方括号的捕获子句，其中的项目用逗号分隔。在 C++17 中，我们将能够使用结构化绑定：

for (const auto& [name, description] : planet_descriptions) {
    std::cout << "Planet " << name << ":\n" << description << "\n\n";
}

这是逗号分隔方括号从句的另一个示例。

然而，我们不能覆盖 class' operator[] 来获取多个参数，例如这个：

template<typename V, typename I, typename J>
const V& operator[](I i, J j) const {
    return data_[width() * i + j];
}

将not compile。

我知道有变通办法——这里提到了很多：

C++ [] array operator with multiple arguments?

但是 - 为什么前者是语言的一部分而后者是不可能的，即使是程序员自行决定的重载？仅仅是因为没有人提出其他建议，还是有一些特定的原因？

备注：

是的，这当然会在调用一元 operator[] 时使用逗号运算符产生歧义/不兼容：x[a, b] 要么是 operator[](operator,(a,b)) 要么是 operator[](a,b).然而，我们对圆括号也有同样的歧义：foo(a,b) 可能是对二进制 foo() 和 a 和 b 的调用，或者它可能是 foo(operator,(a,b)。语言标准只是规定它是前者而不是后者（或者前者应该是首选）；可以对方括号给予同样的优先权。事实上，如果我没记错的话，那实际上不会破坏任何现有代码——因为现有代码不会有二进制 operator[] 更喜欢。
示例二进制文件 operator[] 只是一个示例，不是我想要实现的东西。

Answer 1

这当然是一个选择，尽管对许多人来说令人惊讶，因为一般倾向于坚持 C 程序员熟悉的运算符的 C 语法。

这也不是一个新想法，Gabriel Dos Reis 在 2014 年提出了它。Uniform handling of operator[] and operator() 的想法的最后记录状态如下：

In c++std-core-14770, Dos Reis suggests that operator[] and operator() should both be allowed to be static. In addition to that, he suggests that both should allow multiple parameters. It's well known that there's a possibility that this breaks existing code (foo[1,2] is valid, the thing in brackets is a comma-expression) but there are possibilities to fix such cases (by requiring parens if a comma-expression is desired). EWG should discuss whether such unification is to be strived for.

Discussed in Rapperswil 2014. EWG points out that there are more issues to consider here, in terms of other operators, motivations, connections with captureless lambdas, who knows what else, so an analysis paper is requested.

所以用这位著名的 C++ 语言理论家的话来说：如果你喜欢它，那就写一篇关于它的论文。

多次使用 [x, y, z, ...]-clause 语法，不应该允许 operator[] 接受多个参数吗？

With several uses of [x, y, z, ...]-clause syntax, shouldn't operator[] be allowed to accept multiple parameters?

c++

operator-overloading

square-bracket

c++17