_LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR bitset() _NOEXCEPT {}
_LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR
bitset(unsigned long long __v) _NOEXCEPT : base(__v) {}
- template<class _CharT>
+ template<class _CharT, class = _EnableIf<_IsCharLikeType<_CharT>::value> >
explicit bitset(const _CharT* __str,
typename basic_string<_CharT>::size_type __n = basic_string<_CharT>::npos,
_CharT __zero = _CharT('0'), _CharT __one = _CharT('1'));
};
template <size_t _Size>
-template<class _CharT>
+template<class _CharT, class>
bitset<_Size>::bitset(const _CharT* __str,
typename basic_string<_CharT>::size_type __n,
_CharT __zero, _CharT __one)
}
}
+struct Nonsense {
+ virtual ~Nonsense() {}
+};
+
+void test_for_non_eager_instantiation() {
+ // Ensure we don't accidentally instantiate `std::basic_string<Nonsense>`
+ // since it may not be well formed and can cause an error in the
+ // non-immediate context.
+ static_assert(!std::is_constructible<std::bitset<3>, Nonsense*>::value, "");
+ static_assert(!std::is_constructible<std::bitset<3>, Nonsense*, size_t, Nonsense&, Nonsense&>::value, "");
+}
+
int main(int, char**)
{
test_string_ctor<0>();
test_string_ctor<64>();
test_string_ctor<65>();
test_string_ctor<1000>();
+ test_for_non_eager_instantiation();
return 0;
}