Правильный способ определить постоянную C-строку в С++?

Ну, если это действительно константа, тогда constexpr будет способом C++11 сделать это:

constexpr char const* MY_CONSTANT = "Hello World";

Первый пример:

static char const* MY_CONSTANT = "Hello World";

просто говорит, что у меня есть указатель на константу char со статической продолжительностью хранения, которая, если она находится вне функции, сделает ее глобальной.

Если нам требуется, чтобы указатель также был константным, нам нужна вторая введенная вами форма. Все зависит от того, действительно ли указатель должен быть константным или нет. В большинстве случаев причина, по которой вы видите код без константы верхнего уровня, заключается в том, что они просто забыли вставить ее, а не потому, что они не имели в виду, что указатель также должен быть константой.

Где static имеет значение, например, если вы хотите, чтобы член const был для экземпляра или для класса:

class A
{
        char const* const const_per_instance = "Other Const String";
    public:
        constexpr static char const* const const_per_class = "Hello World" ;
};

Если мы требуем, чтобы константа была для каждого класса, нам нужно использовать static, иначе нет. Пример немного изменится, если вам не разрешено использовать constexpr:

class A
{
        char const* const const_per_instance = "Other Const String";
    public:
        static char const* const const_per_class  ;
};

char const* const A::const_per_class = "Hello World" ;

но суть та же, только синтаксис другой.

На ваш второй вопрос как Gotw #92 говорит, что auto отбрасывает константу верхнего уровня, один из приведенных примеров выглядит следующим образом:

const int   ci  = val;  
auto        g   = ci;

и он говорит:

Тип g — int.

Помните, только потому, что ci является константой (только для чтения), не имеет никакого отношения к тому, хотим ли мы, чтобы g была константой. Это отдельная переменная. Если бы мы хотели, чтобы g было константой, мы бы сказали const auto, как мы сделали в случае c выше.

пример, о котором идет речь, выглядит следующим образом:

int         val = 0;  
//..
const auto  c   = val;

constexpr auto& MY_CONSTANT = "Hello World";

• MY_CONSTANT имеет тип const char (&)[12]
• Нет распада (привязка массива не теряется)
• Постоянно всё - сам массив и ссылка (по определению)
• Все constexpr (можно использовать во время компиляции) - сам массив и ссылка
• MY_CONSTANT имеет внутреннюю связь из-за constexpr и может использоваться в заголовках

Это редкий случай, когда вы перезаписываете свой указатель, указывающий на константное значение, поэтому большинство разработчиков опускают вторую константу, но семантически это было бы действительно правильно:

static char const* const MY_CONSTANT = "Hello World";

или в таком виде:

static const char* const MY_CONSTANT = "Hello World";

constexpr для объявления просто необходим, если он является частью другой функции constexpr, например:

static constexpr const char* const MY_CONSTANT = "Hello World";
static constexpr const char* Foo()
{
    // ...
    return MY_CONSTANT;
}

Молодец, что заметил константу в части указателя! Многие люди этого не понимают.

Чтобы предотвратить дублирование строкового литерала для каждой единицы перевода (или упростить часть оптимизатора, объединяющую строки), я предлагаю поместить фактические данные где-нибудь в исходный файл. Это также сэкономит время на перекомпиляцию, если вы измените текст.

заголовок:

extern const char *const mystring;

источник:

extern const char *const mystring = "hello";

Альтернативно

заголовок:

extern const std::string mystring;

источник:

extern std::string mystring = "hello";