C++中类型和类型转换

发表于 |

本文介绍 C++ 中的类型转换。
部分内容来自C++元编程。隐式转换部分和重载决议有关，需要结合起来看。

涉及 type 的一些概念

Incomplete type

  1. void 以及其 cv-qualified 形式
  2. incompletely-defined object type
    一个 class 被声明(比如一个前向声明)，却没有定义。
    bound 未知的数组。
    imcomplete type 构成的数组。
    enum，从它的声明，到它的 underlying type 被确定期间。

这里说明一下，bound 未知的数组未必是 flex 数组。它可能是如下面这种 extern 形式定义的

1
2
3
4
5
extern int x[];      // the type of x is "array of unknown bound of int"
int a[] = {1, 2, 3}; // the type of a is "array of 3 int"

extern int a[][2]; // okay: array of unknown bound of arrays of 2 int
extern int b[2][]; // error: array has incomplete element type

Incomplete type 经常让人头大，需要各种头文件魔法或者 pimpl 来解决。

在下列情况下，需要类型是 Complete 的：

  1. TODO

typd-id

我们可以通过 class/union/enum/typedef/using(type alias) 这些方式定义一个具名的类型。但是在 C++ 中，我们经常使用那些不具名的类型，例如下面的情况。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
int* p;               // declaration of a pointer to int
static_cast<int*>(p); // type-id is "int*"
 
int a[3];   // declaration of an array of 3 int
new int[3]; // type-id is "int[3]" (called new-type-id)
 
int (*(*x[2])())[3];      // declaration of an array of 2 pointers to functions
                          // returning pointer to array of 3 int
new (int (*(*[2])())[3]); // type-id is "int (*(*[2])())[3]"
 
void f(int);                    // declaration of a function taking int and returning void
std::function<void(int)> x = f; // type template parameter is a type-id "void(int)"
std::function<auto(int) -> void> y = f; // same
 
std::vector<int> v;       // declaration of a vector of int
sizeof(std::vector<int>); // type-id is "std::vector<int>"
 
struct { int x; } b;         // creates a new type and declares an object b of that type
sizeof(struct { int x; });   // error: cannot define new types in a sizeof expression
using t = struct { int x; }; // creates a new type and declares t as an alias of that type
 
sizeof(static int); // error: storage class specifiers not part of type-specifier-seq
std::function<inline void(int)> f; // error: neither are function specifiers

此外，RTTI 机制还提供了一个 typeid 运算符(不是函数)

1
2
3
4
5
int main() {
    assert(typeid(int&) != typeid(int*));
    assert(typeid(int) == typeid(int));
    return 0;
}

显式类型转换

显式转换有几种类型：

(new-type) expr 型。这是 C-style 的，C++ 会按顺序尝试：

  1. const_cast
  2. static_cast(增强的)
    注意，子类的指针或者引用，可以被转成无歧义的基类，即使基类不可访问。对于成员函数的指针也同样适用
  3. static_cast(增强的) + const_cast
  4. reinterpret_cast
  5. reinterpret_cast + const_cast

new-type (expr) 型。

需要注意，这种 function-style cast expression 容易和声明产生歧义。此时，这些歧义都会被视作声明。

1
2
3
4
5
6
7
8
9
10
struct M {};
struct L { L(M&); };
 
M n;
void f()
{
    M(m);    // declaration, equivalent to M m;
    L(n);    // ill-formed declaration
    L(l)(m); // still a declaration
}

【C++11起】new-type {expr}型。

一个显式类型转换的类型是什么呢？

  1. 对于 lvalue reference，结果是一个 lvalue
  2. 对于函数的 rvalue reference，结果是一个 lvalue
  3. 对于 rvalue reference，结果是一个 xvalue
  4. 对于其他情况，结果是一个 prvalue

Value categories

