stop visual studio 17 compiler quand je frappe un mauvais constexpr si branche

Question

Y at-il un moyen de forcer le compilateur à échouer si une branche constexpr si n'est pas censée être touchée?

ce code ci-dessous explique tout mieux que moi:

template<unsigned int number_base> 
class arithmetic_type 
{ 
    if constexpr(number_base == 0 || number_base == 1) 
    { 
     //hey, compiler! fail this compilation please 
    } 
    else 
    { 
     //go on with class implementation 
    } 

} 

Answer 1

Vous voulez static_assert(). Dans ce cas, vous pouvez déposer les if constexpr et juste affirmes directement:

template<unsigned int number_base> 
class arithmetic_type 
{ 
    static_assert(number_base != 0 && number_base != 1); // or >= 2, since unsigned 
    //go on with class implementation 
}; 

Mais en général, il peut y avoir des endroits où vous avez juste besoin static_assert(false). Mais cela est mal formé, cette affirmation serait toujours déclenchée parce que c'est un conditionnel non dépendant. Dans ce cas, vous devez fournir quelque chose qui semble dépendant mais qui ne l'est pas:

// always false, but could hypothetically be specialized to be true, but 
// nobody should ever do this 
template <class T> struct always_false : std::false_type { }; 

static_assert(always_false<SomeDependentType>::value);