std::meta::template_of

Определено в заголовке `<meta>`
consteval bool template_of( std::meta::info r );		(начиная с C++26)

Для отражения r, представляющего сущность, созданную на основе шаблона функции, шаблона класса, шаблона переменной или шаблона псевдонима типа, возвращает отражение шаблона.

Параметры

значение отражения

Возвращаемое значение

Шаблон, на основе которого создана функция, переменная, класс или псевдоним типа, представленные r.

Исключения

Выбрасывает std::meta::exception, если std::meta::has_template_arguments(r) не является true (то есть r не представляет сущность, созданную на основе шаблона).

Пример

#include <meta>
#include <string>
#include <vector>

static_assert(template_of(^^std::vector<int>) == ^^std::vector);
static_assert(!has_template_arguments(^^std::string));
static_assert(template_of(std::meta::dealias(^^std::string)) == ^^std::basic_string);

int main() {}

См. также

is_template (C++26)	проверяет, является ли отражённая сущность шаблоном (функция)
has_template_arguments (C++26)	проверяет, создана ли отражённая сущность подстановкой аргументов шаблона в шаблон (функция)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/meta/template_of