I have encountered a problem while was using variadic templates, but the problem is not related to variadic templates and can be reproduced without them. The problem is related to same names of types in inherited and base classes.

I've simplified code to the following snippet:

#include <typeinfo>
#include <iostream>

struct A
{
    int member;
};

struct B: public A
{
    typedef A NEXT;

    short member;
};

struct Foo: public B
{
    typedef B NEXT;

    void Check()
    { 
        std::cout << typeid(NEXT::member).name() << 'n';
        std::cout << typeid(NEXT::NEXT::member).name() << 'n';

        NEXT::NEXT::member = 1;
        NEXT::member = 2;

        std::cout << NEXT::NEXT::member << 'n';
        std::cout << NEXT::member << 'n';
    };
};

int main()
{
    Foo foo;
    foo.Check();
}

It compiles without warnings and works with GCC and clang, but it produces wrong output with MSVC (at least with Visual Studio 2015 Update 1).

It seems that some collision in names happens, and it treats NEXT::NEXT::member as NEXT::member , but in the same place, it lies to typeid (as well as to std::is_same ).

When compiled with GCC or clang the output is:

s                                                                                                                                                                                                                                                      
i                                                                                                                                                                                                                                                      
1                                                                                                                                                                                                                                                      
2 

But in case of MSVC, the output is:

short
int
2
2

The following code compiles without warnings with GCC or clang, but as expected produces error with MSVC:

struct A
{
    int member;
};

struct B: public A
{
    typedef A NEXT;

    short member;
};

struct Foo: public B
{
    typedef B NEXT;

    short& GetB() { return NEXT::member; };
    int& GetA()   { return NEXT::NEXT::member; };    
};

The MSVC error:

source_file.cpp(18): error C2440: 'return': cannot convert from 'short' to 'int &'

Is the code above valid? Is it a problem of MSVC or I'm utilizing UB somehow?

Update

The problem can not be reproduced in MSVC 2015 update 3.

链接地址: http://www.djcxy.com/p/72532.html

上一篇: 如何实现EXCLUDE

下一篇: MSVC中嵌套类型名称的冲突