Форум программистов, компьютерный форум CyberForum.ru

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

Войти
Регистрация
Восстановить пароль
 
Gorillych
14 / 14 / 1
Регистрация: 04.07.2013
Сообщений: 76
#1

Сравнение типов шаблонных классов - C++

18.09.2013, 18:40. Просмотров 841. Ответов 7
Метки нет (Все метки)

Добрый день.

Есть некоторый шаблонный класс (структура):
C++
1
2
template<int m, int n>
struct A {   };
Возьмем некоторый объект - экземпляр неизвестного класса/структуры. Необходимо определить, является ли этот объект экземпляром структуры A для любого значения шаблонных параметров m и n (т.е. вне зависимости от их значения)
Использование std::is_same нет подойдет, поскольку этот способ вернет true только в том случае, если объект является экземпляром шаблона A с теми же параметрами.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
18.09.2013, 18:40     Сравнение типов шаблонных классов
Посмотрите здесь:

Параметры-шаблоны у шаблонных классов - C++
Объясните плз, кто может, для чего используются параметры-шаблоны у шаблонных классов, и как они работают? :) Читаю Прату и застрял на...

Объявление статических констант шаблонных классов - C++
Что-то я туплю - дан шаблонный класс, принимающий в качестве аргументов шаблона типы Type1 и Type2. В классе есть статическая константа...

Не получается создать объекты шаблонных классов - C++
#include &lt;iostream&gt; using namespace std; template&lt;class T&gt; class My_Class1 { private: char name; My_Class1 A; public: ...

Отделить описание шаблонных функций и классов от реализации - C++
скажите можно ли как то все таки отделить описание шабонных функций и классов от реализации? уж больно неудобно всю рализацию в h-нике...

Задания на стеки/очереди (без шаблонных классов stack, queue) - C++
Помогите, пожалуйста. Нужно добавить в очередь нечетные целые числа от -3 до 3. Все числа из очереди извлекать по одному и отрицательные...

Наследование шаблонных классов: найти причины возникновения ошибки в коде и исправить эту ошибку - C++
подскажите почему появляется такая ошибка error C2248: 'Base&lt;int,float&gt;::value1' : cannot access protected member declared in class...

