为什么C++标准库std::array没有实现operator->运算符

标准库不给std::array实现operator->的核心原因可以归纳为以下几点： #

1. 违背std::array的核心设计目标

std::array的设计初衷就是补全原生C数组的缺陷，其中最核心的改进就是禁止原生数组自动隐式退化为指针的行为。
你看到的原生数组合法写法：

struct S { int s; };
S c[2];
c->s = 2;

本质是c隐式退化为S*类型的首元素指针后，才可以调用->运算符，而这种自动退化是C/C++中大量数组越界、类型混淆bug的根源。std::array从设计之初就刻意避免了这种隐式行为：你要拿到底层指针必须主动调用data()方法，所有操作都是显式的。如果给std::array实现operator->，相当于把原生数组的坏设计又带回来了，完全违背了它的设计初衷。

2. 打破STL容器的语义一致性

整个C++标准库中，operator->的语义是非常明确的：只有指向单个对象的包装类型才会实现该运算符，比如智能指针、迭代器。所有STL容器本身都没有实现operator->，你不可能写出std::vector<S> v; v->s = 2这种代码。如果给std::array单独开特例实现operator->，反而会让整个STL的语义变得混乱，增加用户的学习和理解成本。

3. 收益极低，且没有不可替代的使用场景

你提到的“和原生数组完全兼容”的需求非常小众，就算真的有这类需求，你完全可以通过显式调用data()实现同样的效果：

std::array<S,2> cpp;
cpp.data()->s = 2; // 完全等价于原生数组的c->s写法

这种写法只是多了5个字符，没有任何功能损失，反而更清晰：所有读代码的人一眼就能看出来你是在操作数组底层的首元素指针，代码可读性反而更高。

4. 符合C++的设计取舍原则

你提到“C不会全方位限制用户避免犯错”，这个说法并不完全准确。C的设计原则是零开销抽象+在不损失性能的前提下尽可能避免意外错误。实现operator->本身没有性能开销，但它会鼓励用户写出依赖隐式指针转换的模糊代码，由此带来的bug风险，远大于少打几个字符的收益，因此标准委员会才会选择不提供这个运算符。

内容的提问来源于stack exchange，提问作者tommsch