В чем различие template <typename T> от template <class T> ?

@~~RAFA91~~ · 18.11.2015, 14:52. **Показов** 8490. **Ответов** 29

Студворк — интернет-сервис помощи студентам

Добрый день !
Заметил в новых книгах применение записи

C++

1	template <typename T>

вместо

C++

1	template <class T>

в чем же тогда фишка ?

@Mirmik · 18.11.2015, 15:01

Это абсолютные синонимы. Изначально использовалось слово class.
Но в следствии того, что слово class в языке и так загружено значениями, возникали конфузы... Впоследствии ввели слово typename для использования его в шаблонах. Стандарт допускает оба использования, но рекомендует typename. Слово class оставлено для обратной совместимости.

@~~RAFA91~~ · 18.11.2015, 15:05 **[ТС]**

а дополнительные какие-то атрибуты у typename имеются ?

Tulosba · 18.11.2015, 15:53

Сообщение от Mirmik

Это абсолютные синонимы.

В большинстве случаев - да. Но есть нюанс (на текущий момент):

C++

//template<template<typename> class C> // ok
//template<template<class> class C> // ok
//template<template<class> typename C> // c++17 only
template<template<typename> typename C> // c++17 only
void f() { }
 
int main() { }

http://coliru.stacked-crooked.... 716d37b665

template template parameter using 'typename' is a C++1z extension [-Wc++1z-extensions]

В c++17 должны стать действительно синонимами.

@~~RAFA91~~ · 18.11.2015, 17:14 **[ТС]**

Сообщение от Tulosba

template<typename>

что это за дебри ?

пример этого чуда в коде привести сможете ?

Croessmah · 18.11.2015, 17:25

Сообщение от RAFA91

что это за дебри ?

Template template argument

@~~RAFA91~~ · 18.11.2015, 17:26 **[ТС]**

ну для такого примера можно и так

C++

1 2	template< typename C> void f() { }

Croessmah · 18.11.2015, 17:30

Сообщение от RAFA91

пример этого чуда в коде привести сможете ?

C++

#include <iostream>
#include <vector>
 
 
template<template<typename...> class Cont>
void foo ( )
{
    Cont<int> cont(10,5) ;
    for (auto & e : cont)
        std::cout << e << std::endl ;
}
 
 
int main()
{
    foo<std::vector>() ;
}

то бишь аргумент шаблона сам является шаблоном

@~~RAFA91~~ · 18.11.2015, 17:36 **[ТС]**

не знаю что вы хотели этим кодом показать, особенно этим

for (auto & e : cont)

Tulosba · 18.11.2015, 17:38

Сообщение от RAFA91

ну для такого примера можно и так

А можно и так

C++

1	void f() { }

или вовсе так:

C++

Добавлено через 1 минуту

Не по теме:

Croessmah, всё, попал ты, теперь до скончания времен придется на вопросы RAFA91 отвечать :D

Croessmah · 18.11.2015, 17:45

Не по теме:

Tulosba, упал под стол :rofl:

Добавлено через 5 минут

Не по теме:

Сообщение от Tulosba

всё, попал ты, теперь до скончания времен придется на вопросы RAFA91 отвечать

ага, счазззз, только платочек на голову натяну )))

Добавлено через 52 секунды

Сообщение от RAFA91

не знаю что вы хотели этим кодом показать

ну значит как дойдете до темы шаблонных параметров шаблона, так поймете

@~~RAFA91~~ · 18.11.2015, 17:48 **[ТС]**

не могу понять почему не пашит эта строка

C++

1	template<template <class T>>

C++

#include "stdafx.h"
#include <iostream>
 
using namespace std;
 
template <class T> class A
{};
 
template <class T> class B
{};
 
template<template <class T>>
void func()
{
    T<int> a;
}
 
int _tmain(int argc, _TCHAR* argv[])
{
    func<A>();
    return 0;
}

Tulosba · 18.11.2015, 17:51

Не по теме:

Сообщение от Croessmah

только платочек на голову натяну )))

Тогда castaway скажет, что ты как старая бабка :) Мне недавно сказал.

Croessmah · 18.11.2015, 17:54

RAFA91,

C++

1	template<template <class> class T>

Добавлено через 59 секунд

Не по теме:

Сообщение от Tulosba

Тогда castaway скажет, что ты как старая бабка

ну тогда возьму семечек, сяду на балкон и буду смотреть кто из сауны выходит :D

@~~RAFA91~~ · 18.11.2015, 17:57 **[ТС]**

Сообщение от Croessmah

template<template <class> class T>

Спасибо. кстати с троеточием не работает. только так

C++

1	template<template<typename> class T>

зачем тогда вообще это typename раз так нельзя

C++

