Чому C ++ дозволяє нам оголошувати ім'я змінної в дужках при оголошенні змінної?

Наприклад декларація типу:

int (x) = 0;

Або навіть це:

int (((x))) = 0;

Я натрапив на це, тому що в моєму коді у мене трапився фрагмент, подібний до наступного:

struct B
{
};

struct C
{
  C (B *) {}
  void f () {};
};

int main()
{
  B *y;
  C (y);
}

Очевидно, я хотів побудувати об'єкт, Cякий потім зробив би щось корисне у своєму деструкторі. Однак, як це трапляється, компілятор трактує C (y);як оголошення змінної yз типом Cі, таким чином, друкує помилку про yперевизначення. Цікаво, що якщо я напишу це як C (y).f ()або щось подібне, C (static_cast<B*> (y))воно буде скомпільоване за призначенням. Найкраще сучасне обхідне рішення, звичайно, використовувати {}у виклику конструктора.

Отже, як я зрозумів після цього, можна оголосити змінні як int (x) = 0;або навіть, int (((x))) = 0;але я ніколи не бачив, щоб хтось насправді використовував такі оголошення. Отже, мене цікавить - яка мета такої можливості, оскільки на даний момент я бачу, що вона створює лише випадок, подібний до горезвісного "найбільш неприємного розбору", і не додає нічого корисного?

Групування.

Як окремий приклад, розглянемо, що ви можете оголосити змінну типу функції, таку як

int f(int);

Тепер, як би ви оголосили вказівник на таке?

int *f(int);

Ні, не працює! Це трактується як повернення функції int*. Вам потрібно додати в дужки, щоб зробити його синтаксичний аналіз правильним чином:

int (*f)(int);

Те саме стосується масивів:

int *x[5];   // array of five int*
int (*x)[5]; // pointer to array of five int

Як правило, у таких оголошеннях дозволяється використовувати дужки, оскільки декларація з синтаксичної точки зору завжди виглядає так:

<front type> <specification>;

Наприклад, у такій декларації:

int* p[2];

"Фронтальний тип" - це int(не int*), а "специфікація" - це * p[2].

Правило полягає в тому, що ви можете використовувати будь-яку кількість дужок, як це потрібно в частині "специфікації", оскільки їх іноді неминуче роз'єднати. Наприклад:

int* p[2]; // array of 2 pointers to int; same as int (*p[2]);
int (*p)[2]; // pointer to an array of 2 ints

Вказівник на масив - це рідкісний випадок, проте така ж ситуація, як і у випадку з покажчиком для функціонування:

int (*func(int)); // declares a function returning int*
int (*func)(int); // declares a pointer to function returning int

Це пряма відповідь на ваше запитання. Якщо ваше питання стосується твердження типу C(y), тоді:

• Поставте дужки навколо всього виразу - (C(y))і ви отримаєте те, що хотіли
• Цей вислів не робить нічого, крім створення тимчасового об'єкта, який перестає жити після закінчення цієї інструкції (сподіваюся, це те, що ви мали намір зробити).