总体结构

variant

首先是variant的结构，variant的模板声明长这样：

1
2
3
4
5
6
7
8
9
10
11
12

template<typename... _Types>
  class variant
  : private __detail::__variant::_Variant_base<_Types...>,
    private _Enable_default_constructor<
      __detail::__variant::_Traits<_Types...>::_S_default_ctor,
        variant<_Types...>>,
    private _Enable_copy_move<
      __detail::__variant::_Traits<_Types...>::_S_copy_ctor,
      __detail::__variant::_Traits<_Types...>::_S_copy_assign,
      __detail::__variant::_Traits<_Types...>::_S_move_ctor,
      __detail::__variant::_Traits<_Types...>::_S_move_assign,
      variant<_Types...>>

_Enable_copy_move在上一篇optional解析中解释了，这里不同之处在于要考察variant的模板参数包内多个类型的可复制性、可移动性，如果其中某个类型不可复制或不可移动，那么variant亦不可复制或不可移动。
_Enable_default_constructor为用于生成默认构造的helper模板，代码长这样：

std::optional是17标准中增加的管理可选值的类模板，以往经验中如果某个函数的返回值可能失败，如何判断这个失败值和传递这个失败值都需要些额外的手段，optional的出现则很好的解决了这个问题。以下是gcc13版本中std::optional源码的个人解析：

std::optional实现内各类型关系

optional

首先是optional模板声明及内部别名：

std::string_view 是自17标准引入的轻量级只读字符串视图，用于进一步减少字符串参数传递时的内存拷贝。
string_view与string类似，同样是一个别名，实际类型为basic_string_view<char>，<string_view>中声明：

std::array为11标准中带来的可以替代C风格数组的聚合类型，可以通过聚合初始化生成"C++风格"上的"C风格"数组：

1

std::array<int, 3> a = {1, 2, 3};

主要代码如下：

废话不多说直接看源码，以下基于gcc13版本shared_ptr实现