&v is not a constant expression on g++ 4.x

This commit is contained in:
Peter Dimov
2018-10-18 18:16:11 +03:00
parent a13ccee145
commit 3b1a709def
2 changed files with 52 additions and 34 deletions

View File

@ -7,84 +7,90 @@
// http://www.boost.org/LICENSE_1_0.txt
#include <boost/variant2/variant.hpp>
#include <boost/config.hpp>
using namespace boost::variant2;
#define STATIC_ASSERT(...) static_assert(__VA_ARGS__, #__VA_ARGS__)
#if BOOST_WORKAROUND(BOOST_GCC, < 50000)
# define STATIC_ASSERT_IF(...)
#else
# define STATIC_ASSERT_IF(...) static_assert(__VA_ARGS__, #__VA_ARGS__)
#endif
int main()
{
{
constexpr variant<int> v;
STATIC_ASSERT( get<0>(v) == 0 );
STATIC_ASSERT( get_if<0>(&v) == &get<0>(v) );
STATIC_ASSERT_IF( get_if<0>(&v) == &get<0>(v) );
}
{
constexpr variant<int> v( 1 );
STATIC_ASSERT( get<0>(v) == 1 );
STATIC_ASSERT( get_if<0>(&v) == &get<0>(v) );
STATIC_ASSERT_IF( get_if<0>(&v) == &get<0>(v) );
}
{
constexpr variant<int, float> v;
STATIC_ASSERT( get<0>(v) == 0 );
STATIC_ASSERT( get_if<0>(&v) == &get<0>(v) );
STATIC_ASSERT( get_if<1>(&v) == nullptr );
STATIC_ASSERT_IF( get_if<0>(&v) == &get<0>(v) );
STATIC_ASSERT_IF( get_if<1>(&v) == nullptr );
}
{
constexpr variant<int, float> v( 1 );
STATIC_ASSERT( get<0>(v) == 1 );
STATIC_ASSERT( get_if<0>(&v) == &get<0>(v) );
STATIC_ASSERT( get_if<1>(&v) == nullptr );
STATIC_ASSERT_IF( get_if<0>(&v) == &get<0>(v) );
STATIC_ASSERT_IF( get_if<1>(&v) == nullptr );
}
{
constexpr variant<int, float> v( 3.14f );
STATIC_ASSERT( get_if<0>(&v) == nullptr );
STATIC_ASSERT( get<1>(v) == 3.14f );
STATIC_ASSERT( get_if<1>(&v) == &get<1>(v) );
STATIC_ASSERT_IF( get_if<0>(&v) == nullptr );
STATIC_ASSERT_IF( get_if<1>(&v) == &get<1>(v) );
}
{
constexpr variant<int, float, float> v;
STATIC_ASSERT( get<0>(v) == 0 );
STATIC_ASSERT( get_if<0>(&v) == &get<0>(v) );
STATIC_ASSERT( get_if<1>(&v) == nullptr );
STATIC_ASSERT( get_if<2>(&v) == nullptr );
STATIC_ASSERT_IF( get_if<0>(&v) == &get<0>(v) );
STATIC_ASSERT_IF( get_if<1>(&v) == nullptr );
STATIC_ASSERT_IF( get_if<2>(&v) == nullptr );
}
{
constexpr variant<int, float, float> v( 1 );
STATIC_ASSERT( get<0>(v) == 1 );
STATIC_ASSERT( get_if<0>(&v) == &get<0>(v) );
STATIC_ASSERT( get_if<1>(&v) == nullptr );
STATIC_ASSERT( get_if<2>(&v) == nullptr );
STATIC_ASSERT_IF( get_if<0>(&v) == &get<0>(v) );
STATIC_ASSERT_IF( get_if<1>(&v) == nullptr );
STATIC_ASSERT_IF( get_if<2>(&v) == nullptr );
}
{
constexpr variant<int, int, float> v( 3.14f );
STATIC_ASSERT( get_if<0>(&v) == nullptr );
STATIC_ASSERT( get_if<1>(&v) == nullptr );
STATIC_ASSERT( get<2>(v) == 3.14f );
STATIC_ASSERT( get_if<2>(&v) == &get<2>(v) );
STATIC_ASSERT_IF( get_if<0>(&v) == nullptr );
STATIC_ASSERT_IF( get_if<1>(&v) == nullptr );
STATIC_ASSERT_IF( get_if<2>(&v) == &get<2>(v) );
}
}

