通过指针参数读写的函数能否合法标记为noexcept？

针对示例函数的具体问题 #

当然可以给foo标记noexcept。

noexcept的核心意义是：在调用者遵守函数前置条件的前提下，函数自身的逻辑不会抛出异常。对于foo来说，它的前置条件就是“参数x指向可读的内存区域”——只要调用者满足这个要求，解引用int指针的操作本身不会抛出任何异常（内置类型的解引用没有抛出异常的可能）。

至于调用者传入无效指针的情况，这属于未定义行为，不在noexcept的承诺范围内。noexcept不需要为调用者违反约定的行为兜底，那是调用者的责任。

普遍情况：不是所有指针读写函数都不能标noexcept #

完全不是。只要满足两个条件，指针操作的函数就可以合法标记noexcept：

• 函数有明确的前置条件（比如“指针必须指向有效可读/可写内存”）；
• 在满足前置条件的情况下，函数内部的逻辑（包括指针读写）不会抛出异常。

比如C标准库中的很多函数都是如此：std::strlen接收const char*，要求指针指向合法的C字符串，在这个前提下它不会抛异常，所以C17及以后的标准里它被标记为noexcept；再比如std::copy处理指针范围时，只要输入的迭代器（指针）指向有效区域，且元素复制不抛异常，它也可以是noexcept的。

C++里没有强制的指针有效性检查，但这和noexcept的标记并不冲突——noexcept关注的是合法调用场景下的异常行为，而非处理非法输入的后果。

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