我的字符串C++的构造函数

constructors of my string C++

本文关键字:构造函数 C++ 字符串 我的      更新时间:2023-10-16

我知道,如果构造函数中的某些东西失败,我必须抛出异常。这是否意味着每当我在构造函数中使用"new"时,当我创建此类的对象时,我应该在"try"catch"块中初始化它?

try{
mystring s("test");
}
catch(std::ba .....)
{...........}

我知道这几乎是不可能的"新"失败,但我要问的是,如果我的构造函数抛出了什么东西,这是正确的方法吗?(因为我从未见过有人在创建对象时使用它)

你真的应该而不是在每个这样的语句中加一个try{}catch{}异常的美妙之处在于,如果使用得当,您不必担心整个代码区域的异常,如果其中一个组件出现故障,这些代码区域将无法运行。不要检查单个语句,而是检查代码的整个小节。

try
{
    // good chunk of code that requires everything to succeed
    object o1; // if this fails we can't continue
    auto o2 = o1.func(); // if this fails we can't continue
    auto o3 = o2.func(); // if this fails we can't continue
    return o3; // yay we got there
}
catch(const std::exception& e)
{
    // that entire task failed because e.what(), tell the user and move on
}

关键是要确保在抛出异常时,对象在其析构函数中进行自我清理。这就是RAII的方法。

我知道,如果构造函数中的某个东西失败,我必须抛出例外

应该抛出一个异常。但是只有当检测到故障时,而不是当其他人已经抛出了一些东西时,因为在这种情况下,故障检测已经在其他地方发生了。

这是否意味着每当我在构造函数中使用"new"时创建这个类的对象我应该在"try"中初始化它"catch"块?

没有。

首先,无论如何都不应该在代码中使用new。内存管理最好留给std::vectorstd::string或其他容器类,或者留给std::unique_ptr或其他智能指针,具体取决于您需要的功能。

其次,如果new失败,或者标准容器类内部的内存分配失败,那么从构造函数抛出异常是最不需要担心的,因为这将由于new抛出std::bad_alloc而自动发生。换句话说,检测失败的是new(或容器类),而不是您。

您可以做的是将异常转换为另一种类型:

Example::Example()
{
    try
    {
        std::string some_local_string(arg);
        // ...
    }
    catch (std::bad_alloc const& exc)
    {
        throw MyCustomException(exc);
    }
}

然而,这样的异常翻译通常不值得麻烦,尤其是对于std::bad_alloc,它无论如何都很难有意义地处理。

一个更大的问题可能是,析构函数永远不会被调用,因此成员指针中保存的任何先前new分配的deletes都不会发生,从而造成内存泄漏。

再次使用std::vectorstd::stringstd::unique_ptr或其他此类标准类来避免这些问题!

try{
mystring s("test");
}
catch(std::ba .....)
{...........}

这段代码与new无关。如果mystring是一个字符串类,那么该类有望执行自己的内存管理。当然,您不应该使用自定义字符串类,而应该使用std::string

我知道这几乎是不可能的"新"失败

不要过于乐观。关心错误处理是个好主意!:)

如果我的构造函数抛出了一些东西,这是正确的捕获方法吗?

没有。

如果您正确地使用了C++提供的所有工具,那么newtrycatch,甚至自定义析构函数都不会经常出现在代码中。

class Example
{
public:
    Example()
    {
        std::string s("test");
        // no try-catch
        // ...
    }
    // no destructor
    // ...
private:
    std::string member1;
    std::vector<int> member2;
};