Const символ ** а = { "string1", "строка2"} и указатель arithametic

Question

main() 
{ 
    const char **a = {"string1","string2"}; 
    printf("%c", *a); /* prints s */ 
    printf("%s", a); /* prints string1 */ 
    printf("%s", a+1);/* prints ng1 */ 
} 

GCC v4.8.3 отпечатки "% s" для последнего Printf, где, как http://codepad.org/ печатает "NG1".

Я думал, что код создаст массив указателей на две строки и базовый адрес, присвоенный a, что позволяет использовать обычную арифметику указателя. но, похоже, что-то не так с предположением. Первый printf предполагает, что мое предположение неверно. может ли кто-нибудь объяснить, почему такое поведение наблюдается? (обратите внимание, что VS 2012 выложил ошибку, в которой говорилось слишком много инициаторов, где GCC выдает предупреждение о несовместимом назначении указателя). Я знаю предупреждение из-за несовместимого назначения указателя.

Answer 1

const char **a не является массивом указателей на две строки. Он объявляет a указателем на указатель на const char.

const char **a = {"string1","string2"}; //No memory is allocated to store string literals 

будет ссылаться на неопределенное поведение, и вы можете получить ожидаемые или неожиданные результаты.
Чтобы объявить a как массив из двух указателей вы должны изменить декларацию

const char *a[] = {"string1","string2"}; 

Answer 2

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

char** a = {s, t, r, i, n ,g, 1, \0, s, t, r, i, n, g, 2, \0} 

Поэтому при печати команду:

printf("%c", *a); 

вы разыменования т он первый символ строки, которая есть 's'.

С другой стороны, когда вы печатаете команду:

printf("%s", a); 

вы печатаете строку, которая начинается с указателя а и заканчивается на «\ 0». Вот почему вы видите вывод 'string1'.

И наконец, когда вы набираете «a + 1», вы увеличиваете указатель за один шаг (пример здесь: How to increment a pointer address and pointer's value?). в этом случае, поскольку char ** является указателем, и каждый указатель имеет 4 байта, «+1» перескакивает 4 символа вперед. Поэтому при печати команды:

printf("%s", a+1); 

Printf начинается с указателем «а» + 4 байта и заканчивается на «\ 0». Вот почему вывод «ng1».

Надеюсь, что это было достаточно ясно.

Answer 3

Это связано со следующей уникальной инициализацией, выполняемой GCC. посмотрите пожалуйста int q = {1,2}; peculiar initialization list. оператор const char ** a = {"string1", "string2"}; приводит к тому, что объект обрабатывается так, как будто const char ** a = "string1". это решает загадку как * a print 's', a будет печатать строку1.