Шаблоны: определить класс в функции и вызвать его метод

@QVO · Регистрация: 26.10.2010

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

Здравствуйте форумчане.

Есть два класса:

C++
1
2
3
4
5
6
class WSelectionBox
{
public:
    WSelectionBox() = default;
    std::set<int> selectedIndexes();
};

C++
1
2
3
4
5
6
class WLineEdit
{
public:
    WLineEdit() = default;
    std::string valueText();
};

Как определить какой именно класс был передан в шаблон и вызвать его метод

C++
1
2
3
4
5
6
7
8
9
10
11
template<typename C>
void save()
{
    Widget* component_ = new C();
    // if WSelectionBox
    if(typeid(C) == typeid(WSelectionBox))
        std::set<int> selection = component_->selectedIndexes();
    // if WLineEdit
    if(typeid(C) == typeid(WLineEdit))
        std::string = component_->valueText();
}

Дабы не возникало такой ошибки?

Code
1
2
'class Wt::WLineEdit' has no member named 'selectedIndexes'
                 std::set<int> selection = component_->selectedIndexes();

С уважением QVO.

@QVO · 06.08.2015, 04:06 **[ТС]**

hoggy, убрал * = nullptr

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
template < typename Member,
           typename Model,
           typename std::enable_if< std::is_same< Member, std::string >::value >::type >
void modify_impl()
{
    std::cout << "std::string" << std::endl;
}
 
template < typename Member,
           typename Model,
           typename std::enable_if<std::is_floating_point<Member>::value, Member>::type >
void modify_impl()
{
    std::cout << "floating" << std::endl;
}
 
template < typename Member,
           typename Model,
           typename std::enable_if< std::is_same< Member, int >::value >::type >
void modify_impl()
{
    std::cout << "int" << std::endl;
}

C++
1
2
3
4
        void save()
        {
            modify_impl<FieldType DboModel::*, DboModel>();
        }

Две ошибки:

Code
1
2
3
4
no matching function for call to 'G::Field<G::Game, Wt::Dbo::ptr<G::Genre>, Wt::WComboBox, G::Genre>::modify_impl()'
             modify_impl<FieldType DboModel::*, DboModel>();
                        ^
no matching function for call to 'G::Field<G::Game, Wt::WString, Wt::WTextArea, void>::modify_impl()'

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

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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
template< typename DboModel,
          typename FieldType,
          typename Component,
          typename FieldTypeDboModel = void>
class Field : public FieldInterface
{
    template < typename std::enable_if< std::is_same< FieldType, Wt::Dbo::collection< Dbo::ptr< FieldTypeDboModel > > >::value >::type >
    void modify_impl()
    {
        std::cout << "Wt::Dbo::collection< Dbo::ptr< Model >" << std::endl;
    }
 
    template < typename std::enable_if< std::is_same< FieldType, Wt::Dbo::ptr< FieldTypeDboModel > >::value >::type >
    void modify_impl()
    {
        std::cout << "Wt::Dbo::ptr< Model >" << std::endl;
    }
 
    template < typename std::enable_if< std::is_same< FieldType, Wt::WString >::value >::type >
    void modify_impl()
    {
        std::cout << "Wt::WString>" << std::endl;
    }
 
    template < typename std::enable_if< std::is_same< FieldType, std::string >::value >::type >
    void modify_impl()
    {
        std::cout << "std::string" << std::endl;
    }
 
    template < typename std::enable_if<std::is_floating_point<FieldType>::value, FieldType>::type >
    void modify_impl()
    {
        std::cout << "floating" << std::endl;
    }
 
    template < typename std::enable_if< std::is_same< FieldType, int >::value >::type >
    void modify_impl()
    {
        std::cout << "int" << std::endl;
    }
public:
    Field(G::Auth::Session& session, Dbo::ptr<DboModel> ptr, FieldType DboModel::* member, const WString& title)
        : ptr_(ptr)
        , member_(member)
    {
    }
 
    Field(G::Auth::Session& session, Dbo::collection< Dbo::ptr<DboModel> > ptr, FieldType DboModel::* member, const WString& title)
        : ptr_(ptr)
        , member_(member)
    {
    }
 
