Выражения языка С - презентация, доклад, проект скачать

Нажмите для полного просмотра!

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Выражения языка С. Доклад-сообщение содержит 44 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

Выражения языка С лекция 4

Слайд 2

Описание слайда:

План лекции Классы, приоритеты и ассоциативность операций языка Си Выражения l-value Порядок вычисления выражений, точки следования, побочные эффекты Выражения и подвыражения Неявные преобразования типов

Слайд 3

Описание слайда:

Обзор операций языка Си 1/3 Операции Си делятся на 5 классов по числу и расположению аргументов Запись одной операции состоит из одной или нескольких лексем

Слайд 4

Описание слайда:

Обзор операций языка Си 2/3 Операции связываются с аргументами по возрастанию своих приоритетов Приоритеты задаются целыми числами

Слайд 5

Описание слайда:

Обзор операций языка Си 3/3 Ассоциативность бинарных операций задает расстановку скобок в выражениях, содержащих операции одного приоритета Левоассоциативные -- слева направо Правоассоциативные -- справа налево Операции языка Си одного приоритета имеют одинаковую ассоциативность Иначе расстановка скобок неоднозначна

Слайд 6

Описание слайда:

Приоритеты операций в языке Си

Слайд 7

Описание слайда:

Приоритеты операций в языке Си

Слайд 8

Описание слайда:

Приоритеты операций в языке Си

Слайд 9

Описание слайда:

Первичные выражения Идентификатор переменной или функции Константа Строковый литерал (является lvalue) Выражение, взятое в круглые скобки

Слайд 10

Описание слайда:

Доступ к элементу массива A[k] A

Слайд 11

Описание слайда:

Выражения и подвыражения ::= | ',' ::= | ::= '=' | '*=' | '/=' | '%=' | '+=' | '-=' | '=' | '&=' | '^=' | '|='

Слайд 12

Описание слайда:

Выражения и подвыражения ::= | '?' ':' ::= ::= | '||'

Слайд 13

Описание слайда:

Выражения и подвыражения ::= | '&&' ::= | '|' ::= | '^'

Слайд 14

Описание слайда:

Выражения и подвыражения ::= | '&' ::= | '==' | '!='

Слайд 15

Описание слайда:

Выражения и подвыражения ::= | '' | '='

Слайд 16

Описание слайда:

Выражения и подвыражения ::= | '>>' | '

Слайд 17

Описание слайда:

Выражения и подвыражения ::= | '*' | '/' | '%'

Слайд 18

Описание слайда:

Выражения и подвыражения ::= | '(' ')' ::= | '++' | '--' | | 'sizeof' | 'sizeof' '(' ')' ::= '&' | '*' | '+' | '-' | '~' | '!'

Слайд 19

Описание слайда:

Выражения и подвыражения ::= | '[' ']' | '(' [] ')' | '.' | '->' | '++' | '--'

Слайд 20

Описание слайда:

Выражения и подвыражения ::= | | | '(' ')'

Слайд 21

Описание слайда:

Выражения и подвыражения ::= | | |

Слайд 22

Описание слайда:

Выражения и подвыражения ::= | ','

Слайд 23

Описание слайда:

Выражения и подвыражения Классы, приоритеты и ассоциативность операций языка Си Далее Выражения l-value Порядок вычисления выражений, точки следования, побочные эффекты Неявные преобразования типов

Слайд 24

Описание слайда:

Выражения l-value Ошибка или нет: (A[i] < A[j] ? A[i] : A[j]) = 1 // min(A[i], A[j]) заменить на 1 A[ A[i] < A[j] ? i : j ] = 1 Выражения языка Си, значениям которых гарантированно соответствует ячейка памяти, называются l-value Значениям, которые хранятся только в регистрах процессора, не соответствует никакая ячейка памяти Только 5 видов выражений в языке Си являются l-value – см. след. слайд Остальные виды выражений – не l-value

Слайд 25

Описание слайда:

Выражения l-value l-value получаются при следующих операциях Доступ к значению переменной Доступ через указатель * Доступ к элементу массива a[k] Доступ к полю структуры или объединения student.name Доступ к полю структуры или объединения через указатель pstudent->name Все остальные операции дают выражения, не являющиеся l-value

Слайд 26

Описание слайда:

