Obtengo resultados inesperados de todos los compiladores en los que probé lo siguiente (GCC 4.7.2, GCC 4.8.0 beta, ICC 13.0.1, Clang 3.2, VC10):

#include <type_traits>

int main()
{
    // This will fire
    static_assert(
        std::is_same<decltype("Hello"), char const[6]>::value, 
        "Error!"
        );
}

Hubiera esperado la afirmación de compilación anteriorno Para disparar, pero lo hace. Después de todo, este no lo hace (como se esperaba):

#include <type_traits>

int main()
{
    char const hello[6] = "Hello";

    // This will not fire
    static_assert(
        std::is_same<decltype(hello), char const[6]>::value, 
        "Error!"
        );
}

Entonces, ¿cuál es el resultado dedecltype("Hello") De acuerdo con el estándar C ++ 11 (las referencias son muy apreciadas)? ¿Con qué debo compararlo para que la afirmación de tiempo de compilación anterior no se active?