JavaScript的数组pop()函数为何能有返回值，与C++pop_back设计有何差异？

C++ pop_back() 无返回值的核心原因 #

C标准库的设计强要求异常安全，Cargill论文提到的问题本质是：如果pop_back()需要返回被弹出的元素，就必须在移除栈顶元素后，调用该元素的拷贝/移动构造函数将值返回给调用方。如果这个构造过程抛出异常，已经被移除的元素就会彻底丢失，无法满足强异常安全保证。因此C将操作拆分为两步：

• 先调用top()获取栈顶元素的引用，此时元素还留在栈中
• 确认读取/拷贝成功后，再调用pop_back()移除元素

对应示例代码：

std::vector<int> vec = {1,2,3};
int val = vec.top(); // 先取值，拷贝失败的话元素还在vec里
vec.pop_back(); // 确认取值成功再删除

JS pop() 有返回值的实现逻辑 #

JS的语言特性从根源上规避了C++遇到的异常安全问题，因此完全可以把取值、删除两个操作合并：

1. 内存传递逻辑不同：JS中所有引用类型（对象、数组等）的传递都是引用传递，返回元素时不需要执行拷贝构造操作，不存在拷贝过程抛异常的场景；基础类型的拷贝成本极低，也不会出现异常
2. 内存管理机制不同：JS自带自动垃圾回收，就算极端场景下运行出错，也不会出现内存泄漏或者元素资源丢失的问题
3. 设计优先级不同：JS作为动态脚本语言，优先保证API调用的便捷性，不需要像C++那样兼顾极致的性能与严格的异常安全边界，因此合并操作更符合开发者的使用习惯

对应示例代码：

const arr = [1,2,3];
const val = arr.pop(); // 一步完成取值+删除，不存在安全风险

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