    void save()
    {
        modify_impl();
    }
private:
    Dbo::ptr<DboModel> ptr_;
    FieldType DboModel::* member_;
};

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

Code
1
2
3
no type named 'type' in 'struct std::enable_if<false, void>'
         void modify_impl()
              ^

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

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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
template< typename DboModel,
          typename FieldType,
          typename Component,
          typename FieldTypeDboModel = void>
class Field : public FieldInterface
{
    template < typename Type = FieldType,
               typename Model = FieldTypeDboModel,
               typename std::enable_if< std::is_same< Type, Wt::Dbo::collection< Dbo::ptr< Model > > >::value >::type >
    void modify_impl()
    {
        std::cout << "Wt::Dbo::collection< Dbo::ptr< Model >" << std::endl;
    }
 
    template < typename Type = FieldType,
               typename Model = FieldTypeDboModel,
               typename std::enable_if< std::is_same< Type, Wt::Dbo::ptr< Model > >::value >::type >
    void modify_impl()
    {
        std::cout << "Wt::Dbo::ptr< Model >" << std::endl;
    }
 
    template < typename Type = FieldType,
               typename Model = FieldTypeDboModel,
               typename std::enable_if< std::is_same< Type, Wt::WString >::value >::type >
    void modify_impl()
    {
        std::cout << "Wt::WString>" << std::endl;
    }
 
    template < typename Type = FieldType,
               typename Model = FieldTypeDboModel,
               typename std::enable_if< std::is_same< Type, std::string >::value >::type >
    void modify_impl()
    {
        std::cout << "std::string" << std::endl;
    }
 
    template < typename Type = FieldType,
               typename Model = FieldTypeDboModel,
               typename std::enable_if<std::is_floating_point< Type >::value, Type>::type >
    void modify_impl()
    {
        std::cout << "floating" << std::endl;
    }
 
    template < typename Type = FieldType,
               typename Model = FieldTypeDboModel,
               typename std::enable_if< std::is_same< Type, int >::value >::type >
    void modify_impl()
    {
        std::cout << "int" << std::endl;
    }
public:
 
    void save()
    {
        modify_impl();
    }
};

Code
1
2
3
4
no matching function for call to 'G::Field<G::Game, Wt::Dbo::ptr<G::Genre>, Wt::WComboBox, G::Genre>::modify_impl()'
             modify_impl();
                         ^
no matching function for call to 'G::Field<G::Game, Wt::WString, Wt::WTextArea, void>::modify_impl()'

Добавлено через 6 минут
в конце

C++
1
typename std::enable_if< ... >::value, Type>::type

добавил

C++
1
* = nullptr

и скомпилировалось.

@rikimaru2013 · 14.12.2015, 17:17

hoggy, а есть какая-та альтернатива define в посте Шаблоны: определить класс в функции и вызвать его метод

C++
1
#define dFOR_INTEGRAL\

пытаюсь уйти от них так

C++
1
2
3
4
5
template <typename T>
typedef std::enable_if< property<T>::is_integral>::type* OnlyInteger;
 
template<typename T, typename OnlyInteger = nullptr >
void foo( T&& value )

и что-то никак пока, что

@hoggy · 14.12.2015, 19:03

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

есть какая-та альтернатива define в посте

можно вот так:

http://rextester.com/XLWS85710

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
38
39
40
41
42
43
44
45
46
47
48
49
#include <iostream>
 
template<typename T>struct property
{
    enum { is_integral = std::is_integral<T>::value       };
    enum { is_floating = std::is_floating_point<T>::value };
    enum { is_other = !is_integral && !is_floating        };
};
 
template <typename T>
    using OnlyInteger 
        = typename std::enable_if<property<T>::is_integral>::type* ;
 
template <typename T>
    using OnlyFloating
        = typename std::enable_if<property<T>::is_floating>::type* ;
 
 
template <typename T>
    using Other
        = typename std::enable_if<property<T>::is_other>::type* ;
 
template<typename T, OnlyInteger<T> = nullptr> 
void foo(T&& value)
    { std::cout<<"value = "<< value << " is integral type\n"; }
 
