шаблоны

@LosAngeles · 31.07.2011, 11:36. **Показов** 5785. **Ответов** 61

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

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

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::*?

@novi4ok · 01.08.2011, 11:30

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

ааа то есть задача нормальная, а решение которое предложил grizlik78 тебе не нравится? ну так ты покажи своё мы все полюбуемся. С умным видом орать, что всё вокруг говно любой дурак сможет

решай как считаешь правильным.

@LosAngeles · 01.08.2011, 11:44 **[ТС]**

ясно, значит пришёл, нагадил и на попятный сразу, если бы ты был супергероем, тебя бы звали Капитан Гонор

@niXman · 01.08.2011, 11:52

novi4ok, я тебе задал прямой вопрос. а ты просто трепишься..

@Mr.X · 01.08.2011, 12:11

А у меня что-то в 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 **[ТС]**

попробуй заменить 14 на

C++
1
enum { Yes = sizeof(test<T>(0)) == 1 };

@grizlik78 · 01.08.2011, 12:19

Mr.X, да я в VS2008 тоже пробовал. Проблема у неё с IsClassT. На счёт стандарта не уверен, но похоже.

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

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

попробуй заменить 14 на

Ага, так работает.

@Mr.X · 01.08.2011, 12:22

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

попробуй заменить 14 на

C++
1
enum { Yes = sizeof(test<T>(0)) == 1 };

Мда, а я почему-то посчитал, что люди это уже скомпилировали, поэтому и не вглядывался особо...

@LosAngeles · 01.08.2011, 12:31 **[ТС]**

ещё, если добавить template должно работать
enum { Yes = sizeof(IsClassT<T>::template test<T>(0)) == 1 };
глава 5 5.1 в книге по шаблонам.

Не по теме:

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

@grizlik78 · 01.08.2011, 12:59

Сообщение от Mr.X

Мда, а я почему-то посчитал, что люди это уже скомпилировали, поэтому и не вглядывался особо...

Ну я компилировал. В GCC. В нём исходный вариант без проблем.

@niXman · 01.08.2011, 13:09

Сообщение от 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/... 3ec9fa0896

@grizlik78 · 01.08.2011, 13:13

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

ещё, если добавить template должно работать
enum { Yes = sizeof(IsClassT<T>::template test<T>(0)) == 1 };
глава 5 5.1 в книге по шаблонам.

а вот добавление ::template на результат не влияет. MSVC2008 по прежнему не переваривает код, а GCC4.5.1 переваривает. Так что без IsClassT<T>:: получился более универсальный вариант. У меня он на 2 компиляторах работает

@niXman · 01.08.2011, 13:16

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

У меня он на 2 компиляторах работает

оно и должно работать. не знаю что за MSVC2008..

@grizlik78 · 01.08.2011, 13:20

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

не знаю что за MSVC2008..

Microsoft Visual C++ 2008

@LosAngeles · 01.08.2011, 13:21 **[ТС]**

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

ложь.
что за книга?

А как с decltype можно решить какой тип сильнее не для встроенных типов? Что-то я не вижу решения. Да и для встроенных если взять decltype от суммы инта и дабла, он же вернёт дабл. А ведь не факт что сильный тип это тот, который вместительней, может кто-то захочет из чара и дабла продвинуть чар?

@niXman · 01.08.2011, 13:23

Microsoft Visual C++ 2008

где-то слышал про такое...

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

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

какой тип сильнее

это как?

Добавлено через 1 минуту
LosAngeles, все что я хотел сказать тем комментом - что в книге написана ложь про decltype.

@LosAngeles · 01.08.2011, 13:27 **[ТС]**

судя по примеру ты прочитал так:

decltype

cut

неплохо бы упомянуть в главе про promotionTraits, хотя это

только для встроенных типов замена

что конечно не верно

потому что пример ни о чём про продвижение типов мне не сказал

Добавлено через 2 минуты
это не в книге написано, это моё личное соображение, вполне вероятно я ошибаюсь, но пока я не вижу как decltype решает проблему выбора более сильного типа. Только для встроенных и только на основании размера этих типов, что не есть гибко

@niXman · 01.08.2011, 13:31

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

продвижение типов

а это что?

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

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

выбора более сильного типа.

это что такое?

@Mr.X · 01.08.2011, 13:31

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

Ну я компилировал. В GCC. В нём исходный вариант без проблем.

