C++ Academy · Урок

Исследование типов

Анализируйте типы во время компиляции

«Исследование типов» — бесплатный урок C++ Academy на CoddyKit. Это урок 1 из 4. Ты можешь прочитать весь урок бесплатно ниже — а потом практиковать его прямо в браузере с встроенным редактором кода и ИИ-репетитором 24/7. Это часть пути обучения C++ Academy, и твой прогресс синхронизируется между веб-версией и приложением CoddyKit. Курс C++ Academy содержит 4 уроков всего.

Что такое характеристики типов?

Заголовочный файл <type_traits> позволяет запрашивать сведения о типах во время компиляции. Каждая характеристика — это шаблон, предоставляющий константу ::value или тип-член.

Проверка целочисленного типа

std::is_integral<T>::value имеет истинное значение для целочисленных типов, таких как int и char, и ложное — в остальных случаях.

#include <iostream>
#include <type_traits>

int main() {
    std::cout << std::is_integral<int>::value << "\n";
    std::cout << std::is_integral<double>::value << "\n";
    return 0;
}

Сокращённая запись переменного шаблона

В C++17 появились переменные шаблоны с суффиксом _v, поэтому вместо ::value можно писать std::is_integral_v<T>.

#include <iostream>
#include <type_traits>

int main() {
    std::cout << std::is_integral_v<long> << "\n";
    std::cout << std::is_floating_point_v<float> << "\n";
    return 0;
}

Характеристики категорий

Многие характеристики классифицируют типы.

is_pointer
is_reference
is_array
is_class
is_enum

#include <iostream>
#include <type_traits>

struct S {};

int main() {
    std::cout << std::is_pointer_v<int*> << "\n";
    std::cout << std::is_class_v<S> << "\n";
    std::cout << std::is_reference_v<int&> << "\n";
    return 0;
}

Характеристики отношений

Некоторые характеристики сравнивают два типа.

is_same<A,B>
is_base_of<Base,Derived>
is_convertible<From,To>

#include <iostream>
#include <type_traits>

struct Base {};
struct Derived : Base {};

int main() {
    std::cout << std::is_same_v<int, int> << "\n";
    std::cout << std::is_base_of_v<Base, Derived> << "\n";
    return 0;
}

Характеристики свойств

Характеристики свойств сообщают о квалификаторах и возможностях типов.

is_const
is_signed
is_trivially_copyable
is_default_constructible

#include <iostream>
#include <type_traits>

int main() {
    std::cout << std::is_const_v<const int> << "\n";
    std::cout << std::is_signed_v<unsigned> << "\n";
    return 0;
}

Использование характеристик в static_assert

Характеристики отлично сочетаются с static_assert, позволяя проверять требования во время компиляции.

#include <type_traits>
#include <iostream>

template <typename T>
T add(T a, T b) {
    static_assert(std::is_arithmetic_v<T>, "T must be a number");
    return a + b;
}

int main() {
    std::cout << add(2, 3) << "\n";
    return 0;
}

Как работают характеристики

Характеристика — это всего лишь шаблон структуры. Общий шаблон наследуется от false_type, а специализация для подходящего типа — от true_type. Компилятор выбирает наиболее подходящее совпадение.

Логическая константа

Все логические характеристики производны от std::integral_constant. true_type и false_type — всего лишь псевдонимы для него со значением value, равным истине или лжи.

#include <iostream>
#include <type_traits>

int main() {
    std::cout << std::true_type::value << "\n";
    std::cout << std::false_type::value << "\n";
    return 0;
}

Запросы внутри шаблонов

Характеристики позволяют шаблонам выбирать ветвь в зависимости от полученного типа, благодаря чему обобщённый код по-разному обрабатывает тип int, вещественные типы, указатели и классы.

Только во время компиляции

Запросы к характеристикам ничего не стоят во время выполнения: они вычисляются при компиляции. Результат встраивается в сгенерированный код.

Быстрая проверка

Вспомните удобный синтаксис, появившийся в C++17.

Повторение

Вы научились запрашивать сведения о типах.

<type_traits> отвечает на вопросы во время компиляции
::value или сокращение _v возвращает логическое значение
Характеристики категорий, отношений и свойств
Сочетайте их с static_assert, чтобы проверять ограничения

Часто задаваемые вопросы

Урок «Исследование типов» бесплатный?

Да — полный текст урока «Исследование типов» бесплатно доступен здесь в веб-версии. Чтобы практиковать его интерактивно (встроенный редактор кода и ИИ-репетитор 24/7) и разблокировать остальной курс C++ Academy, подпишись на CoddyKit PRO. Курс C++ Academy содержит 4 уроков всего.

Чему я научусь в уроке «Исследование типов»?

Анализируйте типы во время компиляции Ты практикуешь C++ Academy с помощью реального кода, который запускаешь прямо в браузере, и ИИ-репетитор 24/7 отвечает на твои вопросы во время урока.

Нужен ли мне опыт, чтобы начать C++ Academy?

Предыдущий опыт не требуется. C++ Academy на CoddyKit структурирован для всех уровней — от новичков до продвинутых, поэтому ты можешь начать отсюда или с самого начала и учиться в своем темпе. Это урок 1 из 4.

Сколько времени занимает урок «Исследование типов»?

Большинство уроков CoddyKit занимают около 5–10 минут. Каждый из них компактный и интерактивный, поэтому ты постоянно делаешь прогресс и продолжаешь с того же места в веб-версии и приложении.

Можно ли писать и запускать код в этом уроке C++ Academy?

Да. Каждый урок C++ Academy включает встроенный редактор кода, поэтому ты пишешь и запускаешь реальный код прямо в браузере и получаешь моментальную обратную связь от AI — локальная установка не требуется.

Все уроки этого курса

← Назад к C++ Academy