草庐IT

c++ - 在构造函数中抛出异常是否不安全？

coder 2023-11-15 原文

我知道从析构函数中抛出异常是不安全的，但是从构造函数中抛出异常是否不安全？

例如全局声明的对象会发生什么？使用 gcc 进行快速测试，我得到 中止，总是有保证吗？您会使用什么解决方案来应对这种情况？

在任何情况下，构造函数都可以抛出异常而不按照我们的预期进行。

编辑:我想我应该补充一点，我试图了解在什么情况下我可能会发生资源泄漏。看起来明智的做法是在抛出异常之前手动释放我们在构造过程中获得的资源。在今天之前，我从来不需要在构造函数中抛出异常，所以试图了解是否存在任何陷阱。

即这也安全吗？

class P{
  public:
    P() { 
       // do stuff...

       if (error)
          throw exception
    }
}

dostuff(P *p){
 // do something with P
}

... 
try {
  dostuff(new P())
} catch(exception) {

}

分配给对象P的内存会不会被释放？

EDIT2:忘记提及在这种特殊情况下，dostuff 将对 P 的引用存储在输出队列中。 P 实际上是一条消息，dostuff 获取消息，将其路由到适当的输出队列并发送。本质上，一旦 dostuff 掌握了它，它就会在 dostuff 的内部释放出来。我想我想在 P 周围放置一个 autoptr 并在 dostuff 之后在 autoptr 上调用 release 以防止内存泄漏，这样对吗？

最佳答案

从构造函数中抛出异常是 good thing .当构造函数中出现问题时，您有两种选择:

  • 保持“僵尸”状态，类存在但什么都不做，或者
  • 抛出异常。

维护僵尸类可能会很麻烦，而真正的答案应该是“这失败了，现在怎么办？”。

根据标准 3.6.2.4:

If construction or destruction of a non-local static object ends in throwing an uncaught exception, the result is to call terminate (18.6.3.3).

终止指的是std::terminate .

关于您的示例，不。这是因为您没有使用 RAII concepts .抛出异常时，堆栈将展开，这意味着所有对象都会在代码到达最接近的相应 catch 子句时调用其析构函数。

指针没有析构函数。让我们做一个简单的测试用例:

#include <string>

int main(void)
{
    try
    {
        std::string str = "Blah.";
        int *pi = new int;

        throw;

        delete pi; // cannot be reached
    }
    catch(...)
    {
    }
}

在这里，str 将分配内存，并复制“Blah”。放入其中，pi 将被初始化为指向内存中的一个整数。

当抛出异常时，堆栈展开开始。它将首先“调用”指针的析构函数(什么都不做)，然后是 str 的析构函数，这将释放分配给它的内存。

如果您使用 RAII 概念，您将使用智能指针:

#include <memory>
#include <string>

int main(void)
{
    try
    {
        std::string s = "Blah.";
        std::auto_ptr<int> pi(new int);

        throw;

        // no need to manually delete.
    }
    catch(...)
    {
    }
}

在这里，pi 的析构函数将调用delete，并且不会泄漏任何内存。这就是为什么你应该总是包装你的指针，这也是我们使用 std::vector 而不是手动分配、调整大小和释放指针的原因。 (清洁和安全)

编辑

忘记说了。你问这个:

I think I want to put an autoptr around P and call release on the autoptr after dostuff to prevent a memory leak, would that be correct?

我没有明说，上面只是暗示，但答案是没有。您所要做的就是将它放在 auto_ptr 中，到时候它会自动删除。手动释放它违背了最初将其放置在容器中的目的。

我还建议您查看更高级的智能指针，例如 boost 中的那些.一个非常受欢迎的是 shared_ptr ，即 reference counted ，使其适合存储在容器中并被复制。 (与 auto_ptr 不同。不要在容器中使用 auto_ptr!)

关于c++ - 在构造函数中抛出异常是否不安全？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/1197566/

amp43codenoreferrersectionc++

