Вопрос к знатокам С. Опции

[demiurg_spb]

Возник тут вопрос.
Кусочек программы можно написать двумя способами,
но с одним и тем же правильным результатом (компилятор avr-gcc 4.1.2).
Вопрос: это можно взять на вооружение?
И что стандарт может нам сказать по этому поводу?
Спасибо.

Код

//============================================
    unsigned char temp;

    temp = *uart->pUDR;   // Очищаем буфер 3-его уровня.
    temp = *uart->pUDR;  
    temp = *uart->pUDR;  

//============================================
    *uart->pUDR;   // Очищаем буфер 3-его уровня.
    *uart->pUDR;  
    *uart->pUDR;

[sergeeff]

Без финтов - это отлично, но!!! - очень непривычно. Чтение из переменной очевидно, когда оно стоит справа от знака присваивания. И когда этот знак опущен это и вызывает недоумение и неприятие.

Я думаю, если бы разместить где-нибудь на форумах вопрос типа: "Что означает выражение для переменной volatile int x?: x;"

абсолютное большинство ответит неправильно. Посему, учитывая, что всех не переучишь, и почти все люди работают в коллективах, я бы именно из этих соображений оставил бы: int temp = x;.

Коллеге zltigo респект за неординарный подход. Тем более, что почти аналогичное использование чтения переменной, например, в while(x) ни у кого вопросов не вызвало бы.

[Сергей Борщ]

Чтение из переменной очевидно, когда оно стоит справа от знака присваивания.

К слову: совершенно неочевидно, что занесение значения в переменную слева от знака присваивания является лишь побочным эффектом опрератора "=", но это так и есть.

1) Согласно стандарту языка для чтения volatile переменной var достаточно написать

Код

var;

Кому интересно, могу подкрепить это цитатами из стандарта.

Очень интересно. ИАР для АРМов, версии 4.30 точно (более старшие не проверял), с легкостью выкидывает такие обращения. ReAl объяснил это мутностью стандарта в этой части. Самому искать было лень. Но раз вы предлагаете найти - с удовольствием почитаю цитаты.

- бороться с предупреждениями компилятора при присваивании вспомогательной переменной

Код

dummy = var;

Все встречавшиеся мне компиляторы убирали предупреждение при добавлении строчки dummy = dummy;

[zltigo]

Все встречавшиеся мне компиляторы убирали предупреждение при добавлении строчки dummy = dummy;

Наиблее часто встречающийся с "финтами", но безграмотный вариант . Однозначный и независимый от компилятора и опимизации:

Код

(void)dummy;

Вот сейчас специально поставлю ИАР и приведу листинг. Именно volatile переменную. Момент...

Не стоит . Не получится.

[Сергей Борщ]

Не стоит . Не получится.

Если бы не получалось, я бы в эту ветку не писал:


Пожалуйста:

Код

OS_INTERRUPT void Timer_ISR()
{
    OS::TISRW ISRW;

    T1IR;   // = T1IR;                    // clear int flag
    IO0SET = (1 << 29);

На строку с комментарием предупреждение: Warning[Pe174]: expression has no effect D:\Projects\Req\scmRTOS\Samples\LPC2xxx\1-EventFlag\Src\main.cpp 108

CODE

#######################################################################
#######
# #
# IAR ARM ANSI C/C++ Compiler V4.30A/W32 EVALUATION 21/Oct/2008 23:47:48 #
# Copyright 1999-2005 IAR Systems. All rights reserved. #
# #
# Cpu mode = interwork #
# Endian = little #
# Stack alignment = 4 #
# Source file = D:\Projects\Req\scmRTOS\Samples\LPC2xxx\1-EventFlag\ #
# Src\main.cpp #
# Command line = D:\Projects\Req\scmRTOS\Samples\LPC2xxx\1-EventFlag\ #
# Src\main.cpp -D LPC2119 -lCN #
# D:\Projects\Req\scmRTOS\Samples\LPC2xxx\1-EventFlag\ #
# List\ -o D:\Projects\Req\scmRTOS\Samples\LPC2xxx\1-E #
# ventFlag\Obj\ -s9 --debug --cpu_mode thumb --endian #
# little --cpu ARM7TDMI-S --stack_align 4 --interwork #
# -e --fpu None --eec++ --dlib_config #
# D:\Programs\IAR\arm\LIB\dl4tptinl8n.h -I #
# D:\Projects\Req\scmRTOS\Samples\LPC2xxx\1-EventFlag\ #
# Src\ -I D:\Projects\Req\scmRTOS\Samples\LPC2xxx\1-Ev #
# entFlag\..\scmRTOS\Common\ -I #
# D:\Projects\Req\scmRTOS\Samples\LPC2xxx\1-EventFlag\ #
# ..\scmRTOS\ARM7\ -I D:\Programs\IAR\arm\INC\ #
# List file = D:\Projects\Req\scmRTOS\Samples\LPC2xxx\1-EventFlag\ #
# List\main.lst #
# Object file = D:\Projects\Req\scmRTOS\Samples\LPC2xxx\1-EventFlag\ #
# Obj\main.r79 #
# #
# #
##############################################################################
.........................
\ In segment DATA_AN, at 0xe0008000
\ <unnamed> volatile __data _A_T1IR
\ _A_T1IR:
\ 00000000 DS8 4
.........................
104 OS_INTERRUPT void Timer_ISR()
105 {
\ ??Timer_ISR:
\ 00000000 04E04EE2 SUB LR,LR,#+0x4
\ 00000004 1F502DE9 STMDB SP!,{R0-R4,R12,LR} ;; Push
106 OS::TISRW ISRW;
\ 00000008 70409FE5 LDR R4,??Timer_ISR_1 ;; Kernel
\ 0000000C 1400D4E5 LDRB R0,[R4, #+0x14]
\ 00000010 010080E2 ADD R0,R0,#+0x1
\ 00000014 1400C4E5 STRB R0,[R4, #+0x14]
107
108 T1IR; // = T1IR; // clear int flag
109 IO0SET = (1 << 29);
\ 00000018 4E02A0E3 MOV R0,#-536870908
\ 0000001C A00B80E3 ORR R0,R0,#+0x28000
\ 00000020 8015A0E3 MOV R1,#+0x20000000
\ 00000024 001080E5 STR R1,[R0, #+0]

Компилятор не такой и старый, сильно моложе чем C99 не говоря уже о C89:

IAR C/C++ Compiler for ARM
4.30A Evaluation (4.30.1.237)
D:\Programs\IAR\arm\bin\iccarm.exe
09.02.2005 21:13:44, 9539584 bytes

Поэтому и хочется увидеть цитату из стандарта. А самому искать лень GCC даже в версии 3.2.3 от 2003(?) года не выкидывает.