Ошибка «Недопустимый аргумент шаблона» в Visual Studio, но не в GCC

Question

предположим, что у вас есть код

template <template<class> class BaseType>
class EST16
    : public BaseType<int>
{
public:
    EST16(double d) 
    {
    }
};

template <class T>
class SCEST
{
    T y;
};
typedef EST16<SCEST> EST16_SC;
class Child
    : public EST16_SC
{
public:
    Child()
        : EST16_SC(1.0)
    {
    }

};



class NotWorkingChild
    : public EST16<SCEST>
{
public:
    NotWorkingChild()
        : EST16<SCEST>(1.0)
    {
    }

};



TEST(TemplateTest, TestInstantiate)
{
    Child child;
    NotWorkingChild notWorkingChild; 
}

Child и NotWorkingChild отличаются только typedef.В GCC обе компиляции, в Visual Studio конструктор NotWorkingChild выдает следующую ошибку:

2>..\..\..\src\itenav\test\SCKFErrorStateTest.cpp(43) : error C3200: 'SCEST<T>' : invalid template argument for template parameter 'BaseType', expected a class template
2>        with
2>        [
2>            T=int
2>        ]

Можете ли вы объяснить, почему это так?Есть ли лучшее портативное решение, чем typedef?

Спасибо!

Answer 1

Сообщение об ошибке вызвано тем, что NotWorkingChild происходит (косвенно) из SCEST<int>, что делает SCEST в области действия NotWorkingChild ссылкой на класс SCEST<int> вместо шаблона. MSVC корректен, чтобы отклонить это, и GCC4.5 должен также отклонить это (GCC4.5 имеет более правильный введенный поиск имени класса).

Вот решение, которое может работать для обоих компиляторов

class NotWorkingChild
    : public EST16<SCEST>
{
public:
    NotWorkingChild()
        : EST16< ::SCEST >(1.0)
    {
    }

};

Обратите внимание, что мы используем оператор разрешения области видимости и должны поставить пробел перед :: (в противном случае токен <: был бы взят в качестве орграфа).

---

Последние новости : C ++ 0x сделает вышеописанную работу, даже если вы сделаете EST16<SCEST>. Причина в том, что в нем говорится, что если введенное имя класса передается параметру шаблона шаблона, то введенное имя класса обрабатывается как шаблон, а не как тип. Поэтому для C ++ 0x компилятор GCC будет делать это правильно.

Answer 2

Он компилируется в VS, если вы измените инициализатор так, чтобы он просто ссылался на имя класса шаблона, EST16.Т.е.:

class NotWorkingChild : public EST16<SCEST>
{
public:
    NotWorkingChild()
        : EST16(1.0)
    {
    }
};