有关c++ - 在构造函数中抛出异常是否不安全？的更多相关文章

  1. ruby-on-rails - 如何验证 update_all 是否实际在 Rails 中更新 - 2

    给定这段代码defcreate@upgrades=User.update_all(["role=?","upgraded"],:id=>params[:upgrade])redirect_toadmin_upgrades_path,:notice=>"Successfullyupgradeduser."end我如何在该操作中实际验证它们是否已保存或未重定向到适当的页面和消息？ 最佳答案 在Rails3中，update_all不返回任何有意义的信息，除了已更新的记录数(这可能取决于您的DBMS是否返回该信息)。http://ar.ru

  2. ruby-on-rails - 如何优雅地重启 thin + nginx？ - 2

    我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server

  3. ruby - 检查数组是否在增加 - 2

    这个问题在这里已经有了答案:Checktoseeifanarrayisalreadysorted?(8个答案)关闭9年前。我只是想知道是否有办法检查数组是否在增加？这是我的解决方案，但我正在寻找更漂亮的方法:n=-1@arr.flatten.each{|e|returnfalseife

  4. ruby - 在没有 sass 引擎的情况下使用 sass 颜色函数 - 2

    我想在一个没有Sass引擎的类中使用Sass颜色函数。我已经在项目中使用了sassgem，所以我认为搭载会像以下一样简单:classRectangleincludeSass::Script::FunctionsdefcolorSass::Script::Color.new([0x82,0x39,0x06])enddefrender#hamlengineexecutedwithcontextofself#sothatwithintemlateicouldcall#%stop{offset:'0%',stop:{color:lighten(color)}}endend更新:参见上面的#re

  5. ruby-on-rails - 在 ruby​​ 中使用 gsub 函数替换单词 - 2

    我正在尝试用ruby​​中的gsub函数替换字符串中的某些单词，但有时效果很好，在某些情况下会出现此错误？这种格式有什么问题吗NoMethodError(undefinedmethod`gsub!'fornil:NilClass):模型.rbclassTest"replacethisID1",WAY=>"replacethisID2andID3",DELTA=>"replacethisID4"}end另一个模型.rbclassCheck 最佳答案 啊，我找到了!gsub!是一个非常奇怪的方法。首先，它替换了字符串，所以它实际上修改了

  6. ruby-on-rails - Rails - 乐观锁定总是触发 StaleObjectError 异常 - 2

    我正在学习Rails，并阅读了关于乐观锁的内容。我已将类型为integer的lock_version列添加到我的articles表中。但现在每当我第一次尝试更新记录时，我都会收到StaleObjectError异常。这是我的迁移:classAddLockVersionToArticle当我尝试通过Rails控制台更新文章时:article=Article.first=>#我这样做:article.title="newtitle"article.save我明白了:(0.3ms)begintransaction(0.3ms)UPDATE"articles"SET"title"='dwdwd

  7. ruby - 检查字符串是否包含散列中的任何键并返回它包含的键的值 - 2

    我有一个包含多个键的散列和一个字符串，该字符串不包含散列中的任何键或包含一个键。h={"k1"=>"v1","k2"=>"v2","k3"=>"v3"}s="thisisanexamplestringthatmightoccurwithakeysomewhereinthestringk1(withspecialcharacterslike(^&*$#@!^&&*))"检查s是否包含h中的任何键的最佳方法是什么，如果包含，则返回它包含的键的值？例如，对于上面的h和s的例子，输出应该是v1。编辑:只有字符串是用户定义的。哈希将始终相同。 最佳答案

  8. ruby-on-rails - Ruby 检查日期时间是否为 iso8601 并保存 - 2

    我需要检查DateTime是否采用有效的ISO8601格式。喜欢:#iso8601?我检查了ruby​​是否有特定方法，但没有找到。目前我正在使用date.iso8601==date来检查这个。有什么好的方法吗？编辑解释我的环境，并改变问题的范围。因此，我的项目将使用jsapiFullCalendar，这就是我需要iso8601字符串格式的原因。我想知道更好或正确的方法是什么，以正确的格式将日期保存在数据库中，或者让ActiveRecord完成它们的工作并在我需要时间信息时对其进行操作。 最佳答案 我不太明白你的问题。我假设您想检查

  9. ruby - 检查日期是否在过去 7 天内 - 2

    我的日期格式如下:"%d-%m-%Y"(例如，今天的日期为07-09-2015)，我想看看是不是在过去的七天内。谁能推荐一种方法？ 最佳答案 你可以这样做:require"date"Date.today-7 关于ruby-检查日期是否在过去7天内，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.com/questions/32438063/

  10. ruby - 在 Ruby 中有条件地定义函数 - 2

    我有一些代码在几个不同的位置之一运行:作为具有调试输出的命令行工具，作为不接受任何输出的更大程序的一部分，以及在Rails环境中。有时我需要根据代码的位置对代码进行细微的更改，我意识到以下样式似乎可行:print"Testingnestedfunctionsdefined\n"CLI=trueifCLIdeftest_printprint"CommandLineVersion\n"endelsedeftest_printprint"ReleaseVersion\n"endendtest_print()这导致:TestingnestedfunctionsdefinedCommandLin

随机推荐