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

шаблоны - C++

Восстановить пароль Регистрация
 
 
Рейтинг: Рейтинг темы: голосов - 24, средняя оценка - 4.79
LosAngeles
Заблокирован
31.07.2011, 11:36     шаблоны #1
возник вопрос, а как можно сделать так, чтобы различные экземпляры шаблона класса вели себя по разному в зависимости от того, что было передано в аргументах - класс или некласс. Приведу пример

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
template<typename T>
class Class {
  private:
 
    template<typename C> bool func(C const& x, C const& y, int C::*)
    {
        return true;
    }
 
    template<typename C> bool func(...)
    {
        return false;
    }
 
  public:
    bool operator()(T const& lhs, T const& rhs)
    {
        return func<T>(lhs, rhs, 0);
    }
};
пример конечно неважный, но суть ясна - в зависимости от того, что подставлять заместо Т этот недофунктор ведёт себя по разному. Пользователь не видит ужасного быдлокода между строками 5-13 и это радует, но не совсем. Я тут подумал может как то присобачить можно этот пример из книжки по шаблонам:
C++
1
2
3
4
5
6
7
8
9
10
11
12
template<typename T>
class IsClassT {
  private:
    typedef char One;
    typedef struct { char a[2]; } Two;
    template<typename C> static One test(int C::*);
 
    template<typename C> static Two test(...);
  public:
    enum { Yes = sizeof(IsClassT<T>::test<T>(0)) == 1 };
    enum { No = !Yes };
};
вдруг я ещё захочу пятьсот классов написать, а такой синтаксис нагоняет тоску... Можно как-то эти Yes и No присобачить заместо int C::*?
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
31.07.2011, 11:36     шаблоны
Посмотрите здесь:

шаблоны C++
«Шаблоны шаблонов» vs «шаблоны с параметрами-шаблонами». C++
Шаблоны в C++ C++
Шаблоны C++
C++ Шаблоны
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
novi4ok
549 / 502 / 8
Регистрация: 23.07.2009
Сообщений: 2,359
Записей в блоге: 1
01.08.2011, 11:30     шаблоны #41
Цитата Сообщение от LosAngeles Посмотреть сообщение
ааа то есть задача нормальная, а решение которое предложил grizlik78 тебе не нравится? ну так ты покажи своё мы все полюбуемся. С умным видом орать, что всё вокруг говно любой дурак сможет
решай как считаешь правильным.
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
LosAngeles
Заблокирован
01.08.2011, 11:44  [ТС]     шаблоны #42
ясно, значит пришёл, нагадил и на попятный сразу, если бы ты был супергероем, тебя бы звали Капитан Гонор
niXman
Эксперт C++
 Аватар для niXman
3133 / 1445 / 49
Регистрация: 09.08.2009
Сообщений: 3,441
Записей в блоге: 2
01.08.2011, 11:52     шаблоны #43
novi4ok, я тебе задал прямой вопрос. а ты просто трепишься..
Mr.X
Эксперт С++
 Аватар для Mr.X
2801 / 1577 / 247
Регистрация: 03.05.2010
Сообщений: 3,662
01.08.2011, 12:11     шаблоны #44
А у меня что-то в VS2008 код от grizlik78 из сообщения #20 не компилируется, выдает ошибку
error C2783: 'IsClassT<T>::Two IsClassT<T>::test(...)' : could not deduce template argument for 'C'
как и код, приведенный в цитируемой книжке:
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
/////////////////////////////////////////////////////////////////////////////////////////
#include <iostream>
///////////////////////////////////////////////////////////////////////////////////////// 
template<typename T>
class IsClassT 
{
private:
    typedef char                   One;
    typedef struct { char a[2]; }  Two;
    template<typename C> static One test(int  C::*);    
    template<typename C> static Two test(...);    
public:
    enum { Yes  = sizeof(IsClassT<T>::test<T>(0)) == 1 };
    enum { No   = !Yes };
};
/////////////////////////////////////////////////////////////////////////////////////////
template<class T>
void  check()
{ 
    std::cout << (IsClassT<T>::Yes ? "IsClassT" : "!IsClassT")
              << std::endl;
}
/////////////////////////////////////////////////////////////////////////////////////////
template<class T>
void  check_T(T)
{
    check<T>();
}
/////////////////////////////////////////////////////////////////////////////////////////
class A
{};
///////////////////////////////////////////////////////////////////////////////////////// 
int main()
{
    A a;
    check_T(5);
    check_T(a);
}
Т.е. данная студия не соответствует стандарту?
LosAngeles
Заблокирован
01.08.2011, 12:16  [ТС]     шаблоны #45
попробуй заменить 14 на
C++
1
enum { Yes = sizeof(test<T>(0)) == 1 };
grizlik78
Эксперт C++
 Аватар для grizlik78
