Какова цель унарного оператора плюс (+) в C?

Согласно стандарту C90 в 6.3.3.3:

Результатом унарного оператора + является значение его операнда. Интегральное продвижение выполняется над операндом. и результат имеет продвигаемый тип.

и

Операнд унарного оператора + или - должен иметь арифметический тип..

Вы можете использовать его как своего рода утверждение, что выражение имеет арифметический тип:

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

Это вызовет ошибку времени компиляции, если x оценивается (скажем) как указатель.

Это единственное практическое применение, которое я могу придумать.

Я знаю одно очень удобное применение унарного оператора плюс: в макросах. Предположим, вы хотите сделать что-то вроде

#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,
};

Я обнаружил две вещи, которые делает унарный оператор +:

• 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

Не совсем бездействующий

Унарный оператор + делает только одну вещь: применяет целочисленные повышения. Поскольку это произошло бы в любом случае, если бы операнд использовался в выражении, можно представить, что унарный + находится в 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) предоставляет следующие комментарий к унарному плюсу:

Унарный плюс — историческая случайность и вообще бесполезный.

Под «не-оперативкой» вы имеете в виду инструкцию по сборке?
Если да, то точно нет.

+4 равно 4 — компилятор не будет добавлять никаких дополнительных инструкций.