Visual C++ bug report

M

Marco Jez

I think I have found a bug in the Visual C++ compiler (version 7.1). What is
the preferred way for reporting it to Microsoft? Here's a brief description
of the suspect behavior: the expression typeid(A)==typeid(B) evaluates to
true when A and B are instances of two different unnamed classes, even
though it should evaluate to false. This only happens when A and B are
defined at namespace scope. Example:


#include <typeinfo>
#include <iostream>

class { int x; } A;
class { double x; } B;

int main()
{
std::cout << (typeid(A) == typeid(B)) << std::endl;
return 0;
}


The above code prints "1" to stdout while it should print "0" instead
because A and B are instances of two different types.

Cheers,
Marco
 
J

Jochen Kalmbach [MVP]

B

Bruno van Dooren

global scope is not required. they just have to be in the same namespace.
if you put them in namepace bla it has the same result.

std::cout << typeid(A).name() << std::endl;
std::cout << typeid(B).name() << std::endl;

you 'll see 2 times 'bla::__unnamed'

which is caused by the fact that your classes don't have class names.
the funny thing is that intellisense shows __unnamed_c609b043_1 for A and
__unnamed_c609b043_2 for B, so i'm surprised that they have the same
typeids.

that being said, i don't know if the behavior in this case is defined or
not.
the safest thing to do is to provide tag names.

kind regards,
Bruno.
 
M

Marco Jez

Hi Bruno,
global scope is not required. they just have to be in the same namespace.
if you put them in namepace bla it has the same result.
Click to expand...

I didn't say "global scope", I said "namespace scope"... :)
that being said, i don't know if the behavior in this case is defined or
not.
the safest thing to do is to provide tag names.
Click to expand...

The C++ Standard is pretty clear in explaining what you should expect from
the typeid operator, and unnamed classes are not mentioned as a particular
condition to be aware of. The paragraph that can be applied to my example is
the following:

"When typeid is applied to an expression other than an lvalue of a
polymorphic class type, the result refers to a type_info object representing
the static type of the expression. "

Unless I'm not misinterpreting that, the Standard states that typeid(A)
returns a type_info representing the static type of A, and typeid(B) returns
a type_info representing the static type of B. In my example the static type
of A is clearly different from that of B, but the two type_info objects
result to be equal (or at least indistinguishible one from the other), and
that's a violation of the above statement.

As for using tag names I agree with you, but I'm writing a
reflection/introspection framework, so being unable to distinguish between
two different types is a heavy deficiency for my project. I personally avoid
using unnamed classes, but the library I'm writing must exhibit consistent
behavior when used with foreign code I have no control on. :-/

Cheers,
Marco
 

Ask a Question

Want to reply to this thread or ask your own question?

You'll need to choose a username for the site, which only take a couple of moments. After that, you can post your question and our members will help you out.

Ask a Question

Similar Threads

VC7.1: Parser bug with overloaded function templates 2
fatal error LNK1120 in VC++ 0
Testing type of void* 4
7.1 C++ compiler doesn't catch base class reference without public copy constructor 12
Bug in precedence for built-in types? 4
Bug Report: Incorrect treatment of function types in VC7.1 2
/O2 bug? 4
Help for me:LNK2019 2

Top