介绍Value categories。

  1. 一个 glvalue，即 generalized lvalue 是一个表达式，对它求值 determines the identity of an object or function。
  2. 一个 prvalue 即 pure rvalue，是一表达式，对它求值
    1. 计算某个 builtin 操作符的操作数
      这种情况称作这个 prvalue 没有 result object。
    2. 初始化某个对象
      这种情况称作这个 prvalue 有 result object。
      结果对象可以是一个变量，或者由 new 表达式创建的对象，或者由临时量实质化创建的临时对象，或者前述三类对象的成员。
      注意非 void 的弃值表达式有 result object，称为 materialized temporary。
      并且除了作为 decltype 的操作数，每个类类型或数组类型的纯右值都有 result object。
  3. 一个 xvalue，即 eXpiring value 是一个 glvalue，它的资源能够被重新利用
  4. an lvalue 是一个 glvalue，但不是 xvalue。
  5. an rvalue 是一个 prvalue 或者 xvalue。

lvalue

  1. 解引用
  2. ++a 等
  3. +=、=、%= 等
  4. a.m 和 a.*mp
  5. p->m 和 p->*mp
  6. 逗号运算符
  7. 某些三目运算符的计算结果
  8. 字符串直接量
  9. 返回左值的 cast

xvalue

prvalue

  1. literal
  2. 一个函数调用或者 overloaded operator expression，它的返回值如果不是引用
  3. 某些 builtin operator
    a++ 等，注意 ++a 是 lvalue。
  4. 某些三目运算符的计算结果
  5. this
  6. enumerator
  7. lambda 表达式

User-defined conversion function

用户自定义的类型转换函数，用来支持显式或者隐式地从某个 class 类型转化到另一个类型。

有三种方式：

  1. operator conversion-type-id
  2. 【C++11】 explicit operator conversion-type-id
    只允许在 direct-initialization 和 explicit conversions 场景下使用。
  3. 【C++20】 explicit ( expression ) operator conversion-type-id

需要注意，conversion-type-id 中不能带有 [] 或者 ()。如果想提供到某个数组指针或者函数的转换，我们需要先 typedef 一下。但无论如何，任何情况下都不能转化成数组或者函数。

1
2
3
4
5
6
7
8
9
struct X
{
    // Error: array operator not allowed in conversion-type-id
//  operator int(*)[3]() const { return nullptr; }
 
    using arr_t = int[3];
    operator arr_t*() const { return nullptr; } // OK if done through typedef
//  operator arr_t () const; // Error: conversion to array not allowed in any case
};

下面的代码展示了 implicit 和 explicit 的 conversion 的区别。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
struct X
{
    // implicit conversion
    operator int() const { return 7; }
    // explicit conversion
    explicit operator int*() const { return nullptr; }
};
 
int main()
{
    X x;
    
    // 显式转换
    int n = static_cast<int>(x);   // OK: sets n to 7
    // copy initialization
    int m = x;                     // OK: sets m to 7
    
    // explicit conversions
    int* p = static_cast<int*>(x); // OK: sets p to null
    // direct initialization
    int* q(x);
    // int* q = x; // Error: no implicit conversion
}

对于隐式转换而言，user-defined conversion function 发生在第二阶段，在本文的对应章节有论述。

隐式类型转换

一个隐式类型转换序列包含：

  1. 一系列 standard conversion sequence

  2. 可选的 user-defined conversion
    一个 user-defined conversion 包含两种情况：

    1. 由0或1个单参数的Converting constructor
      这里指的是没有被标记为 explicit 的构造函数。
    2. 一个 non-explicit conversion function call
      这里指的是 
      1
      operator conversion-type-id

  3. 一系列 standard conversion sequence

When considering the argument to a constructor or to a user-defined conversion function, only a standard conversion sequence is allowed (otherwise user-defined conversions could be effectively chained). 当一个 non-class 类型转换到另一个 non-class 类型，只允许一个 standard conversion sequence。

Standard conversion 的顺序：

  1. zero or one conversion from the following set: lvalue-to-rvalue conversion, array-to-pointer conversion, and function-to-pointer conversion;
  2. zero or one numeric promotion or numeric conversion;
  3. 【C++17】 zero or one function pointer conversion;
  4. zero or one qualification conversion.

当且仅当 T2 能从 表达式 e 被 copy-initialized 时，也就是说 T2 t = e 是 well-formed 时，e 可以被隐式转换为 T2。这里注意 copy-initialized 不是 direct initialization T2 t(e)。对于后者，需要考虑 explicit constructors 和 conversion functions。

Converting constructor

