Форум программистов, компьютерный форум, киберфорум
Наши страницы

С++ для начинающих

Войти
Регистрация
Восстановить пароль
 
ForEveR
В астрале
Эксперт С++
7988 / 4747 / 321
Регистрация: 24.06.2010
Сообщений: 10,547
Завершенные тесты: 3
#1

MSVC и template template classes - C++

29.06.2013, 01:50. Просмотров 576. Ответов 7
Метки нет (Все метки)

Приветствую. Как в MSVC передать template template класс?
Простой пример

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
template<template<typename, typename> class Return>
struct if_
{
};
 
template<typename Next, typename Last>
struct object_
{
    typedef if_<object_> type;
};
 
int main()
{
    object_<int, int>::type t;
}
На gcc работает https://ideone.com/wnbd0p
На MSVC 2012 выдает: Ошибка 2 error C3200: object_<Next,Last>: недопустимый аргумент шаблона для параметра шаблона "Return", требуется класс-шаблон.

ШЗН?
0
Лучшие ответы (1)
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
29.06.2013, 01:50
Здравствуйте! Я подобрал для вас темы с ответами на вопрос MSVC и template template classes (C++):

Ошибки: 1) use of class template requires template argument list 2) 'T' : undeclared identifier - C++
Решил подправить свой класс с использованием шаблонов, но столкнулся со следующим косяком. Если я прописываю тело функций внутри описания...

'MyQueue' : use of class template requires template argument list - C++
Написал код про шаблоны. Не могу понять почему выводит ошибку во время наследования класса. ошибки 'MyQueue' : use of class template...

Ошибка компиляции: template-id does not match any template declaration - C++
Здравствуйте. Помогите, пожалуйста: #include &lt;iostream&gt; using namespace std; template &lt;typename T&gt; T maxn(T*, const int*); ...

В чем различие template <typename T> от template <class T> ? - C++
Добрый день ! Заметил в новых книгах применение записи template &lt;typename T&gt; вместо template &lt;class T&gt; в чем же тогда фишка...

Visual Studio выдаёт ошибку при вынесении объявления функции с template в .h файл. Без template всё работает - C++
Проект содержит три файла: Source.cpp, arrTreat.h, arrTreat.cpp. Source.cpp: #include &lt;iostream&gt; using std::cout; using...

Не пойму конструкцию template <template <class T> class X> - C++
Что это за шаблон такой?

7
Croessmah
Пришел
Эксперт CЭксперт С++
13759 / 7840 / 893
Регистрация: 27.09.2012
Сообщений: 19,254
Записей в блоге: 3
Завершенные тесты: 1
29.06.2013, 02:20 #2
Лучший ответ Сообщение было отмечено автором темы, экспертом или модератором как ответ
А так?
C++
1
typedef if_<::object_> type;
3
ForEveR
В астрале
Эксперт С++
7988 / 4747 / 321
Регистрация: 24.06.2010
Сообщений: 10,547
Завершенные тесты: 3
29.06.2013, 02:22  [ТС] #3
@Croessmah, Спасибо. Работает. С чем связано не вкурсе?
0
Croessmah
Пришел
Эксперт CЭксперт С++
13759 / 7840 / 893
Регистрация: 27.09.2012
Сообщений: 19,254
Записей в блоге: 3
Завершенные тесты: 1
29.06.2013, 02:28 #4
Пару дней назад столкнулся с такой же проблемой. Выход нашел, но с чем это связанно не совсем понял, но лично я думаю, что парсер студии не справляется с такими вещами и внутри класса считает имя класса уже с параметрами, то есть для него запись object_ считается как object_<T,V> а это уже не шаблон, а конкретный инстанс, поэтому и вылазиет ошибка, мол параметр не является шаблоном. Другого объяснения для себя я не нашел
1
ForEveR
В астрале
Эксперт С++
7988 / 4747 / 321
Регистрация: 24.06.2010
Сообщений: 10,547
Завершенные тесты: 3
29.06.2013, 03:27  [ТС] #5
@Croessmah, Вообще разумно, но тогда непонятно, почему работает
C++
1
2
3
4
5
6
7
8
9
10
11
12
template<typename T>
struct object
{
    template<typename U>
    object& operator = (object<U>) { return *this; }
};
 
int main()
{
    object<int> i;
    i = object<double>();
}
Собственно, вот этот ответ на SO говорит тоже самое http://stackoverflow.com/questions/5...io-but-not-gcc я сначала не понял просто, что к моему вопросу это и относится.
0
Croessmah
Пришел
Эксперт CЭксперт С++
13759 / 7840 / 893
Регистрация: 27.09.2012
Сообщений: 19,254
Записей в блоге: 3
Завершенные тесты: 1
29.06.2013, 03:44 #6
@ForEveR, Все-таки это два совершенно разных случая. Во втором же все строго типизируется, все параметры являются типами, а не шаблонами.

Добавлено через 4 минуты
Не вижу код полностью (телефон не показывает все что заключено в теги кода, а лишь часть), но возвращается же в операторе object<T>, верно?
0
ForEveR
В астрале
Эксперт С++
7988 / 4747 / 321
Регистрация: 24.06.2010
Сообщений: 10,547
Завершенные тесты: 3
29.06.2013, 03:45  [ТС] #7
@Croessmah, Возвращается object, который в инстансе класса является object<T>. Ну в целом, да, разные случаи, все понятно.
0
Croessmah
Пришел
Эксперт CЭксперт С++
13759 / 7840 / 893
Регистрация: 27.09.2012
Сообщений: 19,254
Записей в блоге: 3
Завершенные тесты: 1
29.06.2013, 03:49 #8
Мое видение - применение object без указания типа парситься как object<T>, поэтому он не может пропарсить передачу самого шаблона. Но это сугубо мое мнение, возможно ошибочное
0
29.06.2013, 03:49
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
29.06.2013, 03:49
Привет! Вот еще темы с ответами:

Friend template class with template class argument - C++
Помогите подружить 2 класса: Имеется класс Student: template &lt;class _T&gt; class Faculty; class Student{ friend...

Template - C++
Так не работает template&lt;typename TYPE&gt; struct TElem { TYPE data; TElem* next; int index; }; template&lt;typename TYPE&gt; ...

Template - C++
Доброго всем времени суток. Скажите, если я написал в хидере класса template &lt;typename T&gt; class matrix { //------- } что...

Template - C++
Пишу на VS10. Имеется 3 файла: List.h #ifndef LIST_H #define LIST_H //DEList


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
8
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2018, vBulletin Solutions, Inc.
Рейтинг@Mail.ru