Указатели

[Mitnick]

Привет всем !

Прошу объяснить мне назначение и варианты применения указателей в языке Си (или Си++). А также мне нужно знать, почему вот этот фрагмент кода выводит строку текста:

Код:

#include <stdio.h>

main()
{
    char* string = "Hello, world!";
    printf("%s",string);
}

Не понимаю, почему переменная-указатель типа char, в которой, как сказано в определении, хранится адрес какой-либо ячейки памяти, выводит строку текста 

[baldr]

Строка - это массив символов. Что такое массив понятно? Это несколько ячеек памяти, расположенных последовательно.
К массиву можно получить доступ по его первому элементу (все остальные элементы идут за первым по порядку). Первый элемент адресуется указателем на него. То есть адрес первого элемента и хранится в указателе.
Возникает вопрос - как получить длину массива?
Вариант а. Ты хранишь длину в отдельной переменной и по ней знаешь сколько у тебя элементов.
Вариант б. Если массив содержит строку символов, как у нас, то имеется соглашение по которому в конце строки стоит символ нуля (двоичный). То есть длина массива - это все следующие за первым элементы до нуля включительно.
Функция printf() получает указатель на строку (адрес первого элемента) и выводит на экран все символы подряд до тех пор, пока не встретит нуль (двоичный).
Разница между символьным и двоичным нулем понятна, надеюсь?

[LP]

Не понимаю, почему переменная-указатель типа char, в которой, как сказано в определении, хранится адрес какой-либо ячейки памяти, выводит строку текста

Выводится строка, потому что в первом параметре функции printf ты указываешь
"%s", таким образом функция считает что передаваемый указатель указывает на начало
С-строки. Так уж реализована эта функция... Если передашь параметр "%u", то получишь собственно
адрес, который хранится в переменной string, а при "%x" то же но 16-ом представлении.

[Mitnick]

Спасибо всем за ответы ! Теперь более или менее я в этом разобрался, просто до этого я не знал, что функции printf() или puts() в качестве параметра передается указатель, до этого просто не додумался : - ) Но теперь возник вопрос:

Вот объявляется указатель на объект типа char, в котором по теории может храниться 1 байт. Тогда каким образом происходит следующее присваивание:

Код:

char* string = "Hello !";

? То есть компилятор, получается, автоматически при проверке этого выражения присваивает переменной-указателю string адрес нулевого элемента строки ? Я правильно понял ?

[LP]

Да... правильно. Если подробно, то в твоем примере компилятор сначала размещает строку "Hello !" в некоторой области памяти, завершает ее нулем (\0), а затем адрес первого элемента ('H') присваивает указателю string.

[RXL]

Mitnick, любой указатель, если ему писвоить адрес массива (соотв. типа), будет указывать на первый элемент.
Особенность указателей:
1) контроль типов на уровне компилятора;
2) арифметика указателей: одна единица указателя равна размеру указываемого типа с учетом выравнивания (определяется компилятором).

[Михалыч]

арифметика указателей: одна единица указателя равна размеру указываемого типа с учетом выравнивания

Добавлю от себя, дабы начинающему понятно было - если, например,  Р - это указатель на элемент массива переменных какого-либо типа, то Р+1 - это адрес следующего за ним элемента (а не просто 1 прибавленная к адресу) 
А вааще - у товарисча хороший ник... Имя не Кевин часом? (без обид, пожалуйста... никаких насмешек, просто имя известное)

[Mitnick]

Нет, зовут меня Виктор    Поклонник я Митника