C++

参考

<type_traits>

类模板
<type_traits>

std::common_type

template <class... Types> struct common_type;
通用类型
获取列表中的类型类型的“通用类型”，它们都可以转换为该类型。

选定的类型别名为成员类型common_type::type.

其定义行为等价于
1
2
3
4
5
6
7
8
9
10
11
12
13
 
template <class... Types> struct common_type;

template <class T> struct common_type<T> {
  typedef T type;
};

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

template <class T, class U, class... V> struct common_type<T,U,V...> {
  typedef typename common_type<typename common_type<T,U>::type,V...>::type type;
};
 
1
2
3
4
5
6
7
8
9
10
11
12
13
 
template <class... Types> 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?declval<T>():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;
};

此定义涵盖了类型之间的所有隐式转换，但该类可以被重载以提供显式转换的“通用类型”。

此类为 <chrono> 头文件中的标准类型 duration 和 time_point 进行了重载。

模板参数

类型
类型列表，每个类型都是一个完整类型或 void（可能带 cv 限定符）。

成员类型

成员类型定义
类型所有类型的通用类型类型.

示例

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
 
// common_type example
#include <iostream>
#include <type_traits>

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

int main() {

  typedef std::common_type<char,short,int>::type A;           // int
  typedef std::common_type<float,double>::type B;             // double
  typedef std::common_type<Derived,Base>::type C;             // Base
  typedef std::common_type<Derived*,Base*>::type D;           // Base*
  typedef std::common_type<const int,volatile int>::type E;   // int

  std::cout << std::boolalpha;
  std::cout << "typedefs of int:" << std::endl;
  std::cout << "A: " << std::is_same<int,A>::value << std::endl;
  std::cout << "B: " << std::is_same<int,B>::value << std::endl;
  std::cout << "C: " << std::is_same<int,C>::value << std::endl;
  std::cout << "D: " << std::is_same<int,D>::value << std::endl;
  std::cout << "E: " << std::is_same<int,E>::value << std::endl;

  return 0;
}

输出
typedefs of int:
A: true
B: false
C: false
D: false
E: true


另见

decay
退化类型 （类模板）