std::common_type

Основные типы

ptrdiff_t
size_t
max_align_t Шаблон:lines

nullptr_t Шаблон:lines
offsetof
NULL

Числовые пределы

numeric_limits

С числовым ограничивает интерфейс

Время тип информации

type_info
type_index Шаблон:lines

bad_typeid
bad_cast

Тип черты

Первичные категории типа

is_void Шаблон:lines
is_array Шаблон:lines
is_pointer Шаблон:lines
is_enum Шаблон:lines
is_union Шаблон:lines
is_class Шаблон:lines
is_function Шаблон:lines

is_object Шаблон:lines
is_scalar Шаблон:lines
is_compound Шаблон:lines
is_integral Шаблон:lines
is_floating_point Шаблон:lines
is_fundamental Шаблон:lines
is_arithmetic Шаблон:lines

is_member_object_pointer

Шаблон:lines

is_member_function_pointer

Шаблон:lines

Тип свойства

is_const Шаблон:lines
is_volatile Шаблон:lines
is_pod Шаблон:lines
is_empty Шаблон:lines
is_polymorphic Шаблон:lines
is_abstract Шаблон:lines

is_trivial Шаблон:lines
is_trivially_copyable Шаблон:lines
is_standard_layout Шаблон:lines
is_literal_type Шаблон:lines
is_signed Шаблон:lines
is_unsigned Шаблон:lines

Поддерживаемые операции

is_constructibleis_trivially_constructibleis_nothrow_constructible

Шаблон:lines

is_default_constructibleis_trivially_default_constructibleis_nothrow_default_constructible

Шаблон:lines

is_copy_constructibleis_trivially_copy_constructibleis_nothrow_copy_constructible

Шаблон:lines

is_move_constructibleis_trivially_move_constructibleis_nothrow_move_constructible

Шаблон:lines

is_assignableis_trivially_assignableis_nothrow_assignable

Шаблон:lines

is_copy_assignableis_trivially_copy_assignableis_nothrow_copy_assignable

Шаблон:lines

is_move_assignableis_trivially_move_assignableis_nothrow_move_assignable

Шаблон:lines

is_destructibleis_trivially_destructibleis_nothrow_destructible

Шаблон:lines

has_virtual_destructor

Шаблон:lines

Отношения собственности и запросов

is_same Шаблон:lines
is_base_of Шаблон:lines
is_convertible Шаблон:lines

alignment_of Шаблон:lines
rank Шаблон:lines
extent Шаблон:lines

Тип модификаций

remove_cvremove_constremove_volatile Шаблон:lines
add_cvadd_constadd_volatile Шаблон:lines
make_signed Шаблон:lines
make_unsigned Шаблон:lines

remove_reference Шаблон:lines
add_lvalue_referenceadd_rvalue_reference Шаблон:lines
remove_pointer Шаблон:lines
add_pointer Шаблон:lines
remove_extent Шаблон:lines
remove_all_extents Шаблон:lines

Тип преобразования

aligned_storage Шаблон:lines
aligned_union Шаблон:lines
decay Шаблон:lines
enable_if Шаблон:lines

conditional Шаблон:lines
common_type Шаблон:lines
underlying_type Шаблон:lines
result_of Шаблон:lines

Характеристики типов констант

integral_constant

Шаблон:lines

[edit]

Defined in header `<type_traits>`
template< class... T > struct common_type;		(начиная с C++11)

Определяет для всех типов T... общий тип, то есть такой тип, что все T... могут в него неявно преобразованы.

Для неспециализированной версии std::common_type правила выведения общего типа для каждой пары T1, T2 такие же, как правила определения типа возврата у тернарного условного оператора в контексте, не требующем вычисления, где первый операнд имеет тип bool, а второй и третий операнд является x-значением типов T1 и T2 (начиная с C++17) std::declval<T1>() и std::declval<T2>() (до C++17). Общий тип является результатом применения std::decay к типу, выведенном из тернарного условного оператора (начиная с C++14).

