Форум программистов, компьютерный форум, киберфорум
Наши страницы
С++ для начинающих
Войти
Регистрация
Восстановить пароль
 
Gorillych
15 / 15 / 3
Регистрация: 04.07.2013
Сообщений: 76
#1

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

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

Добрый день.

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

Неявное выведение шаблонных типов
Ребята подскажите в Microsoft Visual C++ 2017, версия 15.6.7 реализовано ли...

Наследование шаблонных классов
почему в VS 2017 не компилируется этот код? cpp.sh/8zfd

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

Не получается создать объекты шаблонных классов
#include &lt;iostream&gt; using namespace std; template&lt;class T&gt; class My_Class1...

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

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

7
Raali
639 / 343 / 74
Регистрация: 06.07.2013
Сообщений: 1,107
Завершенные тесты: 1
18.09.2013, 18:50 #2
может typeof или typeid?, хотя не уверен
0
Gorillych
15 / 15 / 3
Регистрация: 04.07.2013
Сообщений: 76
18.09.2013, 18:51  [ТС] #3
Raali, typeof в рантайме, а нужно при компиляции.
0
I.M.
566 / 549 / 47
Регистрация: 16.12.2011
Сообщений: 1,389
18.09.2013, 19:11 #4
Костыльный вариант - наследовать шаблон A от какой-то другой пустой структуры и проверять через is_base_of
0
Croessmah
++Ͻ
14163 / 8088 / 1514
Регистрация: 27.09.2012
Сообщений: 19,937
Записей в блоге: 3
Завершенные тесты: 1
18.09.2013, 19:20 #5
C++11?
0
Gorillych
15 / 15 / 3
Регистрация: 04.07.2013
Сообщений: 76
18.09.2013, 19:25  [ТС] #6
Croessmah, да 11-й
0
Croessmah
++Ͻ
14163 / 8088 / 1514
Регистрация: 27.09.2012
Сообщений: 19,937
Записей в блоге: 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 ;
}
1
DiffEreD
1442 / 779 / 257
Регистрация: 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;
}
1
18.09.2013, 21:15
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
18.09.2013, 21:15
Привет! Вот еще темы с решениями:

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

Наследование шаблонных классов: найти причины возникновения ошибки в коде и исправить эту ошибку
подскажите почему появляется такая ошибка error C2248:...

Сравнение типов
есть функция: void equalSep(char* str) { // пытаюсь сравнить str и &quot;.&quot;...

Приведение типов собственных классов
Добрый день, пусть есть класс class Line { public int x1,x2 ; ...


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

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

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