简单再介绍下 Converting constructor。总的来说，构造函数分为两类，explicit constructor 和 converting constructor。explicit constructor 只在 direct initialization，其中包含显式类型转换比如 static_cast 时使用。converting constructor 在 copy initialization 也可以被使用，此时作为 user-defined conversion sequence，其实就是上面讲的第二阶段的一部分。

1
2
3
4
5
6
7
8
9
10
11
12
13
struct A
{
    A() { }         // converting constructor (since C++11)  
    A(int) { }      // converting constructor
    A(int, int) { } // converting constructor (since C++11)
};

struct B
{
    explicit B() { }            // explicit constructor
    explicit B(int) { }         // explicit constructor
    explicit B(int, int) { }    // explicit constructor
};

对于上面的定义，下面列出了一些 case。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
int main()
{
    A a1 = 1;      // OK: copy-initialization selects A::A(int)
    A a2(2);       // OK: direct-initialization selects A::A(int)
    A a3{4, 5};    // OK: direct-list-initialization selects A::A(int, int)
    A a4 = {4, 5}; // OK: copy-list-initialization selects A::A(int, int)
    A a5 = (A)1;   // OK: explicit cast performs static_cast, direct-initialization
 
//  B b1 = 1;      // error: copy-initialization does not consider B::B(int)
    B b2(2);       // OK: direct-initialization selects B::B(int)
    B b3{4, 5};    // OK: direct-list-initialization selects B::B(int, int)
//  B b4 = {4, 5}; // error: copy-list-initialization selected an explicit constructor
                   //        B::B(int, int)
    B b5 = (B)1;   // OK: explicit cast performs static_cast, direct-initialization
    B b6;          // OK, default-initialization
    B b7{};        // OK, direct-list-initialization
//  B b8 = {};     // error: copy-list-initialization selected an explicit constructor
                   //        B::B()
 
    [](...){}(a1, a4, a4, a5, b5); // may suppress "unused variable" warnings
}

一个有趣的问题

为什么 optional::value_or 接受一个 U&& 参数而不直接使用 T&&呢？

原因有两个：

  1. U&& 实际上是一个 universal reference，方便我们进行完美转发
  2. 构造默认的值的成本可能比较大，例如他可能是有100个元素的一个 vector。如果实际不需要用到这个默认的值，使用 U&& 能允许我们做一个优化，让它不被构造。方案是引入一个 U，这个 U 只是一个 generator，只有在实际被用到也就是调用 operator T() 时，才会生成一个 vector。如果在调用 value_or 之前就将 U&& 转换为 T&&，这个优化就不能做了。
    当然了，我还是觉得 rust 的方案好，也就是让你传一个 closure 过去。

decay

首先来看一下什么是 decay。例如，对于数组 T a[n]，除了 sizeof、alignof、引用限定符 & 以及字符串常量等少数情形外，a出现时会被 decay 成指向 T 的指针。例如下面代码往 char s[N] 数组中读入了数据

1
scanf("%s", s);

而很多人会误写为以下的代码

1
scanf("%s", &s);

此时，s 的类型实际上是 char (*) [N]，称为 pointer to an array of char ，而 scanf 希望接受到的是char *，称为 pointer to char 类型。

各种 convertion 类型

Contextual conversions

Case1: 【C++11】从 T 到 bool 的转换。如果 bool t(e) 是 well-formed，也就是说存在 explicit T::operator bool() const;。在下列场景中，这样的表达式 e 会被转换为 bool：

  1. if、while、for 的条件
  2. 逻辑运算符
  3. 三目运算符的条件
  4. static_assert
  5. noexcept
  6. 【C++20】explicit 表达式

Case2: In the following contexts, a context-specific type T is expected, and the expression e of class type E is only allowed if：

  1. 【until C++14】E has a single non-explicit (since C++11) user-defined conversion function to an allowable type.
  2. 【since C++14】对于 E 的所有的 non-explicit conversion functions，如果它们的返回类型是都是 T，或者带 CV 和引用修饰的 T，这样的 e 可以 implicitly convertible to T。