Если sizeof...(T) равно нулю или общий тип не удаётся вывести, то член type не будет определён (std::common_type является SFINAE-совместимым)

(начиная с C++17)

[править] Тип-член


Имя	Определение

`type`	Общий тип для всех типов `T...`

[править] Вспомогательный тип

template< class... T > using common_type_t = typename common_type<T...>::type;		(начиная с C++14)

[править] Специализации

Произвольные специализации std::common_type разрешены, так как минимум один аргумент может быть пользовательским типом (имейте в виду, что добавление дополнительной специализации к свойствам типам вызывает неопределённое поведение программы)

Подобные специализации уже представлены в стандартной библиотеке:


std::common_type<std::chrono::duration>	Специализируется std::common_type черта Оригинал: specializes the std::common_type trait Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда. (специализация шаблона класса) [править]

std::common_type<std::chrono::time_point>	Специализируется std::common_type черта Оригинал: specializes the std::common_type trait Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда. (специализация шаблона класса) [править]

[править] Возможная реализация

template <class ...T> struct common_type;
 
template <class T>
struct common_type<T> {
    typedef decay_t<T> type;
};
 
template <class T, class U>
struct common_type<T, U> {
    typedef decay_t<decltype(true ? std::declval<T>() : std::declval<U>())> type;
};
 
template <class T, class U, class... V>
struct common_type<T, U, V...> {
    typedef common_type_t<common_type_t<T, U>, V...> type;
};

[править] Примечание

Для арифметических типов, общий тип может быть рассмотрен как тип результата (возможно в смешанном режиме) арифметических выражений таких как T0() + T1() + ... + Tn().

[править] Пример

Демонстрирует выполнение арифметических действий в смешанном режиме в пользовательском классе.

Запустить этот код

#include <iostream>
#include <type_traits>
 
template <class T>
struct Number { T n; };
 
template <class T, class U>
Number<typename std::common_type<T, U>::type> operator+(const Number<T>& lhs,
                                                        const Number<U>& rhs) 
{
    return {lhs.n + rhs.n};
}
 
int main()
{
    Number<int> i1 = {1}, i2 = {2};
    Number<double> d1 = {2.3}, d2 = {3.5};
    std::cout << "i1i2: " << (i1 + i2).n << "\ni1d2: " << (i1 + d2).n << '\n'
              << "d1i2: " << (d1 + i2).n << "\nd1d2: " << (d1 + d2).n << '\n';
}

Вывод:

i1i2: 3
i1d2: 4.5
d1i2: 4.3
d1d2: 5.8

Язык
Заголовочные файлы
Концепты
Поддержка языка
Ошибка
Утилиты
Строки
Контейнеры
Алгоритмы
Итераторы
Работа с числами
Ввод/вывод
Локализация
Регулярные выражения (C++11)
Атомарные операции (C++11)
Потоки (C++11)
Файловая система (C++17)
Технические спецификации

Поддежка типов (базовые типы, RTTI, type traits)
Динамическое управление памятью
Обработка ошибок
Управление жизненным циклом программы
Функции с переменным числом аргументов
Дата и время
Функциональные объекты
initializer_list Шаблон:lines
bitset
hash Шаблон:lines
Реляционные операторы
rel_ops::operator!=rel_ops::operator>rel_ops::operator<=rel_ops::operator>=
Пары и кортежи
pair
tuple Шаблон:lines
piecewise_construct_t Шаблон:lines
piecewise_construct Шаблон:lines
Обмен, передача и перемещение
swap
forward Шаблон:lines
move Шаблон:lines
move_if_noexcept Шаблон:lines
declval Шаблон:lines

cppreference.com

Поиск

Пространства имён

Варианты

Просмотры

Действия

std::common_type

Содержание

[править] Тип-член

[править] Вспомогательный тип

[править] Специализации

[править] Возможная реализация

[править] Примечание

[править] Пример

Навигация

Инструменты