Я обновлял проект для использования С++ 17 и обнаружил несколько случаев, когда код, который следовал этому шаблону, вызывал ошибку компиляции в последних версиях clang:
#include <boost/variant.hpp>
struct vis : public boost::static_visitor<void>
{
void operator()(int) const { }
};
int main()
{
boost::variant<int> v = 0;
boost::apply_visitor(vis{}, v);
}
При использовании clang v8.0 в режиме С++ 17 это происходит со следующей ошибкой:
<source>:11:30: error: temporary of type 'boost::static_visitor<void>' has protected destructor
boost::apply_visitor(vis{}, v);
^
/opt/compiler-explorer/libs/boost_1_64_0/boost/variant/static_visitor.hpp:53:5: note: declared protected here
~static_visitor() = default;
Тем не менее, он компилируется чисто в режиме С++ 14. Я обнаружил, что если я изменю инициализацию фигурной скобки vis{}
на скобки vis()
, то она корректно компилируется в обоих режимах. Каждая пробная версия gcc допускает оба варианта в режиме С++ 17.
Это правильное изменение в поведении с С++ 14 на С++ 17, или это ошибка лягушки? Если это правильно, почему это теперь недопустимо в С++ 17 (или, возможно, так было всегда, но clang просто позволяет это в более ранних стандартных версиях)?