以下代码:
variant<string> x = "abc";
cout << get<string>(x) << "n";
在G (版本7.2)下工作正常。但是,当使用libstdc 在clang (版本5.0)下编译时,我在get
方法中获得以下错误:
/usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/7.2.0/../../../../include/c++/7.2.0/variant:238:46: fatal error: cannot cast 'std::variant<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >' to its private base class 'std::__detail::__variant::_Variant_storage<false, std::
__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >'
return __get(std::in_place_index<_Np>, std::forward<_Variant>(__v)._M_u);
这是编译器错误,还是我的代码以任何方式非法?
这是由Clang Bug 31852(以及33222)引起的,其复制品由Jonathan Wakely提供,应该看起来非常相关:
template<typename V> auto get(V&) { }
template<typename>
class variant
{
template<typename V> friend auto get(V&);
};
int main()
{
variant<int> v{};
get(v); // error: ambiguous
}
clang无法正确识别具有占位符类型的朋友声明。这正是Libstdc 实现std::get
的方式:
// Returns the typed storage for __v.
template<size_t _Np, typename _Variant>
constexpr decltype(auto) __get(_Variant&& __v)
{
return __get(std::in_place_index<_Np>, std::forward<_Variant>(__v)._M_u);
}
这将访问variant
的私人成员,但是此功能已正确声明为friend
:
template<size_t _Np, typename _Vp>
friend constexpr decltype(auto) __detail::__variant::__get(_Vp&& __v);
libstdc 的实现是有效的,clang只是不认为__get
是friend
。