gcc7的std::变体实现中的Bug

Bug in std::variant implementation of gcc7

本文关键字：Bug 实现 std gcc7      更新时间：2023-10-16

考虑以下代码:

#include <variant>
constexpr auto cc = 'c';
constexpr std::variant<const int*,const char*> pp{&cc}; // passes
constexpr std::variant<const int&,const char&> rr{cc};  // FAILS ?!

对于g++ (GCC) 7.0.0 20161023 (experimental)，最后一行失败，错误消息:

variant|199 col 9| error: call to non-constexpr function ‘void* operator new(std::size_t, void*)’          
||        { ::new (&_M_storage) _Type(std::forward<_Args>(__args)...); }

指向构造函数

template<typename... _Args>
constexpr _Uninitialized(in_place_index_t<0>, _Args&&... __args)
: _M_storage{} // This was added manually
{ ::new (&_M_storage) _Type(std::forward<_Args>(__args)...); }

实际上，在此之前还有两个问题:

首先它是抱怨call to non-constexpr function ‘std::_Enable_default_constructor<false, _Tag>::_Enable_default_constructor(std::_Enable_default_constructor_tag)，我已经通过使constexpr构造器_Enable_default_constructor<false, _Tag>::_Enable_default_constructor(_Enable_default_constructor_tag) { }修复了它

然后它抱怨_M_storage’ must be initialized by mem-initializer in ‘constexpr’ constuctor，我通过将: _M_storage{}添加到成员初始化列表来修复它，尽管我认为它不应该抱怨，因为添加的行应该隐式生成。

那么第一个问题是:这肯定是个bug，对吧?

第二个问题是:在gcc修复它之前，我如何通过更改库代码来解决它?

通过不允许引用作为变体替代(目前)，在标准中"固定"了这一点。从2017-03-29开始的GCC 7.0.1的快照似乎可以正确地完成。

相关文章：