Eu notei um comportamento estranho destatic_assert:

#include <iostream>

template <typename T, unsigned int D> struct Vec
{
    static_assert(D && 0, "Invalid dimension for vector!");
};

template <typename T> struct Vec<T, 1>             {union {T x, r;};};
template <typename T> struct Vec<T, 2> : Vec<T, 1> {union {T y, g;};};
template <typename T> struct Vec<T, 3> : Vec<T, 2> {union {T z, b;};};
template <typename T> struct Vec<T, 4> : Vec<T, 3> {union {T w, a;};};

int main()
{
    Vec<float, 3> v;
    v.x = 1;
    v.y = 2;
    v.z = 3;

    return 0;
}

Compila bem:http://ideone.com/wHbJYP . eu esperaria

static_assert(0, "Invalid dimension for vector!");

para me dar o mesmo resultado, mas causa falha de asserção estática:http://ideone.com/UEu9Kv . O gcc está correto nos dois casos? Se sim, por quê? Ou é um bug do gcc? Então, nesse caso, o gcc está correto?