Q122303: FIX: __declspec(dllimport) Classes Are Not Caught Correctly

Article: Q122303
Product(s): Microsoft C Compiler
Version(s): 2.0
Operating System(s): 
Keyword(s): kbCompiler kbCPPonly kbVCkbbuglist kbfixlist
Last Modified: 13-NOV-2001

-------------------------------------------------------------------------------
The information in this article applies to:

- Microsoft Visual C++, 32-bit Editions, version 2.0 
-------------------------------------------------------------------------------

SYMPTOMS
========

C++ Exception Handling (EH) can be used to throw and catch objects of a
specified type. If a class declared with the __declspec(dllimport) keyword is
thrown, it will not be recognized by the catch handler for that type.

If a handler for unspecified types, catch (...), is present, the
__declspec(dllimport) object will be caught in that handler. Otherwise, it will
not be handled, and an exception will terminate the application or cause a
general protection (GP) fault.

RESOLUTION
==========

To work around this problem, derive a class from the __declspec(dllimport)
class, and throw or catch an object of the derived class.

If you are throwing the derived object in one .DLL or .EXE, and catching it in
another, you must do the same derivation in each module.

STATUS
======

Microsoft has confirmed this to be a bug in the Microsoft products listed at the
beginning of this article. This problem was fixed in Microsoft Visual C++,
32-bit Edition, version 4.0.

MORE INFORMATION
================

The following sample application demonstrates the problem with catching
__declspec(dllimport) classes and the workaround of using a derived class.

Here's the output:

  In the EXE.
  In the DLL.
  In the EXE again.
  Throwing ExceptionI...
  DLL: ExceptionI was not caught as correct type.
  Throwing ExceptionII...
  EXE: Class ExceptionII caught: code = 0.

Sample Code
-----------

  /* dllsamp.cpp : Defines the implementation routines for the DLL
  *  Compile options needed: /GX dllsamp.cpp /link /DLL
  */ 

  #include <iostream.h>

  // ExceptionI is declared with _declspec(dllimport), and will not be
  // caught correctly
  class __declspec(dllexport) ExceptionI {
     int code;
   public:
     ExceptionI();
     ExceptionI(int i);
     ~ExceptionI() {};
     int GetCode(void);
  };

  ExceptionI::ExceptionI (void)
  { code = 0; }

  ExceptionI::ExceptionI (int i)
  { code = i; }

  int ExceptionI::GetCode(void)
  { return code; }

  // ExceptionII is derived from ExceptionI, and will be caught correctly
  class ExceptionII : public ExceptionI {};

  __declspec(dllexport) void dllfunc(void (*exefunc)(void))
  {
   try
     {
     cout << "In the DLL." <<endl;
     exefunc();
     }
   catch (ExceptionI x)
     {
     cout << "DLL: Class ExceptionI caught: code = " << x.GetCode() <<
  "." << endl;
     cout << "Throwing ExceptionII..." << endl;
     throw ExceptionII();
     }
   catch (...)
     {
     cout << "DLL: ExceptionI was not caught as correct type." << endl;
     cout << "Throwing ExceptionII..." << endl;
     throw ExceptionII();
     }
  }

  /* exesamp.cpp : Defines the implementation routines for the EXE
  *  Compile options needed: /GX exesamp.cpp /link dllsamp.lib
  */ 

  #include <iostream.h>

  __declspec(dllimport) void dllfunc(void (*exefunc)(void));

  class __declspec(dllimport) ExceptionI {
     int code;
   public:
     ExceptionI();
     ExceptionI(int i);
     ~ExceptionI() {};
     int GetCode(void);
  };

  // ExceptionII needs to be defined in both modules to be caught correctly
  class ExceptionII : public ExceptionI {};

  void exefunc(void);

  void main(void)
  {
   try
     {
     cout << "In the EXE." << endl;
     dllfunc(exefunc);
     }
   catch (ExceptionII x)
     {
     cout << "EXE: Class ExceptionII caught: code = " << x.GetCode() <<
  "." << endl;
     }
   catch (...)
     {
     cout << "EXE: ExceptionII was not caught as correct type." << endl;
     }
  }

  void exefunc(void)
  {
   try
     {
      cout << "In the EXE again." << endl;
      cout << "Throwing ExceptionI..." << endl;
      throw ExceptionI(-1);
     }
   catch (ExceptionI x)
     {
     cout << "EXE: Class ExceptionI caught: code = " << x.GetCode() <<
  "." << endl;
     cout << "Throwing ExceptionI..." << endl;
     throw ExceptionI(-1);
     }
  }

Additional query words: 2.00 9.00 gpf gpfault buglist2.00 compiler

======================================================================
Keywords          : kbCompiler kbCPPonly kbVC kbbuglist kbfixlist
Technology        : kbVCsearch kbAudDeveloper kbVC200 kbVC32bitSearch
Version           : :2.0
Issue type        : kbbug
Solution Type     : kbfix

=============================================================================

THE INFORMATION PROVIDED IN THE MICROSOFT KNOWLEDGE BASE IS PROVIDED "AS IS" WITHOUT WARRANTY OF ANY KIND. MICROSOFT DISCLAIMS ALL WARRANTIES, EITHER EXPRESS OR IMPLIED, INCLUDING THE WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. IN NO EVENT SHALL MICROSOFT CORPORATION OR ITS SUPPLIERS BE LIABLE FOR ANY DAMAGES WHATSOEVER INCLUDING DIRECT, INDIRECT, INCIDENTAL, CONSEQUENTIAL, LOSS OF BUSINESS PROFITS OR SPECIAL DAMAGES, EVEN IF MICROSOFT CORPORATION OR ITS SUPPLIERS HAVE BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES. SOME STATES DO NOT ALLOW THE EXCLUSION OR LIMITATION OF LIABILITY FOR CONSEQUENTIAL OR INCIDENTAL DAMAGES SO THE FOREGOING LIMITATION MAY NOT APPLY.

Copyright Microsoft Corporation 1986-2002.