S z = int(a); // описание объекта
}
R.8.2 Смысл описателей
Список описателей следует после (возможно пустого) списка спецификаций-описания (§R.7.1). Каждый описатель содержит в точности одно имя-из-описателя, которое задает описываемый идентификатор. Если не считать описаний некоторых специальных функций (§R.12.3, §R.13.4), имя-из-описателя является просто идентификатором. Спецификации auto, static, extern, register, friend, inline, virtual или typedef относятся непосредственно к каждому имени-из-описателя из списка описателей. Тип каждого имени-из-описателя определяется как спецификацией-описания (§R.7.1), так и его описателем.
Таким образом, описание некоторого идентификатора имеет вид
T D
где T обозначает тип, а D - описатель. Если в описании D есть идентификатор без скобок, то тип этого идентификатора есть T.
В описании, где D имеет вид
( D1 )
тип D1 такой же, как и тип D. Наличие скобок не меняет типа заключенного в них имени-из-описателя, но для сложных описателей оно может повлиять на порядок применения операций.
R.8.2.1 Указатели
В описании T D, в котором D имеет вид
* список-спецификаций-cv opt D1
тип описываемого идентификатора есть
"… список-спецификаций-cv указатель на T". Конструкция список-спецификаций-cv относится к указателю, а не к указуемому объекту.
Например, в описаниях
const ci = 10, *pc = &ci, *const cpc = pc;
int i *p, *const cp = &i;
определяются: ci как константа целое; pc как указатель на константу целое; cpc как константа указатель на константу целое; i как целое; p как указатель на целое; и cp как константа указатель на целое. После инициализации значения ci, cpc и cp не могут быть изменены. Значение pc можно изменять так же, как и значение объекта, на который указывает cp. Приведем примеры допустимых операций:
i = ci;
*cp = ci;
pc++;
pc = cpc;
pc = p;
Недопустимы следующие операции:
ci = 1; // ошибка
ci++; // ошибка
*pc = 2; // ошибка
cp = &ci; // ошибка
cpc++; // ошибка
p = pc; // ошибка
Каждая из этих операций недопустима или потому, что она изменяет значение объекта, описанного со спецификацией const, или потому, что делает такое изменение возможным позднее с помощью указателя, настроенного на объект без спецификации const.
Аналогична ситуация со спецификацией volatile.
Обратитесь к §R.5.17 и §R.8.4.
Нельзя описывать указатели на ссылки (§R.8.2.2) или указатели на битовые поля (§R.9.6).
R.8.2.2 Ссылки
В описании T D, в котором D имеет вид
& список-спецификаций-cv opt D1
тип описываемого идентификатора есть "…список-спецификаций-cv ссылка на T". Тип void& недопустим.
Например, во фрагменте
void f(double& a) { a += 3.14; }
//…
double d = 0;
f(d);
a описывается как параметр, являющийся ссылкой, поэтому вызов f(d) приведет к увеличению d на 3.14. Во фрагменте
int v[20];
//…
int& g(int i) { return v[i]; }
//…
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.