为何Windows下MSVC无法捕获异常而Linux下GCC可以？

测试代码与配置 #

std_exp.cpp #

#include <iostream>
#include <string>
#include <stdexcept>

using namespace std;

int main() {
    try {
        std::string s{nullptr};
    } catch (const std::exception &e) {
        std::cerr << "Caught exception: " << e.what() << std::endl;
    }

    return 0;
}

CMakeLists.txt #

cmake_minimum_required(VERSION 3.16)
project(test001)
set(CMAKE_CXX_STANDARD 11)
message(STATUS "C++ compiler: ${CMAKE_CXX_COMPILER}")
message(STATUS "C++ compiler ID: ${CMAKE_CXX_COMPILER_ID}")
message(STATUS "C++ compiler version: ${CMAKE_CXX_COMPILER_VERSION}")
add_executable(test001 std_exp.cpp)

编译命令 #

cmake -B ./build -S ./
cmake --build ./build/ --config Release

编译器与运行输出 #

编译器输出 #

Windows下：
-- Selecting Windows SDK version 10.0.22621.0 to target Windows 10.0.22000.
-- C++ compiler: ${ROOT_PATH1}/Microsoft Visual Studio/2022/Professional/VC/Tools/MSVC/14.40.33807/bin/Hostx64/x64/cl.exe
-- C++ compiler ID: MSVC
-- C++ compiler version: 19.40.33812.0
-- Configuring done
-- Generating done
-- Build files have been written to: ${ROOT_PATH2}/build

Linux下：
-- C++ compiler: /usr/bin/c++
-- C++ compiler ID: GNU
-- C++ compiler version: 11.4.0
-- Configuring done
-- Generating done
-- Build files have been written to: ${ROOT_PATH3}/build

程序运行输出 #

Windows下：
(无输出)
Linux下：
std_exp.cpp15Caught exception: basic_string: construction from null is not valid

原因分析 #

• C++标准的未定义行为：从C++11开始，用nullptr构造std::string属于未定义行为——标准没有强制要求编译器必须抛出异常，不同厂商的编译器可以自行决定处理逻辑。
• MSVC的实现逻辑：你使用的MSVC 19.40版本在Release模式下，为了性能会省略空指针检查，直接跳过异常触发流程，程序正常退出，所以没有输出。而GCC 11.4.0选择了抛出std::invalid_argument（继承自std::exception），因此能被捕获。
• 编译模式的影响：如果切换到MSVC的Debug模式，编译器会启用更多参数检查，大概率会触发断言或者抛出异常，但这属于Debug模式的额外检查，不是标准要求的行为。

注意：依赖编译器对未定义行为的处理逻辑是不安全的，正确做法是绝对避免用nullptr或空指针构造std::string。

内容的提问来源于stack exchange，提问作者Monhde Sau Hung