#include <utility>
struct foo
{
int x{0};
foo() noexcept = default;
void f() noexcept(noexcept(std::declval<foo&>())) {}
};
int main()
{
}
Код выше компилируется с любой версией g++, которую я тестировал, и с clang++ от 3.6 до 3.9.1, но не компилируется с помощью clang++ 4.0.0:
test.cpp:6:5: error: default member initializer for 'x' needed within
definition of enclosing class 'foo' outside of member functions
foo() noexcept = default;
^
type_traits:126:26: note: in instantiation of template
class 'std::is_function<foo &>' requested here
: public conditional<_B1::value, _B1, __or_<_B2, _B3, _Bn...>>::type
^
type_traits:154:39: note: in instantiation of template
class 'std::__or_<std::is_function<foo &>,
std::is_reference<foo &>, std::is_void<foo &> >' requested here
: public integral_constant<bool, !_Pp::value>
^
type_traits:598:14: note: in instantiation of template
class 'std::__not_<std::__or_<std::is_function<foo &>,
std::is_reference<foo &>, std::is_void<foo &> > >' requested here
: public __not_<__or_<is_function<_Tp>, is_reference<_Tp>,
^
type_traits:121:26: note: in instantiation of template
class 'std::is_object<foo &>' requested here
: public conditional<_B1::value, _B1, _B2>::type
^
type_traits:635:14: note: in instantiation of template
class 'std::__or_<std::is_object<foo &>,
std::is_reference<foo &> >' requested here
: public __or_<is_object<_Tp>, is_reference<_Tp>>::type
^
type_traits:1667:33: note: in instantiation of template
class 'std::__is_referenceable<foo &>' requested here
template<typename _Tp, bool = __is_referenceable<_Tp>::value>
^
type_traits:1678:14: note: in instantiation of default
argument for '__add_rvalue_reference_helper<foo &>'
required here
: public __add_rvalue_reference_helper<_Tp>
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
type_traits:2267:12: note: in instantiation of template
class 'std::add_rvalue_reference<foo &>' requested
here
inline typename add_rvalue_reference<_Tp>::type
^
wtfff.cpp:7:32: note: while substituting explicitly-specified
template arguments into function template 'declval'
void f() noexcept(noexcept(std::declval<foo&>())) {}
^
wtfff.cpp:5:9: note: default member initializer declared here
int x{0};
^
Является ли мой код плохо сформированным? Если да, то какой смысл ошибки?
Обратите внимание, что удаление noexcept
из конструктора или инициализатора {0}
из x
сделает компиляцию кода.