Извлечь тип из специализации шаблона

@HelloWorld56 · Регистрация: 29.03.2012

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

C++

template<class T>
class cl {
public:
    T t;
    cl(){
        type t2;
    }
};
 
cl<cl<int>> v;

В конструкторе нужно объявить переменную t2 типа int т.к. cl< cl<int> > v;
Если бы было cl< cl<double> > v; то t2 должна быть объявлена как double
Если cl< cl<char> >, то char t2 и т.д.

@zayats80888 · 14.03.2019, 19:56

T t2;

Croessmah · 14.03.2019, 20:00

А что должно быть в конструкторе cl<int>?

@HelloWorld56 · 14.03.2019, 20:02 **[ТС]**

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

T t2;

В этом случае t2 будет типа

C++

cl<int>

, а нужно просто int

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

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

А что должно быть в конструкторе cl<int>?

Просто объявление переменной t2

@DrOffset · 14.03.2019, 20:03

HelloWorld56, а если будет так: cl< cl< cl<char> > > ?

Croessmah · 14.03.2019, 20:04

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

Просто объявление переменной

Какого типа?
Для cl<cl<int>> понятно - int.
Но какого типа должна быть t2 в cl<int>?

@DrOffset · 14.03.2019, 20:08

HelloWorld56,

C++

template <typename T>
struct extract { using type = T; };
 
template <typename X, template <typename> class T>
struct extract<T<X>> : extract<X> {};
 
template<class T>
class cl {
public:
    T t;
    cl(){
        typename extract<T>::type t2;
    }
};
 
cl<cl<int>> v;

@zayats80888 6340 / 3511 / 1427 Регистрация: 07.02.2019 Сообщений: 8,977
	14.03.2019, 19:56	2
	T t2; 0

Croessmah Неэпический 18099 / 10685 / 2061 Регистрация: 27.09.2012 Сообщений: 26,895 Записей в блоге: 1
	14.03.2019, 20:00	3
	А что должно быть в конструкторе `cl<int>`? 0

@DrOffset 19409 / 10028 / 2443 Регистрация: 30.01.2014 Сообщений: 17,678
	14.03.2019, 20:03	5
	HelloWorld56, а если будет так: `cl< cl< cl<char> > >` ? 0

Croessmah Неэпический 18099 / 10685 / 2061 Регистрация: 27.09.2012 Сообщений: 26,895 Записей в блоге: 1
	14.03.2019, 20:04	6
	Сообщение от HelloWorld56 Просто объявление переменной Какого типа? Для `cl<cl<int>>` понятно - `int`. Но какого типа должна быть `t2` в `cl<int>`? 0

	14.03.2019, 20:08

Извлечь тип из специализации шаблона

Решение