为什么 libc++ 没有实现 shared_ptr 的模板化移动赋值运算符 noexcept

如何解决为什么 libc++ 没有实现 shared_ptr 的模板化移动赋值运算符 noexcept

根据cppreference，shared_ptr 的模板化移动赋值运算符应该是noexcept。 Libstdc++ 实现了它，但 libc++ 没有实现。实际上，swap 成员函数和移动构造函数都是 noexcept。为什么？

template<class _Tp>
template<class _Yp>
inline
typename enable_if
<
    __compatible_with<_Yp,typename shared_ptr<_Tp>::element_type>::value,shared_ptr<_Tp>&
>::type
shared_ptr<_Tp>::operator=(shared_ptr<_Yp>&& __r) // <--- not noexcept
{
    shared_ptr(_VSTD::move(__r)).swap(*this);
    return *this;
}