template<typename T, OnlyFloating<T> = nullptr> 
void foo(T&& value)
    { std::cout<<"value = "<< value << " is floating type\n"; }
 
 
template<typename T, Other<T> = nullptr> 
void foo(T&& value)
{
    // расскоментируйте, что бы получить ошибку компиляции
    //static_assert(!property<T>::is_other, "ERROR: T MUST BE INTERGAL OR FLOATING");
        
    std::cout<<"value is other type\n";
}
 
int main()
{
    std::cout << "Hello, world!\n";
    
    foo(10);
    foo(10.5);
    
    foo(nullptr);
}

однако, имхо, что бы упростить конструкцию,
перенасыщенную шаблоно-синтаксисом,
покамест спасают только макросы.

@rikimaru2013 · 14.12.2015, 20:18

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

спасают только макросы.

а мне почему-то такой вариант больше нравится, вынести шаблонную "подкапотню" в header - и чистенький код, и на такой ноте можно написать много классов.

Еще раз спасибо вам, никак не могу привыкнуть к SFINAE потому, что не могу понять когда его использовать, а когда другие. Сколько кода уже написал и везде справлялся без него, вешь специфиная. Возможно, где-то в моей практике и лучше было бы использовать SFINAE, но как я об этом узнаю если я нашёл в том в время им замену в качестве интерфейса или еще чего.

@hoggy · 14.12.2015, 20:30

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

не могу понять когда его использовать, а когда другие.

есть мнение, что если можно обойтись без SFINAE, лучше обходится без SFINAE.
потому что техника может сильно усложнить код.
~~студенты не осилят, а денег на специалиста тратить не хочеццо~~

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

ну а наиболее часто встречающаяся область применения:
метапрограммирование.

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

Новые блоги и статьи Все статьи Все блоги /
Транслитерация текста с кириллицы на латиницу (вариант №2) Maks 13.11.2026 Обновленная версия ранее созданной обработки. Добавлено: - Проверка исходного текста на кириллицу, через обращение к стандартной функции "ТолькоКириллицаВСтроке" из общего модуля. . .	Часы с термометром и праздничным календарем yariko 12.11.2026 Сегодня мы рассмотрим как можно сделать отличные многофункциональные часы. Итак, поставим конкретную задачу: разработать часы с календарем, двумя термодатчиками, выводом поздравительных сообщений. . .	Транслитерация текста с кириллицы на латиницу (вариант №1) Maks 11.11.2026 Решил облегчить жизнь себе и коллегам админам при создании электронных почтовых ящиков для пользователей, в результате написал обработку "Транслитерация текста" с кириллицы на латиницу, а в ней. . .	Книги по геймдизайну, левел-дизайну, игровым механикам и проектированию игрового опыта 8Observer8 08.11.2026 Содержание блога \| English Version 1. 2003 - 06 - Designing Virtual Worlds (1st Edition) Автор: Richard A. Bartle \| Объем: 768 стр. Ссылки: Amazon . . .
Родители токсичные абьюзеры по отношению к своим детям ругают их оскорбляют не любят zorxor 08.11.2026 Жить в атмосфере постоянных оскорблений, критики и холодности со стороны родителей — это тяжелое и болезненное испытание, которое оставляет глубокие эмоциональные раны. Токсичное и абьюзивное. . .	Как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Ответ от Джемени ИИ. zorxor 08.11.2026 Джемени, как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Многие люди, возвращаясь домой, сразу переодеваются в максимально свободную одежду или вовсе предпочитают. . .	Паттерн очереди действий/команд (Action / Command Queue). Система очереди действий и кат-сцен с SDL3 Callbacks, cglm и OpenGL 8Observer8 07.11.2026 Содержание блога \| English Version Руководство для начинающих по реализации паттерна очереди действий/ команд (Action / Command Queue) на C++ (C++20) с использованием официального SDL3 Callbacks. . .	Проверка полного ФИО в типовом справочнике Maks 07.11.2026 Решение реализовано в конфигурации КА2, на примере справочника "КонтактныеЛицаПартнеров". Задача: Запрет инициалов. Не допускаеть использование сокращений вида "И. И. ", "И. И. ", "И И" и. . .