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

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

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

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

18.09.2013, 18:40. Просмотров 729. Ответов 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++
C++ Задания на стеки/очереди (без шаблонных классов stack, queue)
C++ Сравнение производных классов
C++ Сравнение переменных разных типов
C++ Отделить описание шаблонных функций и классов от реализации
C++ Не получается создать объекты шаблонных классов
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
Raali
622 / 326 / 34
Регистрация: 06.07.2013
Сообщений: 1,049
Завершенные тесты: 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.
 Аватар для I.M.
564 / 547 / 5
Регистрация: 16.12.2011
Сообщений: 1,389
18.09.2013, 19:11     Сравнение типов шаблонных классов #4
Костыльный вариант - наследовать шаблон A от какой-то другой пустой структуры и проверять через is_base_of
Croessmah
Модератор
Эксперт CЭксперт С++
 Аватар для Croessmah
12520 / 7082 / 797
Регистрация: 27.09.2012
Сообщений: 17,489
Записей в блоге: 2
Завершенные тесты: 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Эксперт С++
 Аватар для Croessmah
12520 / 7082 / 797
Регистрация: 27.09.2012
Сообщений: 17,489
Записей в блоге: 2
Завершенные тесты: 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++
Все виды(способы) объявления переменных, функций, классов, типов и т.п. на С++ C++
Приведение типов собственных классов C++
C++ Параметры-шаблоны у шаблонных классов
C++ Сравнение между объектами разных классов

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

Или воспользуйтесь поиском по форуму:
DiffEreD
 Аватар для DiffEreD
1425 / 762 / 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     Сравнение типов шаблонных классов
Ответ Создать тему
Опции темы

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