Выражения l-value Операции, требующие l-value Левый аргумент во всех видах присваивания =, += и т.п. Взятие адреса & Префиксные и постфиксные ++ и --

Слайд 27

Описание слайда:

Выражения l-value Пример 1 int x; x = 2; // x – l-value int A[10]; A[5] = 5+x; // A[5] – l-value, 5+x – не l-value Пример 2 int x, y; (x < y ? x : y) = 1; // ошибка, т.к. (x < y ? x : y) не l-value *(x < y ? &x : &y) = 1; // ОК, т.к. *(x < y ? &x : &y) – l-value Пример 3 (A[i] < A[j] ? A[i] : A[j]) = 1; // ошибка A[ A[i] < A[j] ? i : j ] = 1; // ОК

Слайд 28

Описание слайда:

Точки следования, побочные эффекты Побочный эффект вычисления выражения – это факт изменения содержимого ячеек памяти в процессе вычисления выражения Присваивание x = 1; Сложный побочный эффект i = 0; A[i++] = i++; // чему равно i – 0 или 1? В каком порядке выполнятся = и ++?

Слайд 29

Описание слайда:

Точки следования, побочные эффекты Точка следования (sequence point) -- точка программы, в которой гарантируется, что все побочные эффекты предыдущих вычислений уже проявились, а побочные эффекты последующих ещё отсутствуют

Слайд 30

Описание слайда:

Точки следования, побочные эффекты Между вычислением левого и правого аргументов в операциях &&, || и , (запятая) Между вычислением первого и второго или третьего аргументов в операции ?: В конце всего выражения Перед входом в вызываемую функцию В объявлении с инициализацией на момент завершения вычисления инициализирующего значения В остальном порядок выполнения операций определяет компилятор

Слайд 31

Описание слайда:

Точки следования, побочные эффекты Пример 1 while (*p++ != 0 && *q++ != 0) *p = *q; Все побочные эффекты *p++ != 0 проявятся до начала вычисления *q++ != 0 Правило 1 Все побочные эффекты *p++ != 0 и *q++ != 0 проявятся до начала вычисления *p = *q Правило 3 Что делает этот цикл while?

Слайд 32

Описание слайда:

Точки следования, побочные эффекты Пример 2 int A[3] = {1,0,2}, *p = A; int a = (*p++) ? (*p++) : 0; // чему равно a? Точка следования находится после первого *p++ p уже увеличена на 1 при вычислении второго *p++

Слайд 33

Описание слайда:

Точки следования, побочные эффекты Пример 3 int i = 0, j = i++, k = i++; int x = f(i++) + g(j++) + h(k++); Каждая из переменных i, j и k принимает новое значение перед входом в f, g и h соответственно Порядок вызова функций f(), g(), h() неопределён Порядок инкремента i, j, k неопределён Если i, j и k – глобальные переменные, то значения j и k неопределены внутри f, значения i и k неопределены внутри g, значения i и j неопределены внутри h

Слайд 34

Описание слайда:

Неявные преобразования типов Над числами Над указателями Других нет

Слайд 35

Описание слайда:

Неявные преобразования чисел Если какой-либо из аргументов имеет тип long double, то другой приводится к long double В противном случае, если какой-либо из аргументов имеет тип double, то другой приводится к double В противном случае, если какой-либо из аргументов имеет тип float, то другой приводится к float В противном случае для обоих аргументов осуществляется целочисленное повышение; затем, если один из аргументов имеет тип unsigned long int, той другой преобразуется в unsigned long int В противном случае, если один из аргументов принадлежит типу long int, а другой -- unsigned int, то результат зависит от того, покрывает ли long int все значения unsigned int Если это так, то unsigned int приводится к long int Если нет, то оба аргумента преобразуются в unsigned long int В противном случае, если один из аргументов имеет тип long int, то другой приводится к long int В противном случае, если один из аргументов -- unsigned int, то другой приводится к unsigned int В противном случае оба аргумента имеют тип int Подробно о каждом преобразовании см. след. слайды

Слайд 36

Описание слайда:

Неявные преобразования чисел Целочисленное повышение Значения типов enum, signed char, short int, unsigned char, unsigned short int автоматически преобразуются в int (если значение представимо как int) или в unsigned int (в противном случае) Для всех известных компиляторов enum, char, short int представимы как int

Слайд 37

Описание слайда:

