C ++中包含的C标准库函数是否抛出异常？

Question

在下面的代码中，作者指出 new operator 函数调用可能会导致异常，因此此实现不是异常安全的，因为对象状态已在第一行中更改。

String &String::operator =( const char *str ) {
    // state is changed
    delete [] s_;                                        

    if( !str ) str = "";

    // exception might occur because of new operator
    s_ = strcpy( new char[ strlen(str)+1 ], str );

    return *this;
}

在阅读时，我想知道 C 库函数是否会在 C++ 中抛出异常？我知道 C 中没有例外，但由于我们使用的是 C++ 编译器，因此可能会有例外。

那么，我们可以将 c 标准库函数视为异常安全函数调用吗？

谢谢。

顺便说一下，下面是实现上述功能的正确方法（异常安全）。

String &String::operator =( const char *str ) {
    if( !str ) str = "";
    char *tmp = strcpy( new char[ strlen(str)+1 ], str );
    delete [] s_;
    s_ = tmp;
    return *this;
}

Answer 1

否 - 使用 C++ 编译器编译并不意味着会抛出异常。 C 不支持异常，因此 C 程序不能抛出任何类型的异常。

Answer 2

一般来说，C++ 标准不会修改 C 标准中的任何函数，除了规定标识符应引用实际函数而不是宏。因此，C 标准库中的函数在任何情况下都不能抛出异常，因为 C 标准规定了函数可以做什么。

允许异常的漏洞包括未定义的行为或回调（例如，将比较器传递给 qsort 会引发异常......虽然我实际上不确定 C++ 标准是否允许这样做） .我认为库提供者不太可能花任何精力尝试添加在存在未定义行为的情况下抛出异常的功能。

Answer 3

While reading, I wondered that do C library functions throw exception in C++ ?

如果您正确使用这些功能，则不会。他们怎么可能？那将完全破坏向后兼容性。

但是，如果您不正确地使用它们，就会发生未定义的行为。在这种情况下，编译器可以做任何它想做的事情，包括抛出异常。

例如，根据 C++ 语言标准，采用以下表现出未定义行为的程序：

#include <iostream>
#include <string.h>

int main()
{
    try
    {
        strcpy(nullptr, nullptr);
    }
    catch (...)
    {
        std::cerr << "exception\n";
    }
}

使用 Structured Exception Handling 使用 Visual C++ 2013 编译它，如下所示：

cl /nologo /Za /EHa /W4 Whosebug.cpp

程序结果：

exception

C ++中包含的C标准库函数是否抛出异常？

Do C standard library functions which are included in C++ throw exception?

c++

exception

exception-safety

exception-safe

c-standard-library