Форум программистов, компьютерный форум, киберфорум
Наши страницы
Boost C++
Войти
Регистрация
Восстановить пароль
 
Рейтинг 4.75/4: Рейтинг темы: голосов - 4, средняя оценка - 4.75
yekka
386 / 150 / 16
Регистрация: 12.05.2011
Сообщений: 450
#1

common_type

15.04.2013, 09:49. Просмотров 694. Ответов 2
Метки нет (Все метки)

Ковыряю boost, разбираю, как устроен внутри common_type. Если опустить кучу вспомогательных костылей для кроссплатформенности, то под несвежим gcc он работает примерно так:
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
template <class T, class U = void, class V = void>
struct common_type
{
  public:
    typedef typename common_type<typename common_type<T, U>::type, V>::type type;
};
 
template<typename T>
struct common_type<T, void, void>
{
    static_assert(sizeof(T) > 0, "must be complete type");
  public:
    typedef T type;
};
 
template<typename T>
typename enable_if<is_function<T>, T&>::type
ensure_obj(T&);
 
template<typename T>
typename disable_if<is_function<T>, T&>::type
ensure_obj(const T&);
 
template <class T, class U>
struct common_type_2
{
  private:
    static_assert(sizeof(T) > 0, "must be complete type");
    static_assert(sizeof(U) > 0, "must be complete type");
    static T declval_T();
    static U declval_U();
    static bool declval_b();
  public:
    typedef __typeof__(ensure_obj(declval_b() ? declval_T() : declval_U())) type;
};
 
template <class T>
struct common_type_2<T, T>
{
    typedef T type;
};
 
template <class T, class U>
struct common_type<T, U, void>
: public common_type_2<T,U>
{ };
В основном, все понятно. Но не могу понять, для чего в этом коде нужна функция ensure_obj. Вроде, должно быть достаточно
C++
1
__typeof__(declval_b() ? declval_T() : declval_U())
но в коде используют
C++
1
__typeof__(ensure_obj(declval_b() ? declval_T() : declval_U()))
Есть идеи, для чего она может быть нужна?
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
15.04.2013, 09:49
Ответы с готовыми решениями:

Объясните принцип шаблона Common_type
Читал шаблоны из распространённых библиотек и наткнулся на template&lt;class _Ty0, class _Ty1&gt;...

Реализация std::common_type
Встретил следующую реализацию std::common_type template &lt;class T, class U&gt; struct common_type&lt;T,...

Возвращаемый тип шаблона через std::common_type
Вот отрывок моего кода. Не могу понять как определить возвращаемый тип объекта matrix....


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

Или воспользуйтесь поиском по форуму:
2
ForEveR
В астрале
Эксперт С++
7995 / 4754 / 651
Регистрация: 24.06.2010
Сообщений: 10,547
Завершенные тесты: 3
15.04.2013, 16:05 #2
А версия буста? В 53
C++
1
2
3
4
template <class T, class U>
struct common_type<T, U> {
    typedef decltype(declval<bool>() ? declval<T>() : declval<U>()) type;
};
C++
1
2
3
4
5
6
7
template<typename T>
typename enable_if<is_function<T>, T&>::type
ensure_obj(T&);
 
template<typename T>
typename disable_if<is_function<T>, T&>::type
ensure_obj(const T&);
А это похоже на то, что функцию таки не передать через ссылку. Да нет. Можно. Ну тогда фиг его знает зачем сие делают.
0
yekka
386 / 150 / 16
Регистрация: 12.05.2011
Сообщений: 450
15.04.2013, 20:09  [ТС] #3
это был, кажется, 41-й буст.
но в 53-м тоже, если компилятор не знает decltype, то используется
C++
1
typedef __typeof__(boost::type_of::ensure_obj(declval_b() ? declval_T() : declval_U()))  type;
0
Ответ Создать тему
Опции темы

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