1882 / 1414 / 101
Регистрация: 29.05.2011
Сообщений: 2,958
01.08.2011, 12:19     шаблоны #46
Mr.X, да я в VS2008 тоже пробовал. Проблема у неё с IsClassT. На счёт стандарта не уверен, но похоже.

Добавлено через 1 минуту
Цитата Сообщение от LosAngeles Посмотреть сообщение
попробуй заменить 14 на
Ага, так работает.
Mr.X
Эксперт С++
 Аватар для Mr.X
2801 / 1577 / 247
Регистрация: 03.05.2010
Сообщений: 3,662
01.08.2011, 12:22     шаблоны #47
Цитата Сообщение от LosAngeles Посмотреть сообщение
попробуй заменить 14 на
C++
1
enum { Yes = sizeof(test<T>(0)) == 1 };
Мда, а я почему-то посчитал, что люди это уже скомпилировали, поэтому и не вглядывался особо...
LosAngeles
Заблокирован
01.08.2011, 12:31  [ТС]     шаблоны #48
ещё, если добавить template должно работать
enum { Yes = sizeof(IsClassT<T>::template test<T>(0)) == 1 };
глава 5 5.1 в книге по шаблонам.

Не по теме:

После выхода стандарта придётся покупать новое издание, много чего можно переработать, многие ограничения шаблонов функций вроде обещали убрать + decltype неплохо бы упомянуть в главе про promotionTraits, хотя это только для встроенных типов замена, auto и ещё много всякого добра...

grizlik78
Эксперт C++
 Аватар для grizlik78
1882 / 1414 / 101
Регистрация: 29.05.2011
Сообщений: 2,958
01.08.2011, 12:59     шаблоны #49
Цитата Сообщение от Mr.X Посмотреть сообщение
Мда, а я почему-то посчитал, что люди это уже скомпилировали, поэтому и не вглядывался особо...
Ну я компилировал. В GCC. В нём исходный вариант без проблем.
niXman
Эксперт C++
 Аватар для niXman
3133 / 1445 / 49
Регистрация: 09.08.2009
Сообщений: 3,441
Записей в блоге: 2
01.08.2011, 13:09     шаблоны #50
Цитата Сообщение от LosAngeles Посмотреть сообщение
decltype неплохо бы упомянуть в главе про promotionTraits, хотя это только для встроенных типов замена
ложь.
что за книга?

Добавлено через 2 минуты
пример:
C++
1
2
3
4
5
6
7
8
9
10
11
#include <string>
#include <vector>
#include <iostream>
 
int main() {
   std::vector<std::string> vs{"1", "2"}; // initializer list
   decltype(vs) vs2 = vs; // decltype
   for ( auto it: vs2 ) { // range-based for
      std::cout << it << std::endl;
   }
}
http://liveworkspace.org/code/f62a83...f22b3ec9fa0896
grizlik78
Эксперт C++
 Аватар для grizlik78
1882 / 1414 / 101
Регистрация: 29.05.2011
Сообщений: 2,958
01.08.2011, 13:13     шаблоны #51
Цитата Сообщение от LosAngeles Посмотреть сообщение
ещё, если добавить template должно работать
enum { Yes = sizeof(IsClassT<T>::template test<T>(0)) == 1 };
глава 5 5.1 в книге по шаблонам.
а вот добавление ::template на результат не влияет. MSVC2008 по прежнему не переваривает код, а GCC4.5.1 переваривает. Так что без IsClassT<T>:: получился более универсальный вариант. У меня он на 2 компиляторах работает
niXman
Эксперт C++
 Аватар для niXman
3133 / 1445 / 49
Регистрация: 09.08.2009
Сообщений: 3,441
Записей в блоге: 2
01.08.2011, 13:16     шаблоны #52
Цитата Сообщение от grizlik78 Посмотреть сообщение
У меня он на 2 компиляторах работает
оно и должно работать. не знаю что за MSVC2008..
grizlik78
Эксперт C++
 Аватар для grizlik78
