变体的 get<string> 在 clang++ 下失败但在 g++ 下失败

Question

以下代码：

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

这是编译器错误，还是我的代码在任何方面都是非法的？

Answer 1

这是由 clang bug 31852 (and also 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 的私有成员，但是这个函数是 properly declared a friend:

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

libstdc++ 的实现是有效的，clang 只是不认为 __get 是 friend.

变体的 get<string> 在 clang++ 下失败但在 g++ 下失败

get<string> for variants fail under clang++ but not g++

c++

variant

clang++

c++17