学习 LLVM(8) ArrayRef 类

2019独角兽企业重金招聘Python工程师标准>>>

类 ArrayRef 定义在文件 llvm/include/llvm/[[ADT]]/[[ArrayRef.h]] 中。

== 简介 ==
ArrayRef 模板类可用做首选的在内存中只读元素的序列容器。使用 ArrayRef 的数据可被传递为固定长度的数组，其元素在内存中是连续的。

The llvm::ArrayRef class is the preferred class to use in an interface that accepts a sequential list of elements in memory and just reads from them. By taking an ArrayRef, the API can be passed a fixed size array, an std::vector, an llvm::SmallVector and anything else that is contiguous in memory.

类似于 StringRef，ArrayRef 不拥有元素数组本身，只是引用一个数组或数组的一个连续区段。

== 实现机理 ==
ArrayRef 模板类简要如下：

template <typename T> class ArrayRef {
  const T *Data; // 指向外部数组缓冲区，作为数组的第0个元素。
  size_type Length; // 元素个数。

  ArrayRef(...) // 多种构造函数
  begin(), end(), empty(), size(), [], at() 等 STL 标准接口函数。
  slice(), equals() 等辅助函数
  vec() 生成为 std::vector<T> // 注1
}

*注1： 重载有 operator std::vector<T>()，但实际上会创建一个新的 std::vector<T>，和转换的语义是有区别的。叫做 to_vector() 可能更容易理解。

* MutableArrayRef 和 ArrayRef 似乎没有很大区别，Mutable 体现在哪里？
* makeArrayRef() 多种重载版本的函数，相当于调用 ArrayRef<T> 的各种构造函数。

* ArrayRef 可当做 POD 数据看待，因其只保存 Data, Length 而不实际拥有底层数组。

转载于:https://my.oschina.net/u/232554/blog/41852