std::variant gcc7 实现中的错误

Question

考虑 this 代码：

#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{} 添加到成员初始化列表来修复它，但我认为它不应该抱怨，因为添加的行应该隐式生成。

所以第一个问题是：这肯定是一个错误吧？

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

Answer 1

标准中的 "fixed" 禁止将引用作为变体替代（目前）。 GCC 7.0.1 的 2017-03-29 快照似乎正确地做到了这一点。

std::variant gcc7 实现中的错误

Bug in std::variant implementation of gcc7

c++

gcc

variant

constexpr

c++17