Т.е. мой вопрос о несоответствии MSVS 2008 стандарту остается в силе?
А MSVS 2010 компилирует?

@grizlik78 · 01.08.2011, 13:43

Сообщение от Mr.X

Т.е. мой вопрос о несоответствии MSVS 2008 стандарту остается в силе?
А MSVS 2010 компилирует?

2010 у меня нет. А про стандартность мне трудно ответить. Статическая функция класса вызывается внутри определения класса, так что IsClassT<T>:: вроде как не нужен. А вот не нужен или не обязателен, это я не возьмусь утверждать.

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

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

продвижение типов

а это что?

Type promotion, видимо. Или это тоже непонятно?

@LosAngeles · 01.08.2011, 13:45 **[ТС]**

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 ну или по русски это буквально значит свойство продвижение

Новые блоги и статьи Все статьи Все блоги /
Теория всего 12. ВГК anaschu 21.07.2026 ### Главные семантические изменения и дешифровка новой физики 1. `REPRODUCTIVE_EMISSION` вместо фотосинтеза (`PS_base`): Энергия и ресурсы, которые класс средних мужчин (`_W_MEN_DONORS`). . .	Публикация отклонённая на хабре. Как «пернатого» заставить осваивать новые горизонты опыта через масштабирование задачи и целеполагание Hrethgir 21.07.2026 https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11948&stc=1&d=1784657928 Привет Хабр. В этой статье я расскажу, как один закон эпистемологии позволил мне с ходу запустить уникальный. . .	Теория всего 11. Основные параметры anaschu 21.07.2026 Дешифровка тензорного ядра Soil Chemistry 2. 0: Истинный инвариант Теории Всего Чистовой исходный код многокомпонентной сукцессии зафиксирован. Модель оперирует единым вектором состояния. . .	Теория всего 10. Клод трусишка anaschu 21.07.2026 Алгоритмический суицид ИИ: Когда математика ОДУ взламывает цензурные шлюзы Свежайший мета-прецедент нашей разработки! Клод официально отказался строить итоговую кроссплатформенную модель, как. . .
Теория всего 9. Окончательная проработка метафоры "дерево = традиции" anaschu 21.07.2026 Скрытые параметры ядра ОДУ: Механика Глубинного Рока Клод утаил от вас ключевую математику кризисов. В движке игры зашиты пять скрытых коэффициентов, определяющих, как именно ТНК и Мемы ломают. . .	Теория всего 8. Clauude трусишка. Ответ джемени anaschu 21.07.2026 Игровой баланс «Модели Всего»: Алгоритмический блок как механика Семантического БуфераЭтот скриншот отказа Клода — идеальный, чистейший прецедент для нашей Теории Всего. Вы столкнулись не просто с. . .	Теория всего 7. Дерево - это патриархат, грибы - это феминизм anaschu 21.07.2026 Уничтожение Патриархата: Как ТНК, Мемы и Половой отбор зачистили «Сексуальный Пролетариат» Величайшая иллюзия современного человека — вера в «свободу воли», «социальный прогресс» и «эволюцию. . .	История и социология Терры на примере борьбы микориз за пространство. 1. Глоссарий терры. anaschu 21.07.2026 Решил тут подумать о возможности сделать лор некоторой комп игры - стратегии, или худжественной книги антиутопии, которые будут юзать планету,которая максимально будет похожа на нашу землю, но где. . .

@LosAngeles Заблокирован
	01.08.2011, 11:44 [ТС]
	ясно, значит пришёл, нагадил и на попятный сразу, если бы ты был супергероем, тебя бы звали Капитан Гонор 0

@niXman 3211 / 1459 / 74 Регистрация: 09.08.2009 Сообщений: 3,441 Записей в блоге: 2
	01.08.2011, 11:52
	novi4ok, я тебе задал прямой вопрос. а ты просто трепишься.. 0

@LosAngeles Заблокирован
	01.08.2011, 12:31 [ТС]
	ещё, если добавить template должно работать enum { Yes = sizeof(IsClassT<T>::template test<T>(0)) == 1 }; глава 5 5.1 в книге по шаблонам. Не по теме: После выхода стандарта придётся покупать новое издание, много чего можно переработать, многие ограничения шаблонов функций вроде обещали убрать + decltype неплохо бы упомянуть в главе про promotionTraits, хотя это только для встроенных типов замена, auto и ещё много всякого добра... 0