R.6.8 Разрешение неоднозначности.

• R.6 Операторы
  • R.6.8 Разрешение неоднозначности

Существует неоднозначность в грамматике языка, касающаяся оператора-выражения и описания, а именно, оператор-выражение, содержащий как самое левое подвыражение явное преобразование типа, заданное в функциональном стиле ($$R.5.2.3), может быть не отличим от описания, в котором первый описатель начинается со (. В таких случаях оператор считается описанием.

Для разрешения неоднозначности следует исследовать весь оператор, чтобы определить является он оператором-выражением или описанием. Так устраняется неоднозначность во многих случаях. Например, пусть T - имя-простого-типа ($$R.7.1.6), тогда имеем

           T(a)->m = 7;       // оператор-выражение
           T(a)++;            // оператор-выражение
           T(a,5)<<c;         // оператор-выражение

           T(*e)(int);        // описание
           T(f)[];            // описание
           T(g) = {1, 2 };    // описание
           T(*d)(double(3));  // описание

Остальные случаи представляют описания. Например,

           T(a);         // описание
           T(*b)();      // описание
           T(c)=7;       // описание
           T(d),e,f=3;   // описание
           T(g)(h,2);    // описание

Неоднозначность здесь чисто синтаксическая, т.е. на ее разрешение не влияет тот факт, является ли имя именем-типа или нет.

Есть другой вид коллизии между оператором-выражением и описанием, который разрешается требованием, чтобы описание функции в блоке ($$R.6.3) сопровождалось именем-типа, например:

           void g()
           {
             int f();  // описание
             int a;    // описание
             f();      // оператор-выражение
             a;        // оператор-выражение
           }