le moyen le plus propre de static_assert 3 éléments ou plus en ligne

Question

Comment static_assert 3 éléments pour être identiques au moment de la compilation comme ceci.

union 
{ 
    std::uint32_t multibyte; 
    std::uint8_t bytes[4]; 
} test; 

static_assert(sizeof(test) == sizeof(test.multibyte) == sizeof(test.bytes), "Union size mismatch."); 

cours Alors la static_assert échoue ici parce que le dernier chèque sera 1 == 4. Y at-il beaucoup plus propre en plus

static_assert(sizeof(test.bytes) == sizeof(test.multibyte) && sizeof(test) == sizeof(test.bytes), "Union size mismatch."); 

Answer 1

Si vous êtes en mesure d'utiliser c++14 puis par l'exemple suivant vous pouvez static_assert cas aussi, si elles peuvent être utilisées dans un constant expression:

template<typename T, typename... Ts> 
constexpr bool compare_sizes(T&&, Ts&&...) noexcept { 
    using expand = int[]; 
    bool result = sizeof...(Ts) > 0; 

    static_cast<void>(expand { 
     0, (static_cast<void>(result &= (sizeof(Ts) == sizeof(T))), 0)... 
    }); 
    return result; 
} 

Exemple d'utilisation avec votre union { /* ... */ } test:

static_assert(compare_sizes(test, test.multibyte, test.bytes), "Size mismatch."); 

Notez que la déclaration des variables et l'utilisation de static_cast déclaration sont interdites dans un corps de la fonction constexpr jusqu'à c++14.

Answer 2

Vous pouvez écrire un struct pour cela:

template<typename...> struct AllSame; 

template<typename Arg1, typename Arg2, typename... Args> 
struct AllSame<Arg1, Arg2, Args...> 
{ 
    static constexpr bool value = sizeof(Arg1) == sizeof(Arg2) && AllSame<Arg1, Args...>::value; 
}; 

template<typename Arg> 
struct AllSame<Arg> 
{ 
     static constexpr bool value = true; 
}; 

Non testé, peut contenir des erreurs.