Question

我实现了一个异常类WINERR_EXCEPTION，用于抛出GetLastError()的运行时描述！

它按预期工作。然后我想消除不必要的分配。为此我实现了一个临时类，它接收并存储由const char*返回的what()。

然而，当我使用我的interim_exception类时，std :: exception的MSVC（c ++ 11开发人员预览版）实现使用std::exception基类成员变量（而不是what()）来复制描述-串。我将"unknown exception"作为what()的返回值。

标准说：

exception& operator=(const exception& rhs) noexcept;
    Effects: Copies an exception object.
    Postcondition: If *this and rhs both have dynamic type exception then strcmp(what(), rhs.what()) shall equal 0.

这是否与后置条件中的动态一词有关（我的interim_exception的描述没有动态分配）或者这只是一个错误的实现？

msvc的std :: exception :: operator =（）：

_EXCEPTION_INLINE exception& __CLR_OR_THIS_CALL exception::operator=(const exception& _That)
    {
    if (this != &_That)
        {
        _Tidy(); // resets members

        if (_That._Mydofree) // NB. This prevents my intentions (evals to false)
            {
            _Copy_str(_That._Mywhat);
            }
        else
            {
            _Mywhat = _That._Mywhat;
            }
        }

    return *this;
    }

我的代码：

////////////////////////////////////////////////////////////////////////////////
// file : TstThrow.h
// purpose : implementation of class WINERR_EXCEPTION
////////////////////////////////////////////////////////////////////////////////
//

#include <windows.h> 
#include <exception>
#include <stdexcept>

////////////////////////////////////////////////////////////////////////////////

namespace 
{
    // class interim_exception to avoid unnecessary allocations
    class interim_exception 
        : public std::exception
    {
    public: 
        // override member : what() const
    const char * what() const
    //_EXCEPTION_INLINE virtual const char * __CLR_OR_THIS_CALL what() const
    { return m_What; }

        interim_exception( const char* szWhat )
            :m_What( szWhat ? szWhat : "" ) {}

    private:
        const char* m_What;

    };
}

////////////////////////////////////////////////////////////////////////////////

class WINERR_EXCEPTION 
    : public std::exception
{
public:
    DWORD    ErrNo () const  { return m_ErrNo; }

public:
    explicit WINERR_EXCEPTION ( DWORD dwErrNo );

    inline exception& operator= ( const exception& that )
    {
        exception::operator= ( that );
        return (*this);
    }

    inline exception& operator= ( const char* szWhat )
    { 
        operator= ( std::exception( szWhat )); /* this works OK */
        // exception::operator= ( std::exception( szWhat )); /* this works OK */
        // exception::operator= (interim_exception( szWhat )); /* this doesn't work */
        // operator= (interim_exception( szWhat )); /* this doesn't work */
        return (*this);
    }

private:
    DWORD    m_ErrNo;

};

////////////////////////////////////////////////////////////////////////////////


WINERR_EXCEPTION::WINERR_EXCEPTION ( DWORD dwErrNo )
    :m_ErrNo (dwErrNo) //exception("") ,
{
    DWORD    dwFrmtFlags (FORMAT_MESSAGE_FROM_SYSTEM | FORMAT_MESSAGE_ALLOCATE_BUFFER);
    dwFrmtFlags |= FORMAT_MESSAGE_IGNORE_INSERTS;
    dwFrmtFlags |= FORMAT_MESSAGE_MAX_WIDTH_MASK;    // no newlines

    LPSTR    pBuffer (nullptr);
    if (! ::FormatMessageA( dwFrmtFlags ,nullptr 
                           ,dwErrNo ,0 ,(LPSTR)&pBuffer ,0 ,nullptr ))
    {
        dwErrNo = GetLastError();
        if (dwErrNo == ERROR_MR_MID_NOT_FOUND)
            operator= ( WINERR_EXCEPTION( dwErrNo ).what() );
        else
            operator= ( "Substituted Error Message :\n\t" 
                        "Could not allocate buffer for ORIGINAL Error Message\n" );
    }
    else
    {
        operator= ( pBuffer );
        LocalFree( pBuffer );
    }
}

////////////////////////////////////////////////////////////////////////////////

我的测试：

void     TstThrow ()
{
    for ( DWORD dwErr = ERROR_SUCCESS; dwErr < 200; ++dwErr )
    {
        SetLastError( dwErr );
        try
      {
          throw ::WINERR_EXCEPTION( GetLastError() );
      }
      catch (const ::WINERR_EXCEPTION& werr)
      {
          ::WINERR_EXCEPTION err ( werr ); // test for copying of object !

          std::cout << std::setw(4) << werr.ErrNo() << " :"<< werr.what() << std::endl;
        }

      if ((dwErr % 100) == 0)
          Sleep(1500);
    }
}

Answer 1

如果两个对象的动态类型都是exception，则两个对象“都具有动态类型exception”，而不是异常的子类型。因此，后置条件不适用于您的情况，因为动态类型为WINERR_EXCEPTION，而不是exception。

如果您希望what()返回std::exception()提供的默认值之外的其他内容，那么您必须自己覆盖它，或者从覆盖它的内容继承，例如异常类型在<stdexcept>中定义。（至少在标准C ++中就是这种情况;我不确切知道微软对std::exception的扩展应该如何工作，所以我不能评论它们。）

MSVC std :: exception不符合标准？

1 个答案: