Different поведение наблюдается с переменной constexpr авто/углеродно массива

Question

Вслед за этим вопросом Having a constexpr static string gives a linker error

В вопросе, этот код не удалось скомпилировать:

#include <iostream> 

struct Test { static constexpr char text[] = "Text"; }; 

int main() 
{ 
    std::cout << Test::text << std::endl; // error: undefined reference to `Test::text' 
} 

От комментария, этот код может составить:

#include <iostream> 

struct Test { static constexpr auto text = "Text"; }; 

int main() 
{ 
    std::cout << Test::text << std::endl; 
} 

Мой вопрос почему auto версия работает, но массив char версии Безразлично» т?

Не могли бы вы указать заявление в стандарте, разрешающее вторую версию и запрещающее первое?

Я взглянул на Strange behavior with constexpr static member variable, но, похоже, это другой вопрос.

Answer 1

Объявление статического элемента данных в классе никогда не является определением.
Разница между примерами заключается в том, что только один требует определения text.

auto версия выводит char const*, поэтому text допускается только при преобразовании lvalue-to-rval и не используется odr. Напротив, первый код эффективно пропускает адрес text, используя его, т. Е. Требует определения.

Answer 2

struct Test { static constexpr auto text = "Text"; }; 

решает

struct Test { static constexpr const char * text = "Text"; }; 

Таким образом, второе выражение является constexpr значение указателя не является массивом.