Question

我有这个抛出异常的构造函数

GenericSocket::GenericSocket(const string& hostname, 
                             const string& servname):
                             _hostname(hostname),
                             _servname(servname)
{  
    initHints();
    int rv;
    if((rv = getaddrinfo(_hostname.c_str(), 
                    _servname.c_str(), 
                    &_hints, 
                    &_servinfo)) != 0) {  
        throw GenericSocketException();
    }  

}

initHints（）执行_hints的memset并设置一些变量。

我使用谷歌测试框架进行测试，如下所示：

TEST(CreateObject2, getaddrinfoException)
{
    mgs_addrinfo_return = 1; 
    ASSERT_THROW(new GenericSocket("testhost", "4242"), GenericSocketException);
}

测试因核心转储而失败：

[ RUN      ] CreateObject2.getaddrinfoException
socket creation failed
terminate called after throwing an instance of 'common::GenericSocketException'
  what():  Socket creation failed
[1]    43360 abort (core dumped)  ./bin/test_common

除了我不确切知道出了什么问题之外，我怀疑一些未经初始化的对象被删除（？），很多事情似乎都在幕后发生，所以我开始怀疑是否应该抛出异常是一个好习惯构造函数。是否可以更好地将此功能放在另一个我可以在创建对象后调用的函数中，然后处理异常？

Answer 1

恕我直言，在构造函数中抛出异常是处理这种情况的最佳方法 - 如果没有套接字，你真的想要一个可用的对象吗？这对我没有意义。如果它没有解决该地址，那就有理由，这是值得的例外（只要你正确处理它！）

在您的特定情况下，您应该测试返回值并使异常更有用...（例如，HostNotFound - 我猜这就是这种情况）

Answer 2

是的。你实际上别无选择：构造函数没有返回值。

但要注意异常安全。例如，请参阅http://www.drdobbs.com/184403429，或google“强烈例外保证”。实际上，构造函数抛出的对象不会被破坏（它从未存在过），必须保持不泄漏资源的状态。

Answer 3

当然，当你不能构造一个对象时，唯一合理的做法是抛出异常，否则你最终会得到一些僵尸对象。并回答你的另一个问题，不，你不能销毁一个没有创建的对象。

Answer 4

是的，抛出异常是报告构造函数遇到问题的最直接方法，因为它们不返回值。

另一方面，析构函数应不抛出异常，因为它们将在异常处理的堆栈展开阶段被调用，并在此时抛出另一个异常会导致中止。

Answer 5

至少已经就SO进行了两次讨论。在从构造函数抛出异常和两阶段初始化时：

1）When is it right for a constructor to throw an exception?

2）Throwing exceptions from constructors

Answer 6

如果您在构造中了解到您将无法创建有效对象，那么抛出异常可能是您的最佳选择。因此，除非他们能够处理错误，否则禁止该类的用户继续进行。这通常是程序的正确行为。

function()
{
    // 1. acquire resources.
    // 2. perform action.
    // 3. release resources.
}

如果你不能完成第一步那么其他步骤是徒劳的。这就是我们使用RAII的原因：我们首先获得了我们需要的所有资源，有点类似于堆栈变量的旧C编程风格。使用RAII，如果任何资源无法获取 - 通过构造函数中的异常 - 那么所有先前获取的资源将自动释放，并且永远不会尝试第二步。所有这些都是在幕后自动完成的，但是假设您无法创建对象，则会假定您在构造函数中抛出异常。它还假设析构函数将进行清理。

struct Connection {
    Connection() {
        if( ! connect() ) throw ConnectionError();
    }
    ~Connection() {  // may not throw under any circumstances
        try { disconnect(); }
        catch( ... ) { }
    }
    void send(const std::string& message);
    // ...
private:
    bool connect();
    // ...
};

void post(const std::string& message)
{
    // step one is easy for the user:
    Connection c;
    // step two is the bulk of the work:
    c.send("HELO");
    // step three is automatically done for the user.
}

在C ++类的构造函数中抛出异常是一种好习惯吗？

6 个答案: