шаблоны

@LosAngeles · 31.07.2011, 11:36. **Показов** 5464. **Ответов** 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 ну или по русски это буквально значит свойство продвижение

Новые блоги и статьи Все статьи Все блоги /
Подключение Box2D v3 к SDL3 для Android: физика и отрисовка коллайдеров 8Observer8 29.01.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .	Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT bedvit 28.01.2026 Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования. Часть библиотеки BedvitCOM Использованы. . .	Загрузка PNG с альфа-каналом на SDL3 для Android: с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 28.01.2026 Содержание блога SDL3 имеет собственные средства для загрузки и отображения PNG-файлов с альфа-каналом и базовой работы с ними. В этой инструкции используется функция SDL_LoadPNG(), которая. . .	Загрузка PNG с альфа-каналом на SDL3 для Android: с помощью SDL3_image 8Observer8 27.01.2026 Содержание блога SDL3_image - это библиотека для загрузки и работы с изображениями. Эта пошаговая инструкция покажет, как загрузить и вывести на экран смартфона картинку с альфа-каналом, то есть с. . .
Влияние грибов на сукцессию anaschu 26.01.2026 Бифуркационные изменения массы гриба происходят тогда, когда мы уменьшаем массу компоста в 10 раз, а скорость прироста биомассы уменьшаем в три раза. Скорость прироста биомассы может уменьшаться за. . .	Воспроизведение звукового файла с помощью SDL3_mixer при касании экрана Android 8Observer8 26.01.2026 Содержание блога SDL3_mixer - это библиотека я для воспроизведения аудио. В отличие от инструкции по добавлению текста код по проигрыванию звука уже содержится в шаблоне примера. Нужно только. . .	Установка Android SDK, NDK, JDK, CMake и т.д. 8Observer8 25.01.2026 Содержание блога Перейдите по ссылке: https:/ / developer. android. com/ studio и в самом низу страницы кликните по архиву "commandlinetools-win-xxxxxx_latest. zip" Извлеките архив и вы увидите. . .	Вывод текста со шрифтом TTF на Android с помощью библиотеки SDL3_ttf 8Observer8 25.01.2026 Содержание блога Если у вас не установлены Android SDK, NDK, JDK, и т. д. то сделайте это по следующей инструкции: Установка Android SDK, NDK, JDK, CMake и т. д. Сборка примера Скачайте. . .

@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