std::meta::has_template_arguments

来自cppreference.com
< cpp | meta
 
C++
 
元编程库
类型特征
编译时有理数算术
Compile-time integer sequences
(C++14)
编译时反射 (C++26)
 
反射库
 
在标头 <meta> 定义 
consteval bool has_template_arguments( std::meta::info r );
(C++26 起)

如果 r 表示从函数模板、变量模板、类模板或别名模板实例化的实体，则返回 true，否则返回 false。

参数

r - 一个反射值

返回值

如果 r 表示从模板实例化的实体，则为 true，否则为 false。

注解

如果 `has_template_arguments(r)` 为 true，则函数 std::meta::template_of 和 std::meta::template_arguments_of 分别返回其模板和模板实参。

示例

运行此代码
#include <meta>
#include <string>
#include <vector>

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

int main() {}

参阅

Template:cpp/meta/dsc is template