FIX: Error C2593: 'operator +' Is Ambiguous

• Microsoft C/C++ Compiler (CL.EXE), included with:
  • Microsoft C/C++ for MS-DOS, version 7.0
  • Microsoft Visual C++ for Windows, versions 1.0, 1.5, 1.51, 1.52
  • Microsoft Visual C++ 32-bit Edition, versions 1.0, 2.0, 2.1, 4.0, 4.1, 4.2

SYMPTOMS

When enumerated types are used in some (+-*/|&^%) operator overloads, the Microsoft compilers listed above may generate the following message:

Error C2593: 'operator +' is ambiguous

Warning C4387: 'enum Test __cdecl operator+(enum Test, enum Test)': was considered

Warning C4388: and built-in global operator was considered

CAUSE

Without determining that there is an exact operator overload match, the compiler is considering the enumerator types promoted to int type. This causes the C2593 ambiguous error.

RESOLUTION

Use one of the following three workarounds:

• With Visual C++ 32-bit Edition, versions 2.x and 4.x, you can work around the problem by using a class template. See the "Sample Code to Work Around Problem" section in this article. This workaround provides a class template that can be used for any enum type. One of the parameters for the overloaded operator needs to be of the class template type and the enums need to be declared as the class type.


-or-


• You can call the overloaded operator using normal function call syntax. For example:

  
     eTest = operator+( eTest1, eTest2 ); 



-or-


• You can just use the built-in global operator, and then convert the result back to enum type. For example:

  
     eTest = Test( (int)eTest1 + eTest2 ); 

  where eTest, eTest1 and eTest2 are of type enum Test{}.

STATUS

Microsoft has confirmed this to be a bug in the Microsoft products listed at the beginning of this article. This bug was corrected in Visual C++ version 5.0.

MORE INFORMATION

Sample Code to Reproduce Problem

   /* Compiler options needed: None.
   */ 

   enum Test { ONE, TWO, THREE };

   Test operator+(Test eTest, Test eTest2)
   {
      Test   eRet = Test(int(eTest) + int(eTest2));
      return eRet;
   }

   void main()
   {
      Test    eTest=ONE, eTest2=TWO;
      eTest = eTest + eTest2;     // C2593 error
   } 

Sample Code to Work Around Problem

   /* Compiler options needed: None.
   */ 

   enum Test { ONE=1, TWO, THREE };

   template<class T> class CFix
   {
      T m_fix;

    public:

      CFix(T eFix) { m_fix = eFix; }

      operator T() { return  m_fix; }
   };

   Test operator+(CFix<Test> eTest, Test eTest2)
   {
      Test   eRet = Test(int(eTest) + int(eTest2));
      return eRet;
   }

   void main()
   {
      CFix<Test>  eTest=ONE, eTest2=TWO;
      eTest = eTest + eTest2;
   } 

REFERENCES

More information about operator overloading can be found in "The Annotated C++ Reference Manual (Jan '94)" section 13.4.

Additional query words: kbVC400bug cpp 9.00 8.00 8.00c 10.00 10.10 10.20

Keywords : kbcode kbtool kbCompiler kbCPPonly kbVC kbVC500fix
Version : :1.0,1.5,1.51,1.52,2.0,2.1,4.0,4.1,4.2
Platform : MS-DOS NT WINDOWS
Issue type : kbbug