1882 / 1414 / 101
Регистрация: 29.05.2011
Сообщений: 2,958
01.08.2011, 13:20     шаблоны #53
Цитата Сообщение от niXman Посмотреть сообщение
не знаю что за MSVC2008..
Microsoft Visual C++ 2008
LosAngeles
Заблокирован
01.08.2011, 13:21  [ТС]     шаблоны #54
Цитата Сообщение от niXman Посмотреть сообщение
ложь.
что за книга?
А как с decltype можно решить какой тип сильнее не для встроенных типов? Что-то я не вижу решения. Да и для встроенных если взять decltype от суммы инта и дабла, он же вернёт дабл. А ведь не факт что сильный тип это тот, который вместительней, может кто-то захочет из чара и дабла продвинуть чар?
niXman
Эксперт C++
 Аватар для niXman
3133 / 1445 / 49
Регистрация: 09.08.2009
Сообщений: 3,441
Записей в блоге: 2
01.08.2011, 13:23     шаблоны #55
Microsoft Visual C++ 2008
где-то слышал про такое...

Добавлено через 47 секунд
Цитата Сообщение от LosAngeles Посмотреть сообщение
какой тип сильнее
это как?

Добавлено через 1 минуту
LosAngeles, все что я хотел сказать тем комментом - что в книге написана ложь про decltype.
LosAngeles
Заблокирован
01.08.2011, 13:27  [ТС]     шаблоны #56
судя по примеру ты прочитал так:
decltype
cut
неплохо бы упомянуть в главе про promotionTraits, хотя это
только для встроенных типов замена
что конечно не верно
потому что пример ни о чём про продвижение типов мне не сказал

Добавлено через 2 минуты
это не в книге написано, это моё личное соображение, вполне вероятно я ошибаюсь, но пока я не вижу как decltype решает проблему выбора более сильного типа. Только для встроенных и только на основании размера этих типов, что не есть гибко
niXman
Эксперт C++
 Аватар для niXman
3133 / 1445 / 49
Регистрация: 09.08.2009
Сообщений: 3,441
Записей в блоге: 2
01.08.2011, 13:31     шаблоны #57
Цитата Сообщение от LosAngeles Посмотреть сообщение
продвижение типов
а это что?

Добавлено через 43 секунды
Цитата Сообщение от LosAngeles Посмотреть сообщение
выбора более сильного типа.
это что такое?
Mr.X
Эксперт С++
 Аватар для Mr.X
2801 / 1577 / 247
Регистрация: 03.05.2010
Сообщений: 3,662
01.08.2011, 13:31     шаблоны #58
Цитата Сообщение от grizlik78 Посмотреть сообщение
Ну я компилировал. В GCC. В нём исходный вариант без проблем.
Т.е. мой вопрос о несоответствии MSVS 2008 стандарту остается в силе?
А MSVS 2010 компилирует?
grizlik78
Эксперт C++
 Аватар для grizlik78
1882 / 1414 / 101
Регистрация: 29.05.2011
Сообщений: 2,958
01.08.2011, 13:43     шаблоны #59
Цитата Сообщение от Mr.X Посмотреть сообщение
Т.е. мой вопрос о несоответствии MSVS 2008 стандарту остается в силе?
А MSVS 2010 компилирует?
2010 у меня нет. А про стандартность мне трудно ответить. Статическая функция класса вызывается внутри определения класса, так что IsClassT<T>:: вроде как не нужен. А вот не нужен или не обязателен, это я не возьмусь утверждать.

Добавлено через 6 минут
Цитата Сообщение от niXman Посмотреть сообщение
продвижение типов
а это что?
Type promotion, видимо. Или это тоже непонятно?
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
01.08.2011, 13:45     шаблоны
Еще ссылки по теме:

Помогите писать на С++ через шаблоны. Консуле я писал, но надо писать исползуя шаблоны C++
C++ Шаблоны C++11
C++ Шаблоны в C++

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

Или воспользуйтесь поиском по форуму:
LosAngeles
Заблокирован
01.08.2011, 13:45  [ТС]     шаблоны #60
C++
1
2
3
4
5
template<typename T, typename U>
auto myFunc(T t, U u) -> decltype (t + u) 
{ 
     return t + u.; 
};
без decltype и auto возник бы вопрос возвращать T или U, а decltype продвинет более сильный тип. Возможно большинство устраивает, что он автоматом из дабла и инта выберет дабл. А возможно потребуется обратная ситуация, то тут он не поможет. А для пользовательских типов совсем не поможет?

Вандервурд и Джосатис называют это PromotionTraits ну или по русски это буквально значит свойство продвижение
Yandex
Объявления
01.08.2011, 13:45     шаблоны
Ответ Создать тему

Метки
полиморфизм, шаблоны, шаблоны полиморфизм
Опции темы

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