1. 前言
在《Modern C++ std::variant的实现原理》中不知道读者注意preview中那张UML图没,还有很多基类:
- _Enable_default_constructor,_Enable_copy_move
- _Move_assign_base, _Copy_assign_base, _Move_ctor_base, _Copy_ctor_base
今天我们分析为何这么设计继承体系?我自个觉得是各管一摊+重用的思想。 _Enable_default_constructor,_Enable_copy_move体现重用, _Move_assign_base, _Copy_assign_base, _Move_ctor_base, _Copy_ctor_base体现各管一摊。当然我的理解可能有限,欢迎讨论。
为了方便读者阅读,我把UML图简化一下贴在这里。
2. _Enable_default_constructor,_Enable_copy_move
这两者功能相似,在这一起说。正如名字所暗示的,_Enable_default_constructor,_Enable_copy_move分别用来在编译阶段就激活默认构造函数/删除默认构造函数、激活拷贝构造函数/删除拷贝构造函数。
当子类ctor/mtor=default时,会调用基类相同类型的ctor/mtor. 参考下面的小例子:
1 #include <iostream>
2 #include <variant>
3 #include <string>
4 using namespace std;
5
6 struct Person{
7 Person() { cout<<"Person() called"<<endl; }
8 Person(const Person& o) { cout<<"Copy Person"<<endl; }
9 };
10
11 class Male:private Person{
12 public:
13 Male() = default;
14 Male(const Male& o) = default;
15 };
16 int main() {
17 Male m; //Male()调用父类Person(),输出Person() called
18 Male m2(m); //子类拷贝构造函数调用父类拷贝构造函数,输出Copy Person
19 }
如果把父类某一构造函数置为delete, 比如默认构造函数则Male m编译报错。
variant正式利用这么简单的原理把相应的构造函数或赋值操作“delete"掉的。之所以加引号,是因为它本身的构造函数或赋值操作函数并没有delete,但它的父类(_Enable_default_constructor,_Enable_copy_move)delete掉了,这就导致像variant本身delete掉一样的效果。
哪问题来了,怎么决定_Enable_default_constructor、_Enable_copy_move的构造函数的有无哪?猜想也是基于variant放入的类型。但是variant能放入多个类型,以哪个类型的构造函数或赋值操作为准去delete哪?答案要分两类:
- variant能否默认构造,由第一个类型有无默认构造函数决定。
- 其它构造函数从严,只要有一个类型delete了variant相应的函数就被delete掉。
2.1 variant enable or disable 默认构造函数
_Enable_default_constructor有两个版本,分别对应“有默认构造函数” “无默认构造函数”。
/usr/include/c++/11/bits/enable_special_members.h
52 template<bool _Switch, typename _Tag = void>
53 struct _Enable_default_constructor
54 {
55 constexpr _Enable_default_constructor() noexcept = default; //enable构造函数
...
68 };
110 template<typename _Tag>
111 struct _Enable_default_constructor<false, _Tag>
112 {
113 constexpr _Enable_default_constructor() noexcept = delete; //disable默认构造函数
...
126 };
哪如何决定“有”“无”构造函数哪?
/usr/include/c++/11/variant
1325 template<typename... _Types>
1326 class variant
1327 : private __detail::__variant::_Variant_base<_Types...>,
1328 private _Enable_default_constructor<
1329 __detail::__variant::_Traits<_Types...>::_S_default_ctor,
1330 variant<_Types...>>,
...
1337 {
1394 public:
1395 variant() = default;
304 template<typename... _Types>
305 struct _Traits
306 {
307 static constexpr bool _S_default_ctor =
308 is_default_constructible_v<typename _Nth_type<0, _Types...>::type>;
看到最后那行的_Nth_type<0没?代表variant<后的第一个类型,原来variant能否默认构造确实是由第一个类型有无默认构造函数决定的!
如果第一个类型没有默认构造函数则无法构造,则与上节讲的特性相冲突:
a default-constructed variant holds a value of its first alternative, unless that alternative is not default-constructible (in which case the variant is not default-constructible either).
2.2 其它构造函数或operator =
看下面的例子:
class CHaveCopy{
public:
CHaveCopy() = default;
CHaveCopy(int _d):data(_d){}
CHaveCopy(const CHaveCopy& o):data(o.data){} //有拷贝构造函数
CHaveCopy& operator=(const CHaveCopy& o) {
data = o.data;
return *this;
}
private:
int data;
};
class CNoCopy{
public:
CNoCopy() = default;
CNoCopy(int _d):data(_d){}
CNoCopy(const CNoCopy& o) = delete; //无拷贝构造函数
CNoCopy& operator=(const CNoCopy& o) {
data = o.data;
return *this;
}
private:
int data;
};
std::variant<CHaveCopy,CNoCopy> vnc1(in_place_index<0>,10); //放入一个CHaveCopy
std::variant<CHaveCopy,CNoCopy> vnc2(vnc1); //虽然CHaveCopy有拷贝构造,编译也报错!
这个例子解释了前面提到的“从严” ,下面从代码角度看看:
309 static constexpr bool _S_copy_ctor =
310 (is_copy_constructible_v<_Types> && ...);
311 static constexpr bool _S_move_ctor =
312 (is_move_constructible_v<_Types> && ...);
313 static constexpr bool _S_copy_assign =
314 _S_copy_ctor
315 && (is_copy_assignable_v<_Types> && ...);
316 static constexpr bool _S_move_assign =
317 _S_move_ctor
318 && (is_move_assignable_v<_Types> && ...);
1325 template<typename... _Types>
1326 class variant
1327 : private __detail::__variant::_Variant_base<_Types...>,
...
1331 private _Enable_copy_move<
1332 __detail::__variant::_Traits<_Types...>::_S_copy_ctor,
1333 __detail::__variant::_Traits<_Types...>::_S_copy_assign,
1334 __detail::__variant::_Traits<_Types...>::_S_move_ctor,
1335 __detail::__variant::_Traits<_Types...>::_S_move_assign,
1336 variant<_Types...>>
1337 {
_S_copy_ctor 要看每个类型(variant alternative type)是不是copy_constructible(可拷贝构造)的?只有都是可拷贝构造的_S_copy_ctor才是true.
_Enable_copy_move由五个模板参数,其中前四个分别代表是否要拷贝构造函数、拷贝赋值函数、移动构造函数、移动赋值函数。且有无数个特化版本,密集恐惧症患者恐惧吧:
我就只COPY一个仔细看看吧:
/usr/include/c++/11/bits/enable_special_members.h
132 template<typename _Tag>
133 struct _Enable_copy_move<false, true, true, true, _Tag>
134 {
135 constexpr _Enable_copy_move() noexcept = default;
136 constexpr _Enable_copy_move(_Enable_copy_move const&) noexcept = delete;
137 constexpr _Enable_copy_move(_Enable_copy_move&&) noexcept = default;
138 _Enable_copy_move&
139 operator=(_Enable_copy_move const&) noexcept = default;
140 _Enable_copy_move&
141 operator=(_Enable_copy_move&&) noexcept = default;
142 };
3. _Move/copy_assign/ctor_base
_Enable_default_constructor,_Enable_copy_move只是用来“激活或删除”variant的某个构造函数或赋值函数,而_Move_assign_base, _Copy_assign_base, _Move_ctor_base, _Copy_ctor_base四者却是实实在在办事的。_Enable_default_constructor,_Enable_copy_move像保安,_Move_assign_base, _Copy_assign_base, _Move_ctor_base, _Copy_ctor_base像真正的办事人员。
比如variant拷贝构造由_Copy_ctor_base代管:
510 template<bool, typename... _Types>
511 struct _Copy_ctor_base : _Variant_storage_alias<_Types...>
512 {
513 using _Base = _Variant_storage_alias<_Types...>;
514 using _Base::_Base;
515
516 _Copy_ctor_base(const _Copy_ctor_base& __rhs)
517 noexcept(_Traits<_Types...>::_S_nothrow_copy_ctor)
518 {
519 __variant_construct<_Types...>(*this, __rhs);
520 }
521
522 _Copy_ctor_base(_Copy_ctor_base&&) = default;
523 _Copy_ctor_base& operator=(const _Copy_ctor_base&) = default;
524 _Copy_ctor_base& operator=(_Copy_ctor_base&&) = default;
525 };
今天先到此吧,休息休息,有点虎头蛇尾。