web-dev-qa-db-ja.com

バリアントのget <string>はclang ++では失敗しますが、g ++では失敗しません

次のコード：

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);

これはコンパイラのバグですか、それとも私のコードは違法ですか？

c++c++17clang++variant
25
André Wagner

これは clang bug 31852 （および 222 ）によって引き起こされ、JonathanWakelyの好意による複製は非常に関連性があるように見えるはずです。

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であるとは考えていません。

24
Barry