Читать «Справочное руководство по C++» онлайн - страница 42

//…

g(3) = 7;

описывается: функция g() возвращает ссылку на целое; поэтому оператор g() = 7; присвоит 7 четвертому элементу массива v. Рассмотрим следующий программный фрагмент:

struct link {

 link* next;

};

link* first;

void h(link*& p) // `p' ссылка на указатель

{

 p-›next = first;

 first = p;

 p = 0;

}

void k()

{

 link* q = new link;

 h(q);

}

Здесь p описано как ссылка на указатель на link, поэтому вызов h(q) не изменит значение q, равное 0, см. также §R.8.4.3.

Недопустимы ссылки на ссылки, ссылки на битовые поля (§R.9.6), массивы ссылок и указатели на ссылки. Описание ссылки должно содержать инициализатор (§R.8.4.3), за исключением тех случаев, когда описание содержит явную спецификацию extern (§R.7.1.1), или является описанием члена класса (§R.9.2) при описании самого класса, или является описанием параметра или возвращаемого типа (§R.8.2.5), см. также §R.3.1.

R.8.2.3 Указатели на члены

В описании T D, в котором D имеет вид

полное-имя-класса :: * список-спецификаций-cv _opt D1

тип описываемого идентификатора есть "… список-спецификаций-cv указатель на член класса полное-имя-класса типа T".

Например, во фрагменте

class X {

public:

 void f(int);

 int a;

};

int X::* pmi = &X::a;

void (X::* pmf)(int) = &X::f;

pmi и pmf описываются как указатель на член X типа T и указатель на член X типа void(int) соответственно. Эти объекты можно использовать так:

X obj;

//…

obj.*pmi = 7; // присвоить 7 члену obj типа int

(obj.*pmf)(7); // вызвать функцию-член obj

 // с параметром 7

Отметим, что указатель на член нельзя настроить на статический член класса (§R.9.4), см. также §R.5.5 и §R.5.3.

R.8.2.4 Массивы

В описании T D, в котором D имеет вид

D1 [ выражение-константа _opt ]

описывается идентификатор типа "… массив T". Если выражение-константа присутствует (§R.5.19), то оно должно иметь целочисленный тип и значение, большее 0. Это выражение задает число элементов массива. Если значение выражения-константы есть N, то массив имеет N элементов с индексами от 0 до N-1.

Массив можно образовывать из: одного из основных типов (за исключением void), указателя, указателя на члены, класса, перечисления или из другого массива.

Если подряд идут несколько спецификаций "массив…", образуется многомерный массив, причем выражение-константа, задающее границы массива, может отсутствовать только для первого массива. Такое умолчание полезно в случае параметров функции типа массив, а также когда массив является внешним, а его определение, с которым связано резервирование памяти, находится в другом месте. Первое выражение-константа может быть пропущено и в том случае, если за описателем следует список-инициализаторов (§R.8.4). Тогда размер массива определяется числом элементов, приведенных в инициализаторе (§R.8.4.1).