Неявные преобразования чисел Целочисленные преобразования из типа со знаком ST в тип без знака UT Если sizeof(ST) == sizeof(UT), то битовое представление не меняется Если sizeof(ST) < sizeof(UT), то битовое представление со знаком дополняется старшими нулями Если sizeof(ST) > sizeof(UT), то старшие разряды отбрасываются Целочисленные преобразования из типа без знака UT в тип со знаком ST Если sizeof(ST) >= sizeof(UT), то битовое представление не меняется Если sizeof(ST) < sizeof(UT), то результат зависит от компилятора

Слайд 38

Описание слайда:

Неявные преобразования чисел Преобразования целые числа с плавающей точкой С плавающей точкой --> целое Дробная часть отбрасывается int x = (int)1.25; // x == 1 Если полученное значение выходит из диапазона целого типа, то результат неопределен int x = (int)1e20; // рез-т неопределён Целое --> с плавающей точкой Если целое входит в диапазон типа с плавающей, но представляется неточно, то одно из двух ближайших значений с плавающей Если выходит из диапазона типа с плавающей, то результат неопределен

Слайд 39

Описание слайда:

Неявные преобразования чисел Преобразования чисел с плавающей точкой из типа F1 в F2 Если sizeof(F1) sizeof(F2) и входит в диапазон F2, то одно из двух ближайших значений Если sizeof(F1) > sizeof(F2) и не входит в диапазон F2, то неопределено

Слайд 40

Описание слайда:

Неявные преобразования указателей В операциях присваивания и сравнения целочисленное константное выражение со значением 0 автоматически преобразуется в указатель любого типа Результатом преобразования 0 в указатель является NULL, отличный от всех остальных указателей NULL не соответствует ни одной ячейке памяти

Слайд 41

Описание слайда:

Неявные преобразования указателей В операциях присваивания и сравнения указатель на значение типа T автоматически преобразуется в указатель на значение типа const T и на значение типа volatile T

Слайд 42

Описание слайда:

Неявные преобразования указателей Указатель типа void * автоматически преобразуется к указателю любого типа Если результат подвергнуть явному обратному преобразованию, то мы получим прежний указатель Значение типа функция автоматически преобразуется к типу указатель на функцию Значение типа указатель на функцию автоматически преобразуется к типу функция

Слайд 43

Описание слайда:

Явные преобразования указателей Для указателей допускаются и другие преобразования, но в связи с ними возникает проблема зависимости результата от реализации. Эти преобразования должны быть специфицированы явным оператором преобразования типа или оператором приведения Указатель можно привести к целочисленному типу, достаточно большому для его хранения; требуемый размер зависит от реализации. Функция преобразования также зависит от реализации Объект целочисленного типа можно явно преобразовать в указатель. Если целое получено из указателя и имеет достаточно большой размер, это преобразование даст тот же указатель; в противном случае результат зависит от реализации Указатель на один тип можно преобразовать в указатель на другой тип. Если исходный указатель ссылается на объект, должным образом не выровненный по границам слов памяти, то в результате может произойти ошибка адресации. Если требования на выравнивание у нового типа меньше или совпадают с требованиями на выравнивание первоначального типа, то гарантируется, что преобразование указателя в другой тип и обратно его не изменит; понятие "выравнивание" зависит от реализации, однако в любой реализации объекты типа char предъявляют минимальные требования на выравнивание. Указатель может быть преобразован в другой указатель того же типа с добавлением или удалением квалификаторов того типа объекта, на который этот указатель показывает. Новый указатель, полученный добавлением квалификатора, имеет то же значение, но с дополнительными ограничениями, внесенными новыми квалификаторами. Операция по удалению квалификатора у объекта приводит к тому, что восстанавливается действие его начальных квалификаторов, заданных в объявлении этого объекта. Наконец, указатель на функцию может быть преобразован в указатель на функцию другого типа. Вызов функции по преобразованному указателю зависит от реализации; однако, если указатель еще раз преобразовать к его исходному типу, результат будет идентичен вызову по первоначальному указателю.

Слайд 44

Описание слайда:

Заключение Выражения и подвыражения Классы, приоритеты и ассоциативность операций языка Си Выражения l-value Порядок вычисления выражений, точки следования, побочные эффекты Неявные преобразования типов

Теги Выражения языка

Похожие презентации