View File

@ -7,72 +7,84 @@
// http://www.boost.org/LICENSE_1_0.txt
#include <boost/variant2/variant.hpp>
#include <boost/config.hpp>
using namespace boost::variant2;
#define STATIC_ASSERT(...) static_assert(__VA_ARGS__, #__VA_ARGS__)
#if BOOST_WORKAROUND(BOOST_GCC, < 50000)
# define STATIC_ASSERT_IF(...)
#else
# define STATIC_ASSERT_IF(...) static_assert(__VA_ARGS__, #__VA_ARGS__)
#endif
int main()
{
{
constexpr variant<int> v;
STATIC_ASSERT( get<int>(v) == 0 );
STATIC_ASSERT( get_if<int>(&v) == &get<int>(v) );
STATIC_ASSERT_IF( get_if<int>(&v) == &get<int>(v) );
}
{
constexpr variant<int> v( 1 );
STATIC_ASSERT( get<int>(v) == 1 );
STATIC_ASSERT( get_if<int>(&v) == &get<int>(v) );
STATIC_ASSERT_IF( get_if<int>(&v) == &get<int>(v) );
}
{
constexpr variant<int, float> v;
STATIC_ASSERT( get<int>(v) == 0 );
STATIC_ASSERT( get_if<int>(&v) == &get<int>(v) );
STATIC_ASSERT( get_if<float>(&v) == nullptr );
STATIC_ASSERT_IF( get_if<int>(&v) == &get<int>(v) );
STATIC_ASSERT_IF( get_if<float>(&v) == nullptr );
}
{
constexpr variant<int, float> v( 1 );
STATIC_ASSERT( get<int>(v) == 1 );
STATIC_ASSERT( get_if<int>(&v) == &get<int>(v) );
STATIC_ASSERT( get_if<float>(&v) == nullptr );
STATIC_ASSERT_IF( get_if<int>(&v) == &get<int>(v) );
STATIC_ASSERT_IF( get_if<float>(&v) == nullptr );
}
{
constexpr variant<int, float> v( 3.14f );
STATIC_ASSERT( get_if<int>(&v) == nullptr );
STATIC_ASSERT( get<float>(v) == 3.14f );
STATIC_ASSERT( get_if<float>(&v) == &get<float>(v) );
STATIC_ASSERT_IF( get_if<int>(&v) == nullptr );
STATIC_ASSERT_IF( get_if<float>(&v) == &get<float>(v) );
}
{
constexpr variant<int, float, float> v;
STATIC_ASSERT( get<int>(v) == 0 );
STATIC_ASSERT( get_if<int>(&v) == &get<int>(v) );
STATIC_ASSERT_IF( get_if<int>(&v) == &get<int>(v) );
}
{
constexpr variant<int, float, float> v( 1 );
STATIC_ASSERT( get<int>(v) == 1 );
STATIC_ASSERT( get_if<int>(&v) == &get<int>(v) );
STATIC_ASSERT_IF( get_if<int>(&v) == &get<int>(v) );
}
{
constexpr variant<int, int, float> v( 3.14f );
STATIC_ASSERT( get<float>(v) == 3.14f );
STATIC_ASSERT( get_if<float>(&v) == &get<float>(v) );
STATIC_ASSERT_IF( get_if<float>(&v) == &get<float>(v) );
}
}