1	template<template<typename> typename T>

Croessmah · 18.11.2015, 17:59

Сообщение от RAFA91

кстати с троеточием не работает

поддержка c++11 нужна

Сообщение от RAFA91

зачем тогда вообще это typename раз так нельзя

у шаблона же тоже есть шаблонные параметры, вот и указываем что там да как.

@~~RAFA91~~ · 18.11.2015, 18:02 **[ТС]**

Сообщение от Croessmah

у шаблона же тоже есть шаблонные параметры, вот и указываем что там да как.

это если

C++

T<Q> a;

?

@Voivoid · 18.11.2015, 19:34

Сообщение от RAFA91

что это за дебри ?

Параметрический полиморфизм 2-го ранга

Сообщение от RAFA91

пример этого чуда в коде привести сможете ?

Монады

@~~RAFA91~~ · 19.11.2015, 14:59 **[ТС]**

Подскажите пожалуйста , что неправильно в этой строке

C++

1	template<template<class> class T1<T2>>

C++

#include "stdafx.h"
#include <iostream>
 
using namespace std;
 
template <class T> class A
{};
 
template <class T> class B
{};
 
template<template<class> class T1<T2>>
void func()
{
    T1<T2> a;
}
 
int _tmain(int argc, _TCHAR* argv[])
{
    func<A<int>>();
    return 0;
}

Tulosba · 19.11.2015, 15:14

C++

template<template<class> class T1, class T2>
void func()
{
    T1<T2> a;
}
 
int main()
{
    func<B,int>();
    return 0;
}

В чем различие template <typename T> от template <class T> ?

Решение

Решение

Решение

Решение

@Mirmik techpriest 634 / 213 / 57 Регистрация: 27.02.2014 Сообщений: 1,180
	18.11.2015, 15:01	2
	Сообщение было отмечено RAFA91 как решение Решение Это абсолютные синонимы. Изначально использовалось слово class. Но в следствии того, что слово class в языке и так загружено значениями, возникали конфузы... Впоследствии ввели слово typename для использования его в шаблонах. Стандарт допускает оба использования, но рекомендует typename. Слово class оставлено для обратной совместимости. 2

@~~RAFA91~~ Заблокирован
	18.11.2015, 15:05 [ТС]	3
	а дополнительные какие-то атрибуты у typename имеются ? 0

@~~RAFA91~~ Заблокирован
	18.11.2015, 17:14 [ТС]	5
	Сообщение от Tulosba template<typename> что это за дебри ? пример этого чуда в коде привести сможете ? 0

Croessmah Неэпический 17848 / 10616 / 2049 Регистрация: 27.09.2012 Сообщений: 26,684 Записей в блоге: 1
	18.11.2015, 17:25	6
	Сообщение было отмечено Новичок как решение Решение Сообщение от RAFA91 что это за дебри ? Template template argument 2

@~~RAFA91~~ Заблокирован
	18.11.2015, 17:36 [ТС]	9
	не знаю что вы хотели этим кодом показать, особенно этим for (auto & e : cont) 0

Croessmah Неэпический 17848 / 10616 / 2049 Регистрация: 27.09.2012 Сообщений: 26,684 Записей в блоге: 1
	18.11.2015, 17:45	11
	Не по теме: Tulosba, упал под стол :rofl: Добавлено через 5 минут Не по теме: Сообщение от Tulosba всё, попал ты, теперь до скончания времен придется на вопросы RAFA91 отвечать ага, счазззз, только платочек на голову натяну ))) Добавлено через 52 секунды Сообщение от RAFA91 не знаю что вы хотели этим кодом показать ну значит как дойдете до темы шаблонных параметров шаблона, так поймете 1

Tulosba
	18.11.2015, 17:51 #13
	Не по теме: Сообщение от Croessmah только платочек на голову натяну ))) Тогда castaway скажет, что ты как старая бабка :) Мне недавно сказал. 0

Croessmah Неэпический 17848 / 10616 / 2049 Регистрация: 27.09.2012 Сообщений: 26,684 Записей в блоге: 1
	18.11.2015, 17:59	16
	Сообщение было отмечено RAFA91 как решение Решение Сообщение от RAFA91 кстати с троеточием не работает поддержка c++11 нужна Сообщение от RAFA91 зачем тогда вообще это typename раз так нельзя у шаблона же тоже есть шаблонные параметры, вот и указываем что там да как. 1

@Voivoid 710 / 283 / 16 Регистрация: 31.03.2013 Сообщений: 1,340
	18.11.2015, 19:34	18
	Сообщение от RAFA91 что это за дебри ? Параметрический полиморфизм 2-го ранга Сообщение от RAFA91 пример этого чуда в коде привести сможете ? Монады 1