次のコードをバリアントの<string>が打ち鳴らすの下で失敗し得る++ではなく、G ++

Question

。しかし、のlibstdC++を使用して（バージョン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

これは、その再現ジョナサンWakelyの礼儀は非常に関連しているはずですclang bug 31852（とも33222）、によって引き起こされる：

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 
} 

打ち鳴らすには、適切にプレースホルダ型を持っている友人の宣言を認識しません。正確にどのようにstd::getを実装のlibstdC++れている：

// 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、打ち鳴らすだけ__getがAであるとは思いません。 friend。