được <string> cho các biến thể thất bại dưới kêu vang ++ nhưng không g ++

Question

Các mã sau đây:

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

hoạt động tốt dưới g ++ (phiên bản 7.2). Tuy nhiên, khi biên soạn dưới kêu vang ++ (phiên bản 5.0) sử dụng libstdC++, tôi nhận được lỗi sau trong phương pháp 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); 

Đây có phải là một lỗi biên dịch, hoặc là mã của tôi là bất hợp pháp bằng cách nào?

Answer 1

này là do clang bug 31852 (và cũng 33222), mà biếu không của Jonathan Wakely sinh sản nên trông rất có liên quan:

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 
} 

kêu vang không công nhận đúng khai báo bạn rằng có các loại placeholder. Đó là chính xác có bao libstdC++ xây dựng 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); 
} 

này truy cập một thành viên tư nhân variant, nhưng chức năng này là properly declared a friend:

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

libstdC++ 's thực hiện được hợp lệ, kêu vang chỉ không nghĩ __get là một friend.