obtener para variantes falla en clang++ pero no en g++


El siguiente código:

variant<string> x = "abc";
cout << get<string>(x) << "\n";

Funciona bien bajo g++ (versión 7.2). Sin embargo, cuando se compila bajo clang++ (versión 5.0) usando libstdc++, obtengo el siguiente error en el método 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);

¿Es esto un error del compilador, o mi código es ilegal de alguna manera?

Author: Barry, 2017-09-30

1 answers

Esto es causado por clang bug 31852 (y también 33222), cuya reproducción cortesía de Jonathan Wakely debería parecer muy relevante:

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 no reconoce correctamente las declaraciones de amigos que tienen tipos de marcadores de posición. Que es exactamente cómo se implementa 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);
}

Esto accede a un miembro privado de variant, pero esta función es friend:

template<size_t _Np, typename _Vp>
friend constexpr decltype(auto) __detail::__variant::__get(_Vp&& __v);

La implementación de Libstdc++es válida, clang no cree que __get sea un friend.

 21
Author: Barry,
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/ajaxhispano.com/template/agent.layouts/content.php on line 61
2017-09-30 21:23:39