Сравнение типов - C++
есть функция: void equalSep(char* str) { // пытаюсь сравнить str и &quot;.&quot; или любой другой символ } как мне сделать...

После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
Raali
622 / 326 / 34
Регистрация: 06.07.2013
Сообщений: 1,054
Завершенные тесты: 1
18.09.2013, 18:50     Сравнение типов шаблонных классов #2
может typeof или typeid?, хотя не уверен
Gorillych
14 / 14 / 1
Регистрация: 04.07.2013
Сообщений: 76
18.09.2013, 18:51  [ТС]     Сравнение типов шаблонных классов #3
Raali, typeof в рантайме, а нужно при компиляции.
I.M.
564 / 547 / 5
Регистрация: 16.12.2011
Сообщений: 1,389
18.09.2013, 19:11     Сравнение типов шаблонных классов #4
Костыльный вариант - наследовать шаблон A от какой-то другой пустой структуры и проверять через is_base_of
Croessmah
Модератор
Эксперт CЭксперт С++
12979 / 7291 / 812
Регистрация: 27.09.2012
Сообщений: 18,007
Записей в блоге: 3
Завершенные тесты: 1
18.09.2013, 19:20     Сравнение типов шаблонных классов #5
C++11?
Gorillych
14 / 14 / 1
Регистрация: 04.07.2013
Сообщений: 76
18.09.2013, 19:25  [ТС]     Сравнение типов шаблонных классов #6
Croessmah, да 11-й
Croessmah
Модератор
Эксперт CЭксперт С++
12979 / 7291 / 812
Регистрация: 27.09.2012
Сообщений: 18,007
Записей в блоге: 3
Завершенные тесты: 1
18.09.2013, 19:51     Сравнение типов шаблонных классов #7
Первое что пришло в голову:
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
#include <iostream>
 
 
template<int m, int n>
struct A {
  typedef A IS_A_STRUCT;
};
 
template<int m, int n>
struct B {
 
};
 
 
template < typename T >
bool inline is_a_struct ( const typename T::IS_A_STRUCT & ) {
  return true ;
}
 
 
template < typename T >
bool inline is_a_struct ( const T& ) {
  return false ;
}
 
 
int main ( ) {
  A<7,9> a ;
  B<9,8> b ;
  A<10,2> a2 ;
  std::cout << is_a_struct<decltype(a)> ( a ) << std::endl ;  
  std::cout << is_a_struct<decltype(a2)> ( a2 ) << std::endl ;
  std::cout << is_a_struct<decltype(b)> ( b ) << std::endl ;
}
Добавлено через 16 минут
Так, наверное, даже приятнее на вид будет:
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
#include <iostream>
 
 
template<int m, int n>
struct A {
  typedef A IS_A_STRUCT;
};
 
template<int m, int n>
struct B {
 
};
 
template < typename T >
bool constexpr is_a_struct_impl ( const typename T::IS_A_STRUCT & ) {
  return true ;
}
 
template < typename T >
bool constexpr is_a_struct_impl ( const T & ) {
  return false ;
}
 
template < typename T >
bool constexpr is_a_struct ( const T & src ) {
  return is_a_struct_impl < T > ( src ) ;
}
 
 
int main ( ) {
  A<7,9> a ;
  B<9,8> b ;
  A<10,2> a2 ;
  std::cout << is_a_struct ( a ) << std::endl ;  
  std::cout << is_a_struct ( a2 ) << std::endl ;
  std::cout << is_a_struct ( b ) << std::endl ;
}
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
18.09.2013, 21:15     Сравнение типов шаблонных классов
Еще ссылки по теме:

Приведение типов собственных классов - C++
Добрый день, пусть есть класс class Line { public int x1,x2 ; public int y1,y2 ; Line (int X1,int X2, int...

Сравнение переменных разных типов - C++
Здравствуйте. Столкнулся с проблемой не совпадения типов данных. Есть переменная string str, которая, к примеру, имеет значение &quot;1245&quot;....

Сравнение типов во время компиляции - C++
как можно сравнить типы во время компиляции? хотел попробовать сделать что то вроде std::basic_string, надо чтобы выкидывало ошибку...

Приведение типов разных классов с одинаковыми базовыми родителями - C++
Доброго. Вопрос к вам, форумчане. Есть два стула два базовых класса. Есть два класса, унаследованные от обоих базовых классов. Можно...

Сравнение производных классов - C++
Друзья! Пусть у меня есть базовый класс S. У него есть два наследника A и B. Как мне скидывать, например в set, указатели (шаредпэтэры...


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

Или воспользуйтесь поиском по форуму:
DiffEreD
1429 / 766 / 95
Регистрация: 21.06.2011
Сообщений: 1,740
Записей в блоге: 2
18.09.2013, 21:15     Сравнение типов шаблонных классов #8
Я бы сделал как посоветовал I.M. - через наследование:
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
#include <iostream>
#include <string>
#include <type_traits>
 
struct Base {};
 
template<typename T, typename U>
struct A : Base {};
 
template<typename T, typename U>
struct B {};
 
int main()
{
   A<double, int> a;
   A<std::string, int> b;
   B<std::string, int> c;
 
   std::cout << std::boolalpha;
   std::cout << std::is_base_of<Base, decltype(a)>::value << std::endl;
   std::cout << std::is_base_of<Base, decltype(b)>::value << std::endl;
   std::cout << std::is_base_of<Base, decltype(c)>::value << std::endl;
 
   std::cout << "\nDone." << std::endl;
   return 0;
}
Yandex
Объявления
18.09.2013, 21:15     Сравнение типов шаблонных классов
Ответ Создать тему
Опции темы

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