Яке призначення унарного оператора плюс (+) у C?

У C законно писати щось на зразок:

int foo = +4;

Однак, наскільки я можу зрозуміти, одинарний плюс ( +) у +4- це ні. Є це?

Відповідно до стандарту C90 у 6.3.3.3:

Результатом оператора unary + є значення його операнда . Цілісне просування виконується на операнді. і результат має підвищений тип.

і

Операнд унарного оператора + або - повинен мати арифметичний тип .

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

#define CHECK_ARITHMETIC(x) (+(x))

Це генерує помилку під час компіляції, якщо xобчислюється (скажімо) вказівником.

Це приблизно єдине практичне використання, яке я можу придумати.

Я знаю одне дуже зручне використання оператора unary plus в макросах. Припустимо, ви хочете зробити щось подібне

#if FOO > 0

Якщо FOOне визначено, мова C вимагає, щоб у цьому випадку його замінили на 0. Але якщо це FOOбуло визначено з порожнім визначенням, вищевказана директива призведе до помилки. Натомість ви можете використовувати:

#if FOO+0 > 0

І тепер директива буде синтаксично правильною, незалежно від того FOO, визначена вона, визначена як порожня або визначена як ціле число.

Звичайно, чи це дасть бажану семантику - це зовсім окреме питання, але в деяких корисних випадках це буде.

Редагувати: Зверніть увагу, що ви навіть можете використовувати це, щоб розрізнити випадки, коли FOOвони визначаються як нуль, ніж визначені як порожні, як у:

#if 2*FOO+1 == 1
/* FOO is 0 */
#else
/* FOO is blank */
#endif

Доволі багато. Це головним чином для повноти, і щоб зробити подібні конструкції виглядають трохи чистішими:

int arr[] = {
    +4,
    -1,
    +1,
    -4,
};

Не точно не-op

Унарний +оператор робить лише одне: застосовує цілочисельні підвищення . Оскільки вони все одно мали б місце, якби операнд був використаний у виразі, уявляємо, що одинарний +є в C просто для симетрії з одинарним -.

Важко побачити це в дії, оскільки рекламні акції застосовуються настільки загалом.

Я придумав таке:

printf("%zd\n", sizeof( (char) 'x'));
printf("%zd\n", sizeof(+(char) 'x'));

який (на моєму Mac) друкує

1
4

Яке призначення одинарного оператора '+' в C?

Одинарний плюс було додано до C для симетрії з одинарним мінусом із Обґрунтування міжнародного стандарту —Мови програмування — C :

Одинарний плюс був прийнятий Комітетом C89 з декількох реалізацій, для симетрії з одинарним мінусом.

і це не операція, вона виконує цілочисельні акції на своєму операнді. Посилання з моєї відповіді на запитання Чи оператор Unary + робить перетворення типів?:

У проекті стандартного розділу C99 6.5.3.3 Унарні арифметичні оператори сказано:

Результатом унарного + оператора є значення його (розкрученого) операнда. Цілі числа підвищуються на операнді , а результат має підвищений тип.

Варто зазначити, що Анотований довідковий посібник C ++ ( ARM ) містить наступний коментар до унарних плюсів:

Одинарний плюс - це історичний випадок і взагалі марний.

Я знайшов дві речі, які робить одинарний +оператор

• integer promotion
• turning lvalue into rvalue

Приклад цілочисельного просування:

#include <stdio.h>

int main(void) {

    char ch;
    short sh;
    int i;
    long l;

    printf("%d %d %d %d\n",sizeof(ch),sizeof(sh),sizeof(i),sizeof(l));
    printf("%d %d %d %d\n",sizeof(+ch),sizeof(+sh),sizeof(+i),sizeof(+l));
    return 0;
}

Типовий вихід (на 64-бітній платформі):

1 2 4 8
4 4 4 8

перетворення lvalue у приклад rvalue:

int i=0,j;

j=(+i)++; // error lvalue required

Під "ні-op" ви маєте на увазі інструкцію по збірці?
Якщо так, то точно ні.

+4 - це просто 4 - компілятор не додаватиме подальших інструкцій.