c++ - 存储在异常对象 : providing strings in exception 中的信息

Question

我想做这样的事情

FileIn::FileIn(const char* filename)
    {
    handle=CreateFile(filename,GENERIC_READ,FILE_SHARE_READ
        ,NULL,OPEN_EXISTING,FILE_ATTRIBUTE_NORMAL,NULL);

    if(handle==INVALID_HANDLE_VALUE)
        {
     // Base class ExceptionWinapi will call GetLastError();
        throw ExceptionWinapiFile(filename);
        }
    }

但是，如果ExceptionWinapi 没有复制文件名，那么在捕获异常时它可能会无效。但是复制文件名需要 malloc(如果缓冲区不是固定长度的)，这可能会失败。那么将字符串存储在哪里呢？

编辑:为了更清楚，考虑

#include <cstdio>

class Foo
    {
    public:
        Foo(const Foo& foo){printf("Foo copy\n");}
        Foo(){printf("Foo\n");}
        ~Foo(){printf("~Foo\n");}
    };

class TestExcep
    {
public:
        TestExcep(const Foo& bar):m_bar(bar){}
    private:
        Foo m_bar;
};

class Test
    {
    public:
        Test(const Foo& bar)
            {throw TestExcep(bar);}
};

int main()
    {
    try
        {
        Foo bar;
        Test a(bar);
        }
    catch(const TestExcep& excep)
        {
        printf("Error\n");
        return 1;
        }
    return 0;
    }

打印(添加评论)

Foo
Foo copy
~Foo               <======Destroy old Foo after copy to the exception object!
Error
~Foo

编辑 2:如果 Foo(const Foo& foo){printf("Foo copy\n");} 抛出，那么它是 cauch 而不是旧异常。这也不好。

编辑 3:

ExceptionWinapiFile 的有用部分

ExceptionWinapiFile(const char* filename)
    {
    m_length=streln(filename)+1;
    m_buffer=(char*)malloc(m_length*sizeof(char));
    if(m_buffer==NULL)
        {
        //The problem
        abort(); //????
        }
    memcpy(m_buffer,filename,m_length*sizeof(char));
    }

还有(又是同样的问题)

ExceptionWinapiFile(const ExceptionWinapiFile& e)
    {
    m_length=e.m_length;
    m_buffer=(char*)malloc(m_length*sizeof(char));
    if(m_buffer==NULL)
        {
        //The problem
        abort(); //????
        }
    memcpy(m_buffer,e.filename,m_length*sizeof(char));
    }

dtor 没有问题，至少:

~ExceptionWinapiFile()
     {
     free(m_buffer);
     m_buffer=NULL; //As recommended by boost
     }

Answer 1

您将不得不面对这样一个事实，即创建一个包含任意大小字符串的异常将不得不分配内存，这可能会失败。您唯一能做的就是减轻压力。

首先，可能发生的最糟糕的事情是 throw 子表达式成功，但是将异常复制到异常存储中会抛出。在这种情况下，std::terminate 会立即被调用，你就完蛋了。你不想要那个。

在实践中，这很少成为问题，因为这个拷贝通常会被省略，这意味着没有机会抛出。此外，如果您使用的是 C++11，请确保您的异常具有不抛出移动的构造函数。它将优先于复制构造函数使用，因此您不会冒出现异常的风险。

其次，throw 子表达式本身可能会抛出。如果是这样，那么将抛出新的异常而不是您想要的异常。在你的情况下，如果你在异常类中有一个 std::string 成员，你很可能会得到一个 std::bad_alloc 异常而不是你想抛出的 ExceptionWinapiFile 。你必须问自己的问题是，这真的是个问题吗？如果你的内存太低以至于你不能为文件名分配足够的空间，你真的还在关心一个文件没有被打开吗？无论如何，它有可能因为内存不足而失败，如果它没有失败，那么无论你要对文件做什么，都可能会因为内存不足而失败。

因此，除非您有非常非常具体的要求，否则请不要担心。将 std::string 成员放在那里，你会没事的。