std::type_identity

来自cppreference.com
< cpp‎ | types
 
 
元编程库
类型特性
类型类别
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
类型属性
(C++11)
(C++11)
(C++14)
(C++11)
(C++11)(C++20 前)
(C++11)(C++20 中弃用)
(C++11)
类型特性常量
元函数
(C++17)
受支持操作
关系与属性查询
类型修改
(C++11)(C++11)(C++11)
类型变换
(C++11)
(C++11)
(C++17)
(C++11)(C++20 前)(C++17)
type_identity
(C++20)
编译时有理数算术
编译时整数序列
 
在标头 <type_traits> 定义
template< class T >
struct type_identity;
(C++20 起)

提供指名 T 的成员 typedef type (即恒等变换)。

添加 std::type_identity 的特化的程序行为未定义。

成员类型

名称 定义
type T

辅助类型

template< class T >
using type_identity_t = typename type_identity<T>::type;
(C++20 起)

可能的实现

template< class T >
struct type_identity {
    using type = T;
};

注解

type_identity 能用于在模板实参推导中建立非推导语境

template<class T>
void f(T, T);
 
template<class T>
void g(T, std::type_identity_t<T>);
 
f(4.2, 0); // 错误:对 'T' 推导出冲突的类型
g(4.2, 0); // OK :调用 g<double>
功能特性测试
__cpp_lib_type_identity

示例

#include <iostream>
#include <type_traits>
 
template <class T>
T foo(T a, T b) {
  return a + b;
}
 
template <class T>
T bar(T a, std::type_identity_t<T> b) {
  return a + b;
}
 
int main() {
  // foo(4.2, 1);                    // 错误:对 'T' 推导的类型冲突
  std::cout << bar(4.2, 1) << '\n';  // OK :调用 bar<double>
}

输出:

5.2