Such expression e is said to be contextually implicitly converted to the specified type T. 【C++11】Note that explicit conversion functions are not considered, even though they are considered in contextual conversions to bool.

  1. the argument of the delete-expression (T is any object pointer type);
  2. integral constant expression, where a literal class is used (T is any integral or unscoped (since C++11) enumeration type, the selected user-defined conversion function must be constexpr);
  3. the controlling expression of the switch statement (T is any integral or enumeration type).

Value transformations

temporary materialization

提一个 temporary materialization 的概念。指的是一个完整类型 T 的 prvalue，可以被转换成同类型的一个 xvalue。这个转换会创建一个临时的 T 的对象，by evaluating the prvalue with the temporary object as its result object and produces an xvalue denoting the temporary object。

如果 T 是一个类，或者一个成员为类的数组，它必须有可访问的、非 delete 的修够函数。

1
2
3
struct S { int m; };
int i = S().m; // member access expects glvalue as of C++17;
               // S() prvalue is converted to xvalue

Lvalue-to-rvalue conversion

不考虑旧版本，从 C++11 开始说。
一个非 function 且非 array 类型的 glvalue T 可以被隐式转换为一个 prvalue。此时：

  1. 如果 T 不是 class type, 那么这个 prvalue 的类型是 T，但会去掉 cv 限定符。
  2. 如果 T 是 class type，那么这个 prvalue 的类型是 T。

如果 T 是一个不完整类型，那么执行 lvalue-to-rvalue conversion 是 ill-formed 的。

When an lvalue-to-rvalue conversion is applied to an expression E, the value contained in the referenced object is not accessed if:

  1. E is not potentially evaluated，也就是它是 unevaluated operand，或者 unevaluated operand 中的子表达式。
  2. the evaluation of E results in the evaluation of a member Ex of the set of potential results of E, and Ex names a variable x that is not odr-used by Ex.

Array-to-pointer conversion

An lvalue or rvalue of type “array of N T” or “array of unknown bound of T” can be implicitly converted to a prvalue of type “pointer to T”.
【C++17】If the array is a prvalue, temporary materialization occurs.
The resulting pointer refers to the first element of the array (see array to pointer decay for details)

Function-to-pointer conversion

Numeric promotions

Integral promotion

Floating-point promotion

Numeric conversions

Integral conversions

Floating-point conversions

Floating–integral conversions

Pointer conversions

Pointer-to-member conversions

Boolean conversions

Qualification conversions

【C++17】Function pointer conversions

重载决议的顺序(rank)

在重载决议时，采取下列顺序，可参考 Ranking of implicit conversion sequences 章节。
任何一个 standard conversion sequence 被划分为下面三个 rank：

  1. 精确匹配
    此时，不需要进行任何的转换。
    下面列举出了几种情况：

    1. 无转换
    2. Lvalue-to-rvalue conversion
    3. 【C++17】function pointer conversion
    4. user-defined conversion of class type to the same class
    5. Qualification conversions，即限定符转换
      我们可以为任意类型加上CV限定符。对于多重指针来说，前面的重数的限制要高于后面重数的限制，如 
      1
      2
      3
      char** p = 0;
      const char** p1 = p; // error: level 2 more cv-qualified but level 1 is not const
      const char* const * p2 = p; // OK: level 2 more cv-qualified and const added at level 1

  2. Promotion
    即Numeric promotions，包含Integral promotion和Floating-point promotion
    这里注意，非promotion的整数之间转换都作为conversion，如char -> int

  3. Conversion

    1. integral conversion
    2. floating-point conversion
    3. floating-integral conversion
    4. pointer conversion
    5. pointer-to-member conversion
    6. boolean conversion
    7. user-defined conversion of a derived class to its base

The rank of the standard conversion sequence is the worst of the ranks of the standard conversions it holds (there may be up to three conversions)

注意能进行隐式类型转换并不意味着类型相同，所以使用std::is_same进行的判断都是false，例如下面的代码输出都是false。

1
2
std::cout << std::is_same<int, int &>::value << '\n';
std::cout << std::is_same<int, const int &>::value << '\n';

Reference

  1. https://en.cppreference.com/w/cpp/language/explicit_cast
  2. https://en.cppreference.com/w/cpp/language/implicit_conversion
  3. https://en.cppreference.com/w/cpp/language/type
  4. https://en.cppreference.com